Chung-Kil Hur

Registered user since Thu 16 Jun 2016

Name: Chung-Kil Hur

Country: Korea, South

Affiliation: Seoul National University

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

Research interests: Programming Languages, Software Verification

Contributions

DeepSpec 2019Presenter of Coinductive Reasoning about Interaction Trees within the DeepSpec 2019-track
POPL 2020Committee 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 2019Session Chair of Session 3 (part of PriSC 2019)
Committee Member in Program Committee within the PriSC 2019-track
DeepSpec 2018Speaker of Crellvm within the DeepSpec 2018-track
PLDI 2019Author 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 2019Committee Member in External Review Committee within the Research Papers-track
SPLASH 2018Author 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 2018Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
ICFP 2017Committee Member in Program Committee within the Research Papers-track
POPL 2017Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track
ERC member in External Review Committee within the POPL-track
PLDI 2017Author 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 2016Committee Member in Program Committee within the PPS 2016-track
CoqPL 2016Author of A Tutorial on using the Paco Library for coinductive reasoning within the CoqPL-track
POPL 2016Committee 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 2015Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track