Matthieu Lemerre -

Registered user since Sat 30 May 2020

Name:Matthieu Lemerre

Country:France

Affiliation:Université Paris-Saclay - CEA LIST

Twitter:https://twitter.com/lemerre_m

Contributions

POPL 2023	Author of SSA Translation Is an Abstract Interpretation within the POPL-track
SPLASH 2022	Session Chair of ICFP Papers (part of COVID Time Papers In Person) Author of Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries within the COVID Time Papers In Person-track
VMCAI 2022	Author of Lightweight Shape Analysis based on Physical Types within the VMCAI 2022-track
ICSE 2021	Author of Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine within the Technical Track-track Author of RusTINA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) within the AE - Artifact Evaluation-track
SAS 2020	Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track