Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Dillig
conf.researchr.org general profile
PLDI 2015 profile
POPL 2018 profile
SPLASH 2010 profile
SPLASH 2013 profile
SPLASH 2014 profile
SPLASH 2017 profile
Not registered as user
Name:
Thomas Dillig
Contributions
2017
SPLASH
Author of SQLizer: Query Synthesis from Natural Language within the OOPSLA-track
2015
PLDI
Committee Member in External Review Committee within the Research Papers-track
2014
SPLASH
Committee Member in External Review Committee within the OOPSLA-track
2013
SPLASH
Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track
Share
x
Mon 27 Oct 19:47