Jeehoon Kang

Registered user since Thu 19 Feb 2015

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

Contributions

POPL 2024 Committee Member in Program Committee within the POPL-track
APSEC 2023 Student Research Competition Chair in Organizing Committee
Chair in Program Committee within the SRC - Student Research Competition-track
APLAS 2023 PC Member in Program Committee within the APLAS 2023-track
PLDI 2023 Author of Memento: A Framework for Detectable Recoverability in Persistent Memory within the PLDI Research Papers-track
POPL 2023 Co-chair in Selection Committee within the Student Research Competition-track
Session Chair of SRC Poster (part of Student Research Competition)
Student Research Competition Co-Chair in Organizing Committee
PLDI 2022 Author of Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic within the PLDI-track
Committee Member in PLDI within the PLDI-track
CGO 2022 Proceedings Chair in Organizing Committee within the Main Conference-track
POPL 2022 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
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
Session Chair of Verified Data Structures and Semantics (part of CPP 2022)
SPLASH 2021 Korea in Review Committee within the OOPSLA-track
ICFP 2021 Session Chair of Ask Me Anything (part of Social Events)
HOPE 2021 Committee Member in Program Committee within the HOPE 2021-track
PLDI 2021 Author of Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 within the PLDI-track
CGO 2021 Proceedings Chair in Organizing Committee
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
PLMW 2021 Panelist of Panel: Doing Research in PL within the PLMW 2021-track
Panelist in Panelists within the PLMW 2021-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 2020 Author of A Marriage of Pointer- and Epoch-Based Reclamation within the PLDI Research Papers-track
REMS-DeepSpec 2020 Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-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
PLDI 2018 Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
PLDI 2017 Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
POPL 2017 Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-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