conf.researchr.org / Youngju Song
Registered user since Wed 10 May 2017
Name: Youngju Song
Affiliation: Seoul National University
Contributions
| 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 |