Wolf Honore
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2021–2024
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2024
on a stage with
all 5 in the filters
who talks about the same things
- Ji-Yong Shin6 talks
- Jieung Kim4 talks
- Yoonseung Kim3 talks
- Longfei Qiu5 talks
- Zhong Shao19 talks
- Jingqi Xiao2 talks
| title | conference | date |
|---|---|---|
| AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects | OOPSLA 2024 | 2024-10-20 |
Claims a single abstraction, AdoB abstraction, unifies benign and Byzantine consensus and lets proofs be done by refinement; implements it in Coq with… | ||
| LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs | PLDI 2024 | 2024-06-24 |
LiDO is a refinement-ready model that adds an explicit pacemaker state so liveness of partially synchronous Byzantine SMR reduces to a few safety invariants… | ||
| Adore: Atomic Distributed Objects with Certified Reconfiguration | PLDI 2022 | 2022-06-13 |
Presents Adore, an object-level abstraction that yields the first safety proof with hot reconfiguration by formalizing a cache-tree model and three concrete… | ||
| Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent D | OOPSLA 2021 | 2021-10-17 |
Presents a fault-aware ADO model that exposes partial failures (uncommitted but visible updates) while hiding protocol internals, and a verification stack… | ||
| nothing matches | ||