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

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