default search action
Matthieu Lemerre
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j5]Julien Simonnet
, Matthieu Lemerre
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code. Proc. ACM Program. Lang. 8(OOPSLA2): 30-59 (2024) - [j4]Dorian Lesbre
Compiling with Abstract Interpretation. Proc. ACM Program. Lang. 8(PLDI): 368-393 (2024) - 2023
- [j3]Matthieu Lemerre
SSA Translation Is an Abstract Interpretation. Proc. ACM Program. Lang. 7(POPL): 1895-1924 (2023) - [c25]Matthieu Lemerre
Reverse Template Processing Using Abstract Interpretation. SAS 2023: 403-433 - 2022
- [c24]Olivier Nicole, Matthieu Lemerre, Xavier Rival:
Lightweight Shape Analysis Based on Physical Types. VMCAI 2022: 219-241 - 2021
- [j2]Hugo Illous, Matthieu Lemerre
A relational shape abstract domain. Formal Methods Syst. Des. 57(3): 343-400 (2021) - [c23]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: 201-202 - [c22]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: 1236-1247 - [c21]Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival:
No Crash, No Exploit: Automated Verification of Embedded Kernels. RTAS 2021: 27-39 - [i5]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 abs/2102.07485 (2021) - 2020
- [c20]Thibault Martin
Detection of Polluting Test Objectives for Dataflow Criteria. IFM 2020: 337-345 - [c19]Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre:
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. RAID 2020: 47-62 - [c18]Hugo Illous, Matthieu Lemerre, Xavier Rival:
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. SAS 2020: 248-273 - [i4]Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre:
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. CoRR abs/2002.10751 (2020) - [i3]Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival:
Automatically Proving Microkernels Free from Privilege Escalation from their Executable. CoRR abs/2003.08915 (2020) - [i2]Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival:
No Crash, No Exploit: Automated Verification of Embedded Kernels. CoRR abs/2011.15065 (2020)
2010 – 2019
- 2018
- [c17]Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre:
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. LPAR 2018: 363-380 - 2017
- [c16]Hugo Illous, Matthieu Lemerre, Xavier Rival:
A Relational Shape Abstract Domain. NFM 2017: 212-229 - [i1]Matthieu Lemerre, Sébastien Bardin:
Abstract Interpretation using a Language of Symbolic Approximation. CoRR abs/1712.10058 (2017) - 2016
- [c15]Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal
Proving Determinacy of the PharOS Real-Time Operating System. ABZ 2016: 70-85 - [c14]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: 67-72 - 2015
- [c13]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: 15-30 - [c12]Daniel Fava, Julien Signoles
Gamifying Program Analysis. LPAR 2015: 591-605 - [c11]Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui:
State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS 2015: 65-76 - 2014
- [c10]Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia
Specifying and Verifying Concurrent C Programs with TLA+. FTSCS 2014: 206-222 - [c9]Nikolai Kosmatov, Matthieu Lemerre, Céline Alec:
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing. TAP@STAF 2014: 158-164 - 2012
- [j1]Vincent Legout, Matthieu Lemerre:
Paravirtualizing Linux in a real-time hypervisor. SIGBED Rev. 9(2): 33-37 (2012) - [c8]Frédéric Loulergue
Towards verified cloud computing environments. HPCS 2012: 91-97 - [c7]Matthieu Lemerre, Emmanuel Ohayon:
A Model of Parallel Deterministic Real-Time Computation. RTSS 2012: 273-282 - 2011
- [c6]Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David:
The OASIS Kernel: A Framework for High Dependability Real-Time Systems. HASE 2011: 95-103 - [c5]Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan
Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. ISORC Workshops 2011: 41-48 - 2010
- [c4]Emmanuel Ohayon, Matthieu Lemerre, Vincent David:
CONFIGEN: A tool for managing configuration options. LoCoCo 2010: 32-43 - [c3]Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet:
An Introduction to Time-Constrained Automata. ICE 2010: 83-98
2000 – 2009
- 2009
- [b1]Matthieu Lemerre:
Intégration de systèmes hétérogènes en termes de niveaux de sécurité. (Integration of systems with heterogeneous security levels). University of Paris-Sud, Orsay, France, 2009 - [c2]Matthieu Lemerre, Vincent David, Guy Vidal-Naquet:
A communication mechanism for resource isolation. IIES@EuroSys 2009: 1-6 - 2008
- [c1]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: 237-247
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: