Christopher Wagner
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2021–2023
on a stage with
all 21 in the filters
who talks about the same things
- Nouraldin Jaber3 talks
- Ankush Desai10 talks
- Constantin Enea14 talks
- Rupak Majumdar21 talks
- Andrew Wagner6 talks
- David Basin5 talks
| title | conference | date |
|---|---|---|
| Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based S... | OOPSLA 2023 | 2023-10-23 |
Presents Venus, an implementation that extends Quicksilver to verify systems that are unbounded in both process count and data by reducing variable domains via… | ||
| HACCLE: Metaprogramming for Secure Multi-Party Computation | GPCE 2021 | 2021-10-17 |
HACCLE is a compiler toolchain that embeds a DSL (Harpoon) in Scala, uses LMS metaprogramming to lower code to a protocol‑independent acyclic circuit IR (HIR)… | ||
| QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems | OOPSLA 2021 | 2021-10-17 |
QuickSilver introduces the Mercury modeling language with two concrete agreement primitives, Partition and Consensus, that abstract verified Paxos/Raft-style… | ||
| nothing matches | ||