Quentin Carbonneaux

According to our database, Quentin Carbonneaux authored at least 7 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Applying formal verification to microkernel IPC at meta.

Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2018

Bounded expectations: resource analysis for probabilistic programs.

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Automated Resource Analysis with Coq Proof Objects.

Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2015

Compositional certified resource bounds.

Quentin Carbonneaux, Jan Hoffmann, Zhong Shao

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

End-to-end verification of stack-space bounds for C programs.

Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Envy-free two-player <i>m</i>m-cake and three-player two-cake divisions.

Nicolas Lebert, Frédéric Meunier, Quentin Carbonneaux

Oper. Res. Lett., 2013

2012

The λΠ-calculus Modulo as a Universal Proof Language.

Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012