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

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
CPP 2022	Committee Member in Program Committee within the CPP 2022-track Session Chair of Verified Data Structures and Semantics (part of CPP 2022)
HOPE 2021	Committee Member in Program Committee within the HOPE 2021-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
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