Inproceedings,
A randomized scheduler with probabilistic guarantees of finding bugs.
S. Burckhardt, P. Kothari, M. Musuvathi, and S. Nagarakatte.ASPLOS, page 167-178. ACM, (2010)
Meta data
- BibTeX key
- conf/asplos/BurckhardtKMN10
- entry type
- inproceedings
- booktitle
- ASPLOS
- year
- 2010
- pages
- 167-178
- publisher
- ACM
- crossref
- conf/asplos/2010
- ee
- https://doi.org/10.1145/1735971.1736040
- isbn
- 978-1-60558-839-1
- url
- http://dblp.uni-trier.de/db/conf/asplos/asplos2010.html#BurckhardtKMN10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/asplos/BurckhardtKMN10
%A Burckhardt, Sebastian
%A Kothari, Pravesh
%A Musuvathi, Madanlal
%A Nagarakatte, Santosh
%B ASPLOS
%D 2010
%E Hoe, James C.
%E Adve, Vikram S.
%I ACM
%K dblp
%P 167-178
%T A randomized scheduler with probabilistic guarantees of finding bugs.
%U http://dblp.uni-trier.de/db/conf/asplos/asplos2010.html#BurckhardtKMN10
%@ 978-1-60558-839-1
@inproceedings{conf/asplos/BurckhardtKMN10,
added-at = {2021-07-07T00:00:00.000+0200},
author = {Burckhardt, Sebastian and Kothari, Pravesh and Musuvathi, Madanlal and Nagarakatte, Santosh},
biburl = {https://www.bibsonomy.org/bibtex/23a7a8b199ce6f24e59ef404bb191a77c/dblp},
booktitle = {ASPLOS},
crossref = {conf/asplos/2010},
editor = {Hoe, James C. and Adve, Vikram S.},
ee = {https://doi.org/10.1145/1735971.1736040},
interhash = {78dc3d1e900bd97499a058faf8ac4fcb},
intrahash = {3a7a8b199ce6f24e59ef404bb191a77c},
isbn = {978-1-60558-839-1},
keywords = {dblp},
pages = {167-178},
publisher = {ACM},
timestamp = {2024-04-10T01:55:47.000+0200},
title = {A randomized scheduler with probabilistic guarantees of finding bugs.},
url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2010.html#BurckhardtKMN10},
year = 2010
}