Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Quentin Carbonneaux
conf.researchr.org general profile
PLDI 2015 profile
PLDI 2018 profile
POPL 2016 profile
Not registered as user
Name:
Quentin Carbonneaux
Affiliation:
Yale University
Contributions
2018
PLDI
Author of Bounded Expectations: Resource Analysis for Probabilistic Programs within the PLDI Research Papers-track
2016
POPL
Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
2015
PLDI
Author of Compositional Certified Resource Bounds within the Research Papers-track
Share
x
Sun 22 Dec 13:50