Chung-Kil Hur -

Registered user since Thu 16 Jun 2016

Name:Chung-Kil Hur

Country:South Korea

Affiliation:Seoul National University

Personal website:http://sf.snu.ac.kr/gil.hur

Research interests:Programming Languages, Software Verification

Contributions

APLAS 2023	PC Chair in Program Committee within the APLAS 2023-track PC Chair in Organizing Committee within the APLAS 2023-track
ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track Author of Putting Weak Memory in Order via a Promising Intermediate Representation within the PLDI Research Papers-track Session Chair of PLDI: Compilation (part of PLDI Research Papers) Author of Fair Operational Semantics within the PLDI Research Papers-track
POPL 2023	Committee Member in Selection Committee within the Student Research Competition-track Speaker of Concurrency & Linearizability: Session Preview within the Session Previews-track Author of Conditional Contextual Refinement within the POPL-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
PLDI 2022	Author of Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency within the PLDI-track
CoqPL 2022	Committee Member in Program Committee within the CoqPL-track
ICFP 2021	Session Chair of Ask Me Anything (part of Social Events)
PLDI 2021	Author of Modular Data-Race-Freedom Guarantees in the Promising Semantics within the PLDI-track Author of Alive2: Bounded Translation Validation for LLVM within the PLDI-track
POPL 2021	Panelist of Panel Discussion 1: Choosing Research Topics within the POPL Meetups-track
CPP 2021	Committee Member in Program Committee within the CPP 2021-track
PriSC 2021	Committee Member in Program Committee within the PriSC 2021-track
PLDI 2020	Author of Promising 2.0: Global Optimizations in Relaxed Memory Concurrency within the PLDI Research Papers-track
REMS-DeepSpec 2020	Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
CPP 2020	Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track
POPL 2020	Session Chair of Program Logics (part of Research Papers) Committee Member in Program Committee within the Research Papers-track Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
DeepSpec 2019	Presenter of Coinductive Reasoning about Interaction Trees within the DeepSpec 2019-track
PLDI 2019	Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Research Papers-track Session Chair of Verification I (part of PLDI Research Papers)
PriSC 2019	Session Chair of Session 3 (part of PriSC 2019) Committee Member in Program Committee within the PriSC 2019-track
SPLASH 2018	Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Artifacts-track Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the OOPSLA-track Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Posters-track
DeepSpec 2018	Speaker of Crellvm within the DeepSpec 2018-track
PLDI 2018	Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
ICFP 2017	Committee Member in Program Committee within the Research Papers-track
PLDI 2017	Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track
POPL 2017	Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track ERC member in External Review Committee within the POPL-track
CoqPL 2016	Author of A Tutorial on using the Paco Library for coinductive reasoning within the CoqPL-track
POPL 2016	Committee Member in Program Committee within the Research Papers-track Author of Lightweight Verification of Separate Compilation within the Research Papers-track Committee Member in Program Committee
PPS 2016	Committee Member in Program Committee within the PPS 2016-track
PLDI 2015	Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track