Jeehoon Kang

Registered user since Thu 19 Feb 2015

Name:Jeehoon Kang
Country:South Korea
Affiliation:KAIST
Research interests:concurrency, parallelism, verification, compiler

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
CGO 2022 Proceedings Chair in Organizing Committee within the Main Conference-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
HOPE 2021 Committee Member in Program Committee within the HOPE 2021-track
POPL 2022 Student Research Competition Co-Chair in Organizing Committee
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
SPLASH 2021 Korea in Review Committee within the OOPSLA-track
PLMW 2021 Panelist of Panel: Doing Research in PL within the PLMW 2021-track
Panelist in Panelists within the PLMW 2021-track
CGO 2021 Proceedings Chair in Organizing Committee
PLDI 2021 Author of Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 within the PLDI-track
POPL 2021 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
REMS-DeepSpec 2020 Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
ICFP 2021 Session Chair of Ask Me Anything (part of Social Events)
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