Elaine Li

14 papers B 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Competing subclones and fitness diversity shape tumor evolution across cancer types.
Bioinform.
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
2026 J jnl
Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking.
CoRR
Elaine Li, Felix Stutz
2026 J jnl
Implementability of Global Distributed Protocols modulo Network Architectures.
CoRR
Elaine Li, Thomas Wies
2025 B conf
Certified Implementability of Global Multiparty Protocols.
ITP
Elaine Li, Thomas Wies
2025 J jnl
Characterizing Implementability of Global Protocols with Infinite States and Data.
Proc. ACM Program. Lang.
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2025 — conf
Sprout: A Verifier for Symbolic Multiparty Protocols.
CAV (3)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2024 J jnl
Characterizing Implementability of Global Protocols with Infinite States and Data.
CoRR
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2024 — conf
Deciding Subtyping for Asynchronous Multiparty Sessions.
ESOP (1)
Elaine Li, Felix Stutz, Thomas Wies
2024 J jnl
Deciding Subtyping for Asynchronous Multiparty Sessions.
CoRR
Elaine Li, Felix Stutz, Thomas Wies
2023 — conf
Complete Multiparty Session Type Projection with Automata.
CAV (3)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2023 J jnl
Complete Multiparty Session Type Projection with Automata.
CoRR
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2020 — conf
Formalizing Correct-by-Construction Casper in Coq.
IEEE ICBC
Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu
2020 J jnl
Specification of the Giskard Consensus Protocol.
CoRR
Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu
2019 B conf
Pumping, with or Without Choice.
APLAS
Aquinas Hobor, Elaine Li, Frank Stephan