Publications
[PLDI 2024] Compiling with Abstract Interpretation 10.1145/3656392
Dorian Lesbre, Matthieu Lemerre
45th ACM-SIGPLAN Symposium on Programming Language Design and Implementation
![ACM Badge Artifact Available](/assets/img/artifacts_available.png)
![ACM Badge Artifact Reusable](/assets/img/artifacts_evaluated_reusable.png)
[POPL 2023] SSA Translation Is an Abstract Interpretation 10.1145/3571258
Matthieu Lemerre
50th ACM SIGPLAN Symposium on Principles of Programming Languages
![ACM Badge Artifact Available](/assets/img/artifacts_available.png)
![ACM Badge Artifact Reusable](/assets/img/artifacts_evaluated_reusable.png)
Distinguished Paper Award
[VMCAI 2022] Lightweight Shape Analysis based on Physical Types 10.1007/978-3-030-94583-1_11
Olivier Nicole, Matthieu Lemerre, Xavier Rival
23rd International Conference on Verification, Model Checking, and Abstract Interpretation
![](/assets/img/artefact_vmcai.png)
[RTAS 2021] No Crash, No Exploit: Automatic Verification of Embedded Kernels 10.1109/rtas52030.2021.00011
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
27th IEEE Real-Time and Embedded Technology and Applications Symposium
![](/assets/img/artefact_rtas.png)
Best and Outstanding Paper Awards