• Sign in
  • Sign up
conf.researchr.org / Yoonseung Kim
  • PLDI 2018 profile
  • PLDI 2024 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2020 profile
  • POPL 2023 profile
  • POPL 2025 profile
  • SPLASH 2024 profile
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

  • Committee Member in Program Committee within the CPP 2023-track
  • Session Chair of Applications (part of CPP 2023)

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
Share
xMon 9 Jun 01:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up