Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Elaine Li
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
POPL 2024 profile
SPLASH 2023 profile
Registered user since Mon 22 Sep 2025
Name:
Elaine Li
Country:
United States
Affiliation:
NYU
Contributions
2025
SPLASH
Author of Characterizing Implementability of Global Protocols with Infinite States and Data within the OOPSLA-track
2024
Dafny
Programme Committee in Program Committee within the Dafny 2024-track
2023
ST
Author of Complete Multiparty Session Type Projection with Automata within the ST30-track
Share
x
Sun 26 Oct 21:52