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