Chung-Kil Hur

Registered user since Thu 16 Jun 2016

Name:Chung-Kil Hur
Country:South Korea
Affiliation:Seoul National University
Research interests:Programming Languages, Software Verification

Contributions

CoqPL 2022 Committee Member in Program Committee within the CoqPL-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
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
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
POPL 2021 Panelist of Panel Discussion 1: Choosing Research Topics within the POPL Meetups-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
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 Promising 2.0: Global Optimizations in Relaxed Memory Concurrency within the PLDI Research Papers-track
CPP 2020 Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track
DeepSpec 2019 Presenter of Coinductive Reasoning about Interaction Trees within the DeepSpec 2019-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
PriSC 2019 Session Chair of Session 3 (part of PriSC 2019)
Committee Member in Program Committee within the PriSC 2019-track
DeepSpec 2018 Speaker of Crellvm within the DeepSpec 2018-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)
ICFP 2019 Committee Member in External Review Committee within the Research Papers-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
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
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
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
PPS 2016 Committee Member in Program Committee within the PPS 2016-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
PLDI 2015 Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track