Publications

[OOPSLA 2024] A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Julien Simonnet, Matthieu Lemerre, Mihaela Sighireanu
OOPSLA 2024
ACM Badge Artifact Available   ACM Badge Artifact Reusable  
[SAS 2024] Trace Partitioning as an Optimization Problem
Charles Babu M, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion
31st Static Analysis Symposium (SAS 2024)
 
[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