• Sign in
  • Sign up
conf.researchr.org / Thomas Dillig
  • 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
xTue 7 Feb 12:40
using conf.researchr.org (v1.58.0)
Support page
Sign Up