Pavel Chuprikov
where else to find them
bluesky:pschuprikov.bsky.social
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
all 4 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Anita Buckley2 talks
- Rodrigo Otoni2 talks
- Robert Soulé5 talks
- Patrick Eugster8 talks
- Robert Rand11 talks
- Michael Carbin14 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| nothing matches | ||