Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Solène Mirliaz
conf.researchr.org general profile
POPL 2022 profile
SPLASH 2022 profile
Not registered as user
Name:
Solène Mirliaz
Country:
France
Affiliation:
ENS Rennes / IRISA / Inria
Contributions
2022
Static Analysis Symposium
Author of Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs within the SAS-track
VMCAI
Author of A Flow-Insensitive-Complete Program Representation within the VMCAI 2022-track
Share
x
Sun 20 Jul 12:22