Chung-Kil Hur - POPL 2020

Registered user since Thu 16 Jun 2016

Name:Chung-Kil Hur

Country:Korea, South

Affiliation:Seoul National University

Research interests:Programming Languages, Software Verification

Contributions

CPP 2020	An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction
POPL 2020	Session Chair of Program Logics (part of Research Papers) Committee Member in Program Committee within the Research Papers-track CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification Interaction Trees: Representing Recursive and Impure Programs in Coq
Show activities from other conferences