Concepedia

Quentin Carbonneaux

QC

9

Publications

353

Citations

9

H-Index

2012

Active since

Affiliations

Yale University(Current)

Carnegie Mellon University

Quentin Carbonneaux is an author at Yale University specializing in computer science, formal methods, and formal verification.

Top concepts

Computer ScienceEngineeringVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningComputational ComplexityMathematical Programming

Publications per year

2012–2022

9

Publications

9

Bounded expectations: resource analysis for probabilistic programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann · 2018 · 92 citations · Full text

Mathematical Programming, Program Checking, Engineering +19

Compositional certified resource bounds

Quentin Carbonneaux, Jan Hoffmann, Zhong Shao · 2015 · 90 citations

Mathematical Programming, Program Checking, Engineering +20

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

Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro et al. · 2014 · 50 citations

Program Checking, Engineering, Verification +19

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

Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 38 citations · Full text

Bounded expectations: resource analysis for probabilistic programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann · ACM SIGPLAN Notices · 2018 · 26 citations

Mathematical Programming, Program Checking, Engineering +19

Rows per page

1–5 of 9