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

PriSC 2019Committee Member in Program Committee within the PriSC 2019-track
DeepSpec 2018Speaker of Crellvm within the DeepSpec 2018-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
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
CoqPLAuthor 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