All Stories

  1. 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

  2. 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

  3. SSA Translation Is an Abstract Interpretation

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

    Matthieu Lemerre

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

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

    Matthieu Lemerre

  5. 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

  6. A Relational Shape Abstract Domain

    Article • January 2017, Springer Science + Business Media

    Matthieu Lemerre

  7. A Model of Parallel Deterministic Real-Time Computation

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

    Matthieu Lemerre

  8. Towards verified cloud computing environments

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

    Matthieu Lemerre