Dr. Laurent Mauborgne

Laurent Mauborgne

Curriculum vitæ

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.

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


  • 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.
  • The Reduced Product of Abstract Domains and the Combination of Decision Procedures.
    P. Cousot, R. Cousot, and L. Mauborgne.
    In FOSSACS’11: Foundations of Software Science and Computational Structures. Springer LNCS 6604, pp. 456–472, 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.
  • Laurent Mauborgne. Analyse statique et domaines abstraits symboliques.
    Mémoire d’habilitation à diriger des recherches, Université Paris-Dauphine, 2007.
  • 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.
  • Trace partitioning in abstract interpretation based static analyzers.
    Laurent Mauborgne and Xavier Rival.
    In M. Sagiv, editor, European Symposium on Programming (ESOP’05), Springer LNCS 3444, pp. 5–20, 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. Infinitary relations and their representation.
    Science of Computer Programming, 47:121–144, 2003.