Yoonseung Kim
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Jieung Kim4 talks
- Wolf Honore4 talks
- Longfei Qiu5 talks
- Ji-Yong Shin6 talks
- Zhong Shao19 talks
- Jingqi Xiao2 talks
| title | conference | date |
|---|---|---|
| VeriRT: An End-To-End Verification Framework for Real-Time Distributed Systems | POPL 2025 | 2025-01-19 |
VeriRT provides an end-to-end framework that links abstract timed specs to assembly by (1) embedding low-level timing assumptions into operational semantics… | ||
| 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… | ||
| nothing matches | ||