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

   

In a nutshell PDF Bibtex Artifact Slides

[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)

 

In a nutshell PDF Artifact

[PLDI 2024] Compiling with Abstract Interpretation 10.1145/3656392

Dorian Lesbre, Matthieu Lemerre

45th ACM-SIGPLAN Symposium on Programming Language Design and Implementation

   

In a nutshell PDF PDF with appendix Bibtex Artifact Talk Slides

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

   

In a nutshell PDF with appendix Bibtex Artifact Talk Slides

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

 

In a nutshell PDF Bibtex Artifact Talk Slides

[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

 

In a nutshell PDF Technical Report Bibtex Artifact Benchmark Talk Slides

Best and Outstanding Paper Awards

Also presented at AFADL 2021