Youngju Song - POPL 2020

Registered user since Wed 10 May 2017

Name:Youngju Song

Affiliation:Seoul National University

Contributions

POPL 2020	CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences