Matthieu Lemerre

Registered user since Sat 30 May 2020

Name:Matthieu Lemerre
Country:France
Affiliation:CEA LIST, France

Contributions

POPL 2023 SSA Translation is an Abstract Interpretation
Show activities from other conferences

Using general profile