Elaine Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Sprout: A Verifier for Symbolic Multiparty Protocols. | Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey |
| 2025 | ITP | Certified Implementability of Global Multiparty Protocols. | Elaine Li, Thomas Wies |
| 2024 | ESOP | Deciding Subtyping for Asynchronous Multiparty Sessions. | Elaine Li, Felix Stutz, Thomas Wies |
| 2023 | CAV | Complete Multiparty Session Type Projection with Automata. | Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey |
| 2019 | APLAS | Pumping, with or Without Choice. | Aquinas Hobor, Elaine Li, Frank Stephan |