Matthieu Lemerre

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 20

Top Venues

CoRR

LPAR

Proc. ACM Program. Lang.

SAS

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Dorian Lesbre, Matthieu Lemerre
Compiling with Abstract Interpretation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Matthieu Lemerre
SSA Translation Is an Abstract Interpretation. Proc. ACM Program. Lang. 7 (POPL) (2023)
Matthieu Lemerre
Reverse Template Processing Using Abstract Interpretation. SAS (2023)
Olivier Nicole, Matthieu Lemerre, Xavier Rival
Lightweight Shape Analysis Based on Physical Types. VMCAI (2022)
Hugo Illous, Matthieu Lemerre, Xavier Rival
A relational shape abstract domain. Formal Methods Syst. Des. 57 (3) (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. ICSE (2021)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
No Crash, No Exploit: Automated Verification of Embedded Kernels. RTAS (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". ICSE (Companion Volume) (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. CoRR (2021)
Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre
Detection of Polluting Test Objectives for Dataflow Criteria. IFM (2020)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
No Crash, No Exploit: Automated Verification of Embedded Kernels. CoRR (2020)
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. RAID (2020)
Hugo Illous, Matthieu Lemerre, Xavier Rival
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. SAS (2020)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
Automatically Proving Microkernels Free from Privilege Escalation from their Executable. CoRR (2020)
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. CoRR (2020)
Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. LPAR (2018)
Hugo Illous, Matthieu Lemerre, Xavier Rival
A Relational Shape Abstract Domain. NFM (2017)
Matthieu Lemerre, Sébastien Bardin
Abstract Interpretation using a Language of Symbolic Approximation. CoRR (2017)
Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
Proving Determinacy of the PharOS Real-Time Operating System. ABZ (2016)
Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs. SCAM (2016)
Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
Gamifying Program Analysis. LPAR (2015)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS (2015)
Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. FMICS (2015)
Nikolai Kosmatov, Matthieu Lemerre, Céline Alec
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing. TAP@STAF (2014)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
Specifying and Verifying Concurrent C Programs with TLA+. FTSCS (2014)
Matthieu Lemerre, Emmanuel Ohayon
A Model of Parallel Deterministic Real-Time Computation. RTSS (2012)
Vincent Legout, Matthieu Lemerre
Paravirtualizing Linux in a real-time hypervisor. SIGBED Rev. 9 (2) (2012)
Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre
Towards verified cloud computing environments. HPCS (2012)
Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David
The OASIS Kernel: A Framework for High Dependability Real-Time Systems. HASE (2011)
Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bénédicte Jacques
Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. ISORC Workshops (2011)
Emmanuel Ohayon, Matthieu Lemerre, Vincent David
CONFIGEN: A tool for managing configuration options LoCoCo (2010)
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
An Introduction to Time-Constrained Automata ICE (2010)
Matthieu Lemerre, Vincent David, Guy Vidal-Naquet
A communication mechanism for resource isolation. IIES@EuroSys (2009)
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
Equivalence between Schedule Representations: Theory and Applications. IEEE Real-Time and Embedded Technology and Applications Symposium (2008)

Matthieu Lemerre.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthieu Lemerre