conf.researchr.org / Jeehoon Kang
Registered user since Thu 19 Feb 2015
Name:Jeehoon Kang
Country:South Korea
Affiliation:KAIST
Personal website: https://cp.kaist.ac.kr/jeehoon.kang
Research interests:concurrency, parallelism, verification, compiler
Contributions
2025
PLDI
- Author of Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic within the PLDI Research Papers-track
- Author of Verifying Lock-Free Traversals in Relaxed Memory Separation Logic within the PLDI Research Papers-track
- Author of Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals within the PLDI Research Papers-track
- Local Arrangements Co-Chair in Organizing Committee
2024
PLDI
- Session Chair of Formal Verification 1 (part of PLDI Research Papers)
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Author of Concurrent Immediate Reference Counting within the PLDI Research Papers-track
- Author of A Proof Recipe for Linearizability in Relaxed Memory Separation Logic within the PLDI Research Papers-track
- Author of Modular Hardware Design of Pipelined Circuits with Hazards within the PLDI Research Papers-track
2023
APSEC
2022
PLDI
POPL
- Student Research Competition Co-Chair in Organizing Committee
- Panelist of Panel 2: the future of concurrency and parallelism within the Virtual Workshop-track
- Co-chair in Selection Committee within the Student Research Competition-track
- Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-track
2021
POPL
- Panelist of Panel Discussion 4: Finding Friends and Collaborators in Academia within the POPL Meetups-track
- Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
- Committee Member in Program Committee within the POPL-track
- Artifact Evaluation Co-Chair in Organizing Committee
2020
ICSE
- Committee Member in Virtualization Technology within the Virtualization-track
- Committee Member in Program Committee within the New Ideas and Emerging Results-track
- Programme Committee in Program Committee within the Software Engineering in Practice-track
- Committee Member in Live! Team Korea within the Virtualization-track
PLDI
POPL
- Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track
- Artifact Evaluation Co-Chair in Organizing Committee
- Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
- Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track