Symbolic Reasoning for Automatic Signal Placement
Kostas Ferles, Jacob Van Geffen, Işıl Dillig, Yannis Smaragdakis
PLDI 2018
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
PLDI 2017