• 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

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
xFri 3 Oct 10:49
using conf.researchr.org (v1.72.1)
Support page
Sign Up