Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexandre Drewery
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
POPL 2024 profile
Registered user since Thu 17 Jul 2025
Name:
Alexandre Drewery
Affiliation:
INRIA
Contributions
2025
Static Analysis Symposium
Author of Contextual Equality Saturation within the SAS 2025-track
2024
POPL
Author of From Java to Kotlin with Contextual Equality Saturation within the Student Research Competition-track
Share
x
Sun 26 Oct 23:34