Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Yoonseung

Showing results 1 to 2 of 2

1
Crellvm: Verified credible compilation for LLVM

Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; et al, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.631 - 645, Association for Computing Machinery, 2018-06-22

2
Lightweight verification of separate compilation

Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp.178 - 190, ACM SIGPLAN and SIGACT, 2016-01-20

Discover

rss_1.0 rss_2.0 atom_1.0