Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Elaine Li
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2026 profile
POPL 2024 profile
SPLASH 2023 profile
Registered user since Mon 22 Sep 2025
Name:
Elaine Li
Country:
United States
Affiliation:
New York University
Contributions
2026
PLDI
Author of Implementability of Global Distributed Protocols Modulo Network Architectures within the PLDI Research Papers-track
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
Thu 8 Oct 02:44