Collaborated with:C.Hur J.Kang Yonghyun Kim J.Lee Yoonseung Kim M.Cho Dongjoo Kim S.Das David Majnemer J.Regehr N.P.Lopes Sanghoon Park Mark Dongyeon Shin S.Cho Joonwon Choi K.Yi
Talks about:llvm (2) comp (2) cert (2) lightweight (1) behavior (1) undefin (1) modular (1) crellvm (1) credibl (1) assembl (1)
Person: Youngju Song
DBLP: Song:Youngju
Contributed to:
20172018
2020Wrote 3 papers:
- PLDI-2017-LeeKSHDMRL #behaviour
- Taming undefined behavior in LLVM (JL, YK, YS, CKH, SD, DM, JR, NPL), pp. 633–647.
- PLDI-2018-KangKSLPSKCCHY #compilation #named
- Crellvm: verified credible compilation for LLVM (JK, YK, YS, JL, SP, MDS, YK, SC, JC, CKH, KY), pp. 631–645.
- POPL-2020-SongCKKKH #composition #lightweight #named #verification
- CompCertM: CompCert with C-assembly linking and lightweight modular verification (YS, MC, DK, YK, JK, CKH), p. 31.