Not registered as user yet

Name:Solène Mirliaz
Country:France
Affiliation:ENS Rennes / IRISA / Inria

Contributions

VMCAI 2022 A Flow-Insensitive-Complete Program Representation
Show activities from other conferences

POPL 2022-profile
View general profile