Chung-Kil Hur - POPL 2020

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

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
Show activities from other conferences