Ethan Cecchetti
where else to find them
bluesky:ethancecchetti.bsky.social
what they talk about
all 4 in the filters
where they keep going back
- POPL3 editions2021–2026
all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Andrew K. Hirsch6 talks
- Michael Carbin14 talks
- Steve Zdancewic19 talks
- Amanda Xu6 talks
- Deepak Garg18 talks
- Lindsey Kuper15 talks
| title | conference | date |
|---|---|---|
| Generating Compilers for Qubit Mapping and Routing | POPL 2026 | 2026-01-11 |
A system generates qubit mapping and routing compilers from a compact specification and a device graph, using an Amara language frontend and a parametric… | ||
| Choreographic Quick Changes: First-Class Location (Set) Polymorphism | OOPSLA 2025 | 2025-10-16 |
A new choreographic language, λQC, adds first-class process names and polymorphism over types and sets of locations, plus algebraic and recursive data types… | ||
| Leveraging Duality for Programming with zkSNARKs | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Language adds a single combined block that is annotated at variable declarations with C/P/CP labels, then a compiler projects that block into two low-level… | ||
| Universal Composability is Robust Compilation | POPL 2025 | 2025-01-19 |
Paper claims UC security and robust compilation are equivalent under clear axioms and gives a recipe to mechanize UC proofs. It axiomatizes UC semantics, maps… | ||
| Computational-Bounded Robust Compilation and Universally Composable Security | PriSC 2024 | 2024-01-20 |
Proposes a precise equivalence showing that computationally robust hyper property preservation corresponds to computational UC emulation by adding… | ||
| Giving Semantics to Program-Counter Labels via Secure Effects | POPL 2021 | 2021-01-17 |
Provides monadic semantics for program-counter labels by translating type-and-effect languages into pure ones using indexed monads and a more general productor… | ||
| nothing matches | ||