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 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
Share
x
Tue 7 Feb 12:40