Elaine Li

According to our database, Elaine Li authored at least 11 papers between 2019 and 2026.

Collaborative distances:

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

2026

Implementability of Global Distributed Protocols modulo Network Architectures.

Elaine Li, Thomas Wies

CoRR, February, 2026

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking.

Elaine Li, Felix Stutz

CoRR, February, 2026

Competing subclones and fitness diversity shape tumor evolution across cancer types.

Hai Chen, Jingmin Shu, Rekha Mudappathi, Elaine Li, Panwen Wang, Leif Bergsagel, Ping Yang, Zhifu Sun, Logan Zhao, Changxin Shi, Jeffrey P. Townsend, Carlo Maley, Li Liu

Bioinform., 2026

2025

Characterizing Implementability of Global Protocols with Infinite States and Data.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proc. ACM Program. Lang., 2025

Certified Implementability of Global Multiparty Protocols.

Elaine Li, Thomas Wies

Proceedings of the 16th International Conference on Interactive Theorem Proving, 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