Elaine Li
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Damien Zufferey3 talks
- Thomas Wies10 talks
- Elaine Shi12 talks
- Marco Eilers4 talks
- Sharon Shoham13 talks
- Rupak Majumdar21 talks
| title | conference | date |
|---|---|---|
| Implementability of Global Distributed Protocols Modulo Network Architectures | PLDI 2026 | 2026-06-15 |
This work gives a precise, network-parametric characterization of when a bird’s-eye global message protocol admits a distributed implementation: coherence… | ||
| Characterizing Implementability of Global Protocols with Infinite States and Data | OOPSLA 2025 | 2025-10-16 |
Provides a semantic characterization that reduces implementability of symbolic global protocols to (co)reachability checks per participant and a set of… | ||
| How Deloitte helps navigate generative AI compliance for customers | AWS re:Inforce 2024 | 2024-06-10 |
Deloitte and AWS present a generative AI compliance framework that maps 8 domains to 110 controls and about 30 objectives inside AWS Audit Manager, now… | ||
| Complete Multiparty Session Type Projection with Automata | ST30 2023 | 2023-10-22 |
Claims a sound, complete, and practical projection operator for asynchronous multiparty session types, implemented by translating global types to automata and… | ||
| nothing matches | ||