Chung-Kil Hur - PLDI 2023

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

PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track Putting Weak Memory in Order via a Promising Intermediate Representation Session Chair of PLDI: Compilation (part of PLDI Research Papers) Fair Operational Semantics
Show activities from other conferences

Using general profile