Matthieu Lemerre -

Registered user since Sat 30 May 2020

Name:Matthieu Lemerre

Country:France

Affiliation:Université Paris-Saclay - CEA LIST

X (Twitter): https://x.com/lemerre_m

Contributions

2025

PLDI

Author of Relational Abstractions Based on Labeled Union-Find within the PLDI Research Papers-track

2024

NSAD

Author of WiP: Labeled Union-Find for Constraint Factorization within the NSAD 2024-track

SPLASH

Author of A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code within the OOPSLA 2024-track

Static Analysis Symposium

Keynote Speaker of Trace Partitioning as an Optimization Problem within the SAS 2024-track

PLDI

Author of Compiling with Abstract Interpretation within the PLDI Research Papers-track

2023

Static Analysis Symposium

Author of Reverse Template Processing using Abstract Interpretation within the SAS 2023-track

POPL

Author of SSA Translation Is an Abstract Interpretation within the POPL-track

2022

SPLASH

VMCAI

Author of Lightweight Shape Analysis based on Physical Types within the VMCAI 2022-track

2021

ICSE

2020

Static Analysis Symposium

Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track