Patrick Eugster
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
all 5 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Pavel Chuprikov5 talks
- Rodrigo Otoni2 talks
- Anita Buckley2 talks
- Michael Carbin14 talks
- Robert Soulé5 talks
- Pascal Weisenburger11 talks
| title | conference | date |
|---|---|---|
| CacheCatalyst: Enhancing Web Caching for the Latency-Constrained Internet | NSDI '26 | 2026-05-04 |
CacheCatalyst validates a whole page cache on the HTML fetch by adding an X-Cache-Resources header from browser and an X-Validated response flag, implemented… | ||
| A Language for Quantifying Quantum Network Behavior | OOPSLA 2025 | 2025-10-16 |
A domain specific language called PBKAT models Bell pair distribution with probabilistic actions (e.g. create succeeds 0.81, swap 0.6) plus nondeterministic… | ||
| FiDe: Reliable and Fast Crash Failure Detection to Boost Datacenter Coordination | USENIX ATC '25 | 2025-07-07 |
FiDe reports crashes in datacenters in under 30 μs (7.2× faster than prior art) by creating stable end-to-end interactions: FiDe reports crashes <30 μs (7.2×… | ||
| An Algebraic Language for Specifying Quantum Networks | PLDI 2024 | 2024-06-24 |
Defines BellKAT — a Kleene-algebra based language whose semantics live in a new algebra BellSKA and whose basic primitives are… | ||
| Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation | PLDI 2023 | 2023-06-17 |
Hydra implements a mechanism‑independent language and a type system that enforces a generalized noninterference property called S non-interference and… | ||
| A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming | OOPSLA 2021 | 2021-10-17 |
Presents a new MPST formulation that supports event-driven multiparty sessions with handlers for I/O and partial failures, including dynamic replacement of… | ||
| Live in the Express Lane | USENIX ATC '21 | 2021-07-14 |
X-Lane isolates coordination traffic on a dedicated core and NIC queue, implemented as a kernel module and offloaded to a Metronome NFP4000 smartNIC, yielding… | ||
| Scalable and Serializable Networked Multi-actor Programming | OOPSLA 2020 | 2020-11-15 |
AEON is an actor language and runtime that enforces serializable multi-actor events by organizing actors in a DAG via ownership and using a dominator lock… | ||
| nothing matches | ||