All Stories

  1. Verified code generation for the polyhedral model

    Article • Proceedings of the ACM on Programming Languages, January 2021, ACM (Association for Computing Machinery)

    Xavier Leroy

  2. A formally verified compiler for Lustre

    Article • ACM SIGPLAN Notices, September 2017, ACM (Association for Computing Machinery)

    Xavier Leroy

  3. A Formally-Verified C Static Analyzer

    Article • ACM SIGPLAN Notices, May 2015, ACM (Association for Computing Machinery)

    Xavier Leroy

  4. A Formally-Verified C Static Analyzer

    Article • January 2015, ACM (Association for Computing Machinery)

    Xavier Leroy

  5. Safety first!

    Article • Communications of the ACM, December 2011, ACM (Association for Computing Machinery)

    Xavier Leroy