Matthieu Lemerre

Registered user since Sat 30 May 2020

Name:Matthieu Lemerre
Country:France
Affiliation:Université Paris-Saclay - CEA LIST

Contributions

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

POPL 2023-profile
View general profile