Yoonseung Kim

Orcid: 0000-0001-5294-1046

According to our database1, Yoonseung Kim authored at least 6 papers between 2016 and 2025.

Collaborative distances:

Timeline

2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems.
Proc. ACM Program. Lang., 2025

2024
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs.
Proc. ACM Program. Lang., 2024

AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects.
Proc. ACM Program. Lang., 2024

2018
Crellvm: verified credible compilation for LLVM.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Taming undefined behavior in LLVM.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Lightweight verification of separate compilation.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016


  Loading...