Collaborated with:C.Hur J.Kang J.Lee Youngju Song D.Dreyer V.Vafeiadis S.Das David Majnemer J.Regehr N.P.Lopes Sanghoon Park Mark Dongyeon Shin Yonghyun Kim S.Cho Joonwon Choi K.Yi
Talks about:compil (2) llvm (2) lightweight (1) behavior (1) undefin (1) crellvm (1) credibl (1) verifi (1) verif (1) separ (1)
Person: Yoonseung Kim
DBLP: Kim:Yoonseung
Contributed to:
2016
20172018Wrote 3 papers:
- POPL-2016-KangKHDV #compilation #lightweight #verification
- Lightweight verification of separate compilation (JK, YK, CKH, DD, VV), pp. 178–190.
- 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.