Inproceedings,
Language-parametric compiler validation with application to LLVM.
T. Kasampalis, D. Park, Z. Lin, V. Adve, and G. Rosu.ASPLOS, page 1004-1019. ACM, (2021)
Meta data
- BibTeX key
- conf/asplos/Kasampalis0LAR21
- entry type
- inproceedings
- booktitle
- ASPLOS
- year
- 2021
- pages
- 1004-1019
- publisher
- ACM
- crossref
- conf/asplos/2021
- ee
- https://doi.org/10.1145/3445814.3446751
- isbn
- 978-1-4503-8317-2
- url
- http://dblp.uni-trier.de/db/conf/asplos/asplos2021.html#Kasampalis0LAR21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/asplos/Kasampalis0LAR21
%A Kasampalis, Theodoros
%A Park, Daejun
%A Lin, Zhengyao
%A Adve, Vikram S.
%A Rosu, Grigore
%B ASPLOS
%D 2021
%E Sherwood, Tim
%E Berger, Emery D.
%E Kozyrakis, Christos
%I ACM
%K dblp
%P 1004-1019
%T Language-parametric compiler validation with application to LLVM.
%U http://dblp.uni-trier.de/db/conf/asplos/asplos2021.html#Kasampalis0LAR21
%@ 978-1-4503-8317-2
@inproceedings{conf/asplos/Kasampalis0LAR21,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Kasampalis, Theodoros and Park, Daejun and Lin, Zhengyao and Adve, Vikram S. and Rosu, Grigore},
biburl = {https://www.bibsonomy.org/bibtex/23f26a8956513893900abbc50cf9d444c/dblp},
booktitle = {ASPLOS},
crossref = {conf/asplos/2021},
editor = {Sherwood, Tim and Berger, Emery D. and Kozyrakis, Christos},
ee = {https://doi.org/10.1145/3445814.3446751},
interhash = {49410940491ba1490ac25a4313c5da80},
intrahash = {3f26a8956513893900abbc50cf9d444c},
isbn = {978-1-4503-8317-2},
keywords = {dblp},
pages = {1004-1019},
publisher = {ACM},
timestamp = {2024-04-10T01:55:21.000+0200},
title = {Language-parametric compiler validation with application to LLVM.},
url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2021.html#Kasampalis0LAR21},
year = 2021
}