Precise and Maximal Race Detection from Incomplete Traces
J. Huang, and A. Rajagopalan. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, page 462--476. ACM, (2016)
DOI: 10.1145/2983990.2984024
Description
Precise and maximal race detection from incomplete traces
%0 Conference Paper
%1 Huang:2016:PMR
%A Huang, Jeff
%A Rajagopalan, Arun K.
%B Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
%D 2016
%I ACM
%K Detection First Proposal Race SharedMemory
%P 462--476
%R 10.1145/2983990.2984024
%T Precise and Maximal Race Detection from Incomplete Traces
%@ 978-1-4503-4444-9
@inproceedings{Huang:2016:PMR,
acmid = {2984024},
added-at = {2019-08-21T23:31:45.000+0200},
author = {Huang, Jeff and Rajagopalan, Arun K.},
biburl = {https://www.bibsonomy.org/bibtex/2317bb76c640948a957a2e4e38cccfed1/gron},
booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
description = {Precise and maximal race detection from incomplete traces},
doi = {10.1145/2983990.2984024},
interhash = {f1111317dece018df21fc4e323cf1c99},
intrahash = {317bb76c640948a957a2e4e38cccfed1},
isbn = {978-1-4503-4444-9},
keywords = {Detection First Proposal Race SharedMemory},
location = {Amsterdam, Netherlands},
numpages = {15},
pages = {462--476},
publisher = {ACM},
series = {OOPSLA 2016},
timestamp = {2019-08-21T23:31:45.000+0200},
title = {{Precise and Maximal Race Detection from Incomplete Traces}},
year = 2016
}