Laurent Mauborgne, born in 1971,
studied at the École normale supérieure (ENS) in Paris from 1991
to 1996, and completed his PhD thesis titled “Representation of sets of trees
for abstract interpretation” at the École polytechnique, Palaiseau, in 1999.
From 2000 to 2010, he served as Professor or Assistant Professor at the
ENS as well as at the École polytechnique, and supervised or examined
a number of internships and PhD theses. He was also a member or the president
of the program committees of various international conferences and workshops,
including the SAS and the NSAD.
In 2007, he completed his habilitation thesis on “Static analysis and symbolic
abstract domains” at the Université Paris IX.
Starting in 2001 and to this day, Dr. Mauborgne has been working as a key developer
on the static analyzer Astrée for automatic detection
of runtime errors in C and C++ code, distributed by AbsInt
under license from the ENS and the French National Centre for Scientific Research, CNRS.
Recent public appearances
Lipari Summer School on Abstract Interpretation
September 2024, Lipari, Italy
Research interests
Functional safety
Sound static analysis
Runtime error analysis
Abstract interpretation
In these fields, Laurent Mauborgne has authored or co-authored over 30 peer-reviewed publications.
Selected publications
Sound Signal Flow Analysis for C/C++.
D. Kästner, L. Mauborgne, S. Hahn, S. Wilhelm,
J. Herter, C. Cullmann, C. Ferdinand.
Embedded World Congress 2025, Nuremberg.
Static Data and Control Coupling Analysis.
D. Kästner, L. Mauborgne, S. Wilhelm, C. Mallon, C. Ferdinand.
In ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, Toulouse, June 2022.
Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée.
A. Miné, L. Mauborgne, X. Rival, J. Feret,
P. Cousot, D. Kästner, S. Wilhelm, C. Ferdinand.
In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress, Toulouse, January 2016.
Automatic Quantification of Cache Side-Channels.
B. Köpf, L. Mauborgne and M. Ochoa.
In CAV 2012: International Conference on Computer Aided Verification.
Springer LNCS 7358, pp. 564–580, 2012.
On the Strength of Owicki-Gries for Resources.
A. Malkis and L. Mauborgne.
In APLAS 2011: Asian Symposium on Programming Languages and Systems.
Springer LNCS 7078, pp. 172–187, 2011.
Finding All Runtime Errors in C Code.
D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot,
J. Feret, L. Mauborgne, A. Miné, X. Rival.
Embedded World Congress 2011, Nuremberg, 2011.
Astrée: Proving the Absence of Runtime Errors.
D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot,
J. Feret, L. Mauborgne, A. Miné, X. Rival.
Embedded Real Time Software and Systems Congress ERTS², Toulouse, 2010.
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.
D. Kästner, C. Ferdinand, S. Wilhelm, S. Nenova, O. Honcharova, P. Cousot,
R. Cousot, J. Feret, L. Mauborgne, A. Miné,
X. Rival, E.-J. Sims.
Proceedings of the GI workshop “Entwicklung zuverlässiger Software-Systeme”,
Vol. 29 of Softwaretechnik-Trends, Regensburg, August 2009.
Space Software Validation Using Abstract Interpretation.
O. Bouissou, E. Conquet, P. Cousot, R. Cousot, J. Feret,
K. Ghorbal, E. Goubault, D. Lesens, L. Mauborgne, A. Miné,
S. Putot, X. Rival, and M. Turin.
In DASIA 2009: International Space System Engineering Conference,
Data Systems in Aerospace, vol. SP-669, pp. 1–7, Istanbul,
May 2009. ESA.
Why does Astrée scale up?
P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux and X. Rival.
In Formal Methods in System Design (FMSD), 35(3):229–264, 2009.
Combination of Abstractions in the ASTRÉE Static Analyzer.
P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux and X. Rival.
In Asian Computing Science Conference (ASIAN 2006). Secure Software and Related Issues.
Springer LNCS 4435, pp. 272–300, 2008.
The trace partitioning abstract domain.
Xavier Rival and Laurent Mauborgne.
ACM Transactions on Programming Languages and Systems (TOPLAS), 29(5), 2007.
The ASTRÉE Analyzer.
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné,
David Monniaux and Xavier Rival.
In M. Sagiv, editor, European Symposium on Programming (ESOP’05),
Springer LNCS 3444, pp. 21–30, 2005.
Laurent Mauborgne. ASTRÉE: Verification of absence of run-time errors.
In René Jacquart, editor, Building the Information Society
(18th IFIP World Computer Congress), pp. 384–392.
The International Federation for Information Processing, Kluwer Academic Publishers,
August 2004.
A Static Analyzer for Large Safety-Critical Software.
B. Blanchet, P. Cousot, R. Cousot, J. Feret,
L. Mauborgne, A. Miné, D. Monniaux, and X. Rival.
In ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI’03),
pp. 196–207, San Diego, California, USA, June 2003. ACM Press.
Laurent Mauborgne. Tree schemata and fair termination.
In J. Palsberg, editor, Static Analysis Symposium (SAS’00),
Springer LNCS 1824, pp. 302–320, 2000.
Laurent Mauborgne. Binary decision graphs.
In A. Cortesi and G. Filé, editors,
Static Analysis Symposium (SAS’99),
Springer LNCS 1694, pp. 101–116, 1999.
Laurent Mauborgne. Abstract interpretation using TDGs.
In B. le Charlier, editor, Static Analysis Symposium (SAS’94),
Springer LNCS 864, pp. 363–379, 1994.