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

POPL 2021Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Program Committee within the Research Papers-track
Artifact Evaluation Co-Chair in Organizing Committee
REMS-DeepSpec 2020Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
PLDI 2020Author of A Marriage of Pointer- and Epoch-Based Reclamation within the PLDI Research Papers-track
POPL 2020Author 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
PLDI 2019Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2020Committee 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
PLDI 2018Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
POPL 2017Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track
PLDI 2017Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
POPL 2016Author of Lightweight Verification of Separate Compilation within the Research Papers-track
PLDI 2015Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track