Jacob Van Geffen

Identifiers

No identifiers captured yet.

Papers (2)

1. Symbolic Reasoning for Automatic Signal Placement (Extended Version) cs.PL · 2018 · author #2
2. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Isil Dillig 2 shared papers
• Kostas Ferles 1 shared papers
• Ruben Martins 1 shared papers
• Swarat Chaudhuri 1 shared papers
• Yannis Smaragdakis 1 shared papers
• Yu Feng 1 shared papers