conf.researchr.org / Thomas Dillig

Not registered as user yet

Name: Thomas Dillig

Contributions

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