Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pranav Garg
conf.researchr.org general profile
POPL 2016 profile
SPLASH 2014 profile
SPLASH 2018 profile
Registered user since Sun 22 May 2016
Name:
Pranav Garg
Affiliation:
University of Illinois at Urbana-Champaign
Contributions
2018
SPLASH
Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the Artifacts-track
Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the OOPSLA-track
2016
POPL
Author of Learning Invariants using Decision Trees and Implication Counterexamples within the Research Papers-track
2014
SPLASH
Author of Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants within the OOPSLA-track
Share
x
Tue 2 Sep 07:50