Quentin Carbonneaux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2014–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CPP | Applying formal verification to microkernel IPC at meta. | Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli |
| 2018 | PLDI | Bounded expectations: resource analysis for probabilistic programs. | Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann |
| 2017 | CAV | Automated Resource Analysis with Coq Proof Objects. | Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao |
| 2015 | PLDI | Compositional certified resource bounds. | Quentin Carbonneaux, Jan Hoffmann, Zhong Shao |
| 2014 | PLDI | End-to-end verification of stack-space bounds for C programs. | Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao |