Quentin Carbonneaux

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 4

Top Topics

Formal Verification

Relational Calculus

Statistical Analysis

Top Venues

Oper. Res. Lett.

Publications

Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli
Applying formal verification to microkernel IPC at meta. CPP (2022)
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
Bounded expectations: resource analysis for probabilistic programs. PLDI (2018)
Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao
Automated Resource Analysis with Coq Proof Objects. CAV (2) (2017)
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
Bounded Expectations: Resource Analysis for Probabilistic Programs. CoRR (2017)
Quentin Carbonneaux, Jan Hoffmann, Zhong Shao
Compositional certified resource bounds. PLDI (2015)
Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao
End-to-end verification of stack-space bounds for C programs. PLDI (2014)
Nicolas Lebert, Frédéric Meunier, Quentin Carbonneaux
m-cake and three-player two-cake divisions. Oper. Res. Lett. 41 (6) (2013)
Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant
The λΠ-calculus Modulo as a Universal Proof Language. PxTP (2012)