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 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 Program Committee within the New Ideas and Emerging Results-track Programme Committee in Program Committee within the Software Engineering in Practice-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