S-Space

Browse

Author

Showing results 1 to 1 of 1

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2018-06	Crellvm: Verified credible compilation for LLVM Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; Cho, Sungkeun; Choi, Joonwon; Hur, Chung-Kil; Yi, Kwangkeun Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.631-645