Collaborated with:I.Dillig K.Ferles Y.Smaragdakis Y.Feng R.Martins S.Chaudhuri
Talks about:transform (1) placement (1) synthesi (1) consolid (1) automat (1) symbol (1) signal (1) reason (1) exampl (1) compon (1)
Person: Jacob Van Geffen
DBLP: Geffen:Jacob_Van
Contributed to:
20172018Wrote 2 papers:
- PLDI-2017-FengMGDC #component #synthesis
- Component-based synthesis of table consolidation and transformation tasks from examples (YF, RM, JVG, ID, SC), pp. 422–436.
- PLDI-2018-FerlesGDS #automation #reasoning
- Symbolic reasoning for automatic signal placement (KF, JVG, ID, YS), pp. 120–134.