All Stories

  1. Relational Abstractions Based on Labeled Union-Find

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

    Dorian Lesbre, Matthieu Lemerre

  2. Trace Partitioning as an Optimization Problem

    Article • January 2025, Springer Science + Business Media

    Matthieu Lemerre

  3. A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

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

    Matthieu Lemerre

  4. Compiling using abstract interpretation, and using the result to improve analysis

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

    Matthieu Lemerre, Dorian Lesbre

  5. SSA Translation Is an Abstract Interpretation

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

    Matthieu Lemerre

  6. Reverse Template Processing Using Abstract Interpretation

    Article • January 2023, Springer Science + Business Media

    Matthieu Lemerre

  7. Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Matthieu Lemerre

  8. RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 – “Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine”

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Matthieu Lemerre

  9. A relational shape abstract domain

    Article • Formal Methods in System Design, April 2021, Springer Science + Business Media

    Matthieu Lemerre

  10. Detection of Polluting Test Objectives for Dataflow Criteria

    Article • January 2020, Springer Science + Business Media

    Matthieu Lemerre

  11. A Relational Shape Abstract Domain

    Article • January 2017, Springer Science + Business Media

    Matthieu Lemerre

  12. A Model of Parallel Deterministic Real-Time Computation

    Article • December 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Matthieu Lemerre

  13. Towards verified cloud computing environments

    Article • July 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Matthieu Lemerre