Theodoros Kasampalis, Daejun Park 0001, Zhengyao Lin, Vikram S. Adve, Grigore Rosu. Language-parametric compiler validation with application to LLVM. In Tim Sherwood, Emery Berger, Christos Kozyrakis, editors, ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021. pages 1004-1019, ACM, 2021. [doi]
@inproceedings{Kasampalis0LAR21,
title = {Language-parametric compiler validation with application to LLVM},
author = {Theodoros Kasampalis and Daejun Park 0001 and Zhengyao Lin and Vikram S. Adve and Grigore Rosu},
year = {2021},
doi = {10.1145/3445814.3446751},
url = {https://doi.org/10.1145/3445814.3446751},
researchr = {https://researchr.org/publication/Kasampalis0LAR21},
cites = {0},
citedby = {0},
pages = {1004-1019},
booktitle = {ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021},
editor = {Tim Sherwood and Emery Berger and Christos Kozyrakis},
publisher = {ACM},
isbn = {978-1-4503-8317-2},
}