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   ACM Badge Artifact Reusable  
Also presented at AFADL 2024
[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   ACM Badge Artifact Reusable  
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
 
[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
 
Best and Outstanding Paper Awards
Also presented at AFADL 2021