Yoonseung Kim -

Registered user since Tue 22 Nov 2016

Name:Yoonseung Kim

Country:United States

Affiliation:Yale University

Personal website: https://kim-yoonseung.github.io/

Research interests:Software Verification

Contributions

2025

POPL

Author of VeriRT: An End-To-End Verification Framework for Real-Time Distributed Systems within the POPL-track

2024

SPLASH

Author of AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects within the OOPSLA 2024-track

PLDI

Author of LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs within the PLDI Research Papers-track

2023

POPL

Committee Member in Selection Committee within the Student Research Competition-track

CPP

2020

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2018

PLDI

Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track

2017

PLDI

Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track

2016

POPL

Author of Lightweight Verification of Separate Compilation within the Research Papers-track