Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
Crellvm: verified credible compilation for LLVM
PLDI, 2018.
@inproceedings{PLDI-2018-KangKSLPSKCCHY,
author = "Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi",
booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3192366.3192377",
pages = "631--645",
publisher = "{ACM}",
title = "{Crellvm: verified credible compilation for LLVM}",
year = 2018,
}
Tags:
