Inproceedings,
Verified compilation on a verified processor.
A. Lööw, R. Kumar, Y. Tan, M. Myreen, M. Norrish, O. Abrahamsson, and A. Fox.PLDI, page 1041-1053. ACM, (2019)
Meta data
- BibTeX key
- conf/pldi/LoowKTMNAF19
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2019
- pages
- 1041-1053
- publisher
- ACM
- crossref
- conf/pldi/2019
- ee
- https://doi.org/10.1145/3314221.3314622
- isbn
- 978-1-4503-6712-7
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#LoowKTMNAF19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/LoowKTMNAF19
%A Lööw, Andreas
%A Kumar, Ramana
%A Tan, Yong Kiam
%A Myreen, Magnus O.
%A Norrish, Michael
%A Abrahamsson, Oskar
%A Fox, Anthony C. J.
%B PLDI
%D 2019
%E McKinley, Kathryn S.
%E Fisher, Kathleen
%I ACM
%K dblp
%P 1041-1053
%T Verified compilation on a verified processor.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#LoowKTMNAF19
%@ 978-1-4503-6712-7
@inproceedings{conf/pldi/LoowKTMNAF19,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Lööw, Andreas and Kumar, Ramana and Tan, Yong Kiam and Myreen, Magnus O. and Norrish, Michael and Abrahamsson, Oskar and Fox, Anthony C. J.},
biburl = {https://www.bibsonomy.org/bibtex/21f9362243a50816d73608d1fe8c41e2c/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2019},
editor = {McKinley, Kathryn S. and Fisher, Kathleen},
ee = {https://doi.org/10.1145/3314221.3314622},
interhash = {6b7ca532e8a1a78e2c8bdca709460472},
intrahash = {1f9362243a50816d73608d1fe8c41e2c},
isbn = {978-1-4503-6712-7},
keywords = {dblp},
pages = {1041-1053},
publisher = {ACM},
timestamp = {2024-04-10T06:17:16.000+0200},
title = {Verified compilation on a verified processor.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#LoowKTMNAF19},
year = 2019
}