BibTeX record conf/asplos/Kasampalis0LAR21

download as .bib file

@inproceedings{DBLP:conf/asplos/Kasampalis0LAR21,
  author    = {Theodoros Kasampalis and
               Daejun Park and
               Zhengyao Lin and
               Vikram S. Adve and
               Grigore Rosu},
  editor    = {Tim Sherwood and
               Emery D. Berger and
               Christos Kozyrakis},
  title     = {Language-parametric compiler validation with application to {LLVM}},
  booktitle = {{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},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3445814.3446751},
  doi       = {10.1145/3445814.3446751},
  timestamp = {Sun, 02 Oct 2022 15:55:06 +0200},
  biburl    = {https://dblp.org/rec/conf/asplos/Kasampalis0LAR21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics