Collaborated with:J.Kang Youngju Song C.Hur M.Cho Dongjoo Kim Yoonseung Kim J.Lee Sanghoon Park Mark Dongyeon Shin S.Cho Joonwon Choi K.Yi
Talks about:comp (2) cert (2) lightweight (1) modular (1) crellvm (1) credibl (1) assembl (1) verifi (1) compil (1) verif (1)
Person: Yonghyun Kim
DBLP: Kim:Yonghyun
Contributed to:
2018
2020Wrote 2 papers:
- 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.