Youngju Song -

Registered user since Wed 10 May 2017

Name:Youngju Song

Country:Germany

Affiliation:MPI-SWS

Personal website:https://sf.snu.ac.kr/youngju.song/

Research interests:Software Verification, Compiler Verification

Contributions

APLAS 2023	Committee Member in Selection Committee within the SRC & Posters-track
PLDI 2023	Author of Fair Operational Semantics within the PLDI Research Papers-track
POPL 2023	Author of DimSum: A Decentralized Approach to Multi-language Semantics and Verification within the POPL-track Author of Conditional Contextual Refinement within the POPL-track
APLAS 2021	Committee Member in Program Committee within the Research Papers-track
POPL 2020	Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2018	Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
PLDI 2017	Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track