Elaine Li

According to our database, Elaine Li authored at least 7 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Characterizing Implementability of Global Protocols with Infinite States and Data.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proc. ACM Program. Lang., 2025

Sprout: A Verifier for Symbolic Multiparty Protocols.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Deciding Subtyping for Asynchronous Multiparty Sessions.

Elaine Li, Felix Stutz, Thomas Wies

Proceedings of the Programming Languages and Systems, 2024

2023

Complete Multiparty Session Type Projection with Automata.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2020

Specification of the Giskard Consensus Protocol.

Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu

CoRR, 2020

Formalizing Correct-by-Construction Casper in Coq.

Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019

Pumping, with or Without Choice.

Aquinas Hobor, Elaine Li, Frank Stephan

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019