Thomas Dillig -

Not registered as user yet

Name:Thomas Dillig

Contributions

SPLASH 2017	Author of SQLizer: Query Synthesis from Natural Language within the OOPSLA-track
PLDI 2015	Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014	Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013	Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track
SPLASH 2010