Jieung Kim
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
- OOPSLA2 editions2021–2024
on a stage with
all 16 in the filters
who talks about the same things
- Yoonseung Kim3 talks
- Ji-Yong Shin6 talks
- Wolf Honore4 talks
- Longfei Qiu5 talks
- Zhong Shao19 talks
- Jingqi Xiao2 talks
| title | conference | date |
|---|---|---|
| CRIS: The Power of Imagination in Hybrid Verification | PLDI 2026 | 2026-06-15 |
Introduces CRIS, a framework that extends CCR with imaginary specifications—specs that intermix executable code and separation-logic assertions—to prove… | ||
| 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… | ||
| 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 | ||