Jacob Van Geffen

Jacob Van Geffen

Computer Science Graduate Student at The University of Washington



Publications

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

rss facebook twitter github gitlab youtube mail spotify lastfm instagram linkedin google google-plus pinterest medium vimeo stackoverflow reddit quora quora