About Me
I am a fifth year PhD student in computer science at the Courant Institute, New York University, working with Thomas Wies.
I am broadly interested in logic and formal verification. My current work focuses on the theory of endpoint projection.
I received my B.S. (Hons) from Yale-NUS College, Singapore. Under the supervision of Aquinas Hobor and Frank Stephan, my capstone thesis formalized the theory of block pumpable languages in Coq.
Between Yale-NUS and NYU, I spent a year verifying blockchain consensus protocols at Runtime Verification.
Publications
-
Characterizing Implementability of Global Protocols with Infinite States and Data
Elaine Li, Felix Stutz, Thomas Wies and Damien Zufferey
Under submission -
Deciding Subtyping for Asynchronous Multiparty Sessions
Elaine Li, Felix Stutz, and Thomas Wies
ESOP 2024 -
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, Thomas Wies and Damien Zufferey
CAV 2023 -
Formalizing Correct-by-Construction Casper in Coq
Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, and Grigore Rosu
ICBC 2020 -
Pumping, With or Without Choice
Aquinas Hobor, Elaine Li and Frank Stephan
APLAS 2019 -
Formalizing Block Pumpable Language Theory
Elaine Li
Yale-NUS College Capstone Thesis, 2019
Awards and Honors
- NYU Courant Sandra Bleistein Prize
- 2024
- NYU GSAS Dean's Dissertation Fellowship
- 2024
- CAV VMW Scholarship
- 2023
- NYU GSAS MacCracken Fellowship
- 2020-2025
- Helmut Veith Scholarship (declined)
- 2019
Invited Talks
-
Synthesizing Distributed Protocols from Global Session Types
- Simons Institute: Synthesis of Models and Systems (July 2024)
-
Multiparty Session Type Projection and Subtyping with Automata
- UPenn PLClub (April 2024)
- University of Luxembourg (April 2024)
- Cornell PLDG (March 2024)
- UCSC LSD seminar (October 2023)
Professional Activities
- Program Committee
- Dafny 2024
- Subreviewer
- FMCAD 2024