Meta data
- BibTeX key
- conf/pldi/RoemerGB20
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2020
- pages
- 747-762
- publisher
- ACM
- crossref
- conf/pldi/2020
- ee
- https://doi.org/10.1145/3385412.3385993
- isbn
- 978-1-4503-7613-6
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2020.html#RoemerGB20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/RoemerGB20
%A Roemer, Jake
%A Genç, Kaan
%A Bond, Michael D.
%B PLDI
%D 2020
%E Donaldson, Alastair F.
%E Torlak, Emina
%I ACM
%K dblp
%P 747-762
%T SmartTrack: efficient predictive race detection.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2020.html#RoemerGB20
%@ 978-1-4503-7613-6
@inproceedings{conf/pldi/RoemerGB20,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Roemer, Jake and Genç, Kaan and Bond, Michael D.},
biburl = {https://www.bibsonomy.org/bibtex/2d84b5fff4f5e37bfe9ba7db1266b3c6a/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2020},
editor = {Donaldson, Alastair F. and Torlak, Emina},
ee = {https://doi.org/10.1145/3385412.3385993},
interhash = {86734e90e74d4476229dfbde0ba224d3},
intrahash = {d84b5fff4f5e37bfe9ba7db1266b3c6a},
isbn = {978-1-4503-7613-6},
keywords = {dblp},
pages = {747-762},
publisher = {ACM},
timestamp = {2024-04-10T06:17:13.000+0200},
title = {SmartTrack: efficient predictive race detection.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2020.html#RoemerGB20},
year = 2020
}