{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T05:24:24Z","timestamp":1695360264298},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,11,24]],"date-time":"2013-11-24T00:00:00Z","timestamp":1385251200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10766-013-0296-z","type":"journal-article","created":{"date-parts":[[2013,11,23]],"date-time":"2013-11-23T12:59:52Z","timestamp":1385211592000},"page":"159-179","source":"Crossref","is-referenced-by-count":3,"title":["User-Guided Dynamic Data Race Detection"],"prefix":"10.1007","volume":"43","author":[{"given":"Markus","family":"Metzger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinmin","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walfred","family":"Tedeschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,24]]},"reference":[{"key":"296_CR1","doi-asserted-by":"crossref","unstructured":"Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A theory of data race detection. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD \u201906, pp. 69\u201378. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1147403.1147416"},{"issue":"1","key":"296_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/69215.69224","volume":"24","author":"PA Emrath","year":"1988","unstructured":"Emrath, P.A., Padua, D.A.: Automatic detection of nondeterminacy in parallel programs. SIGPLAN Not. 24(1), 89\u201399 (1988)","journal-title":"SIGPLAN Not."},{"key":"296_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/1839676.1839699","volume":"53","author":"C Flanagan","year":"2010","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. Commun. ACM 53, 93\u2013101 (2010)","journal-title":"Commun. ACM"},{"key":"296_CR4","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Tichy, W.F.: On-the-fly race detection in multi-threaded programs. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD \u201908, pp. 6:1\u20136:10. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1390841.1390847"},{"key":"296_CR5","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"296_CR6","unstructured":"Mueller-Albrecht, R.: Intel(R) Debugger for Linux (2010). http:\/\/software.intel.com\/en-us\/articles\/idb-linux\/"},{"key":"296_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2007.04.004","volume":"174","author":"A M\u00fchlenfeld","year":"2007","unstructured":"M\u00fchlenfeld, A., Wotawa, F.: Fault detection in multi-threaded c++ server applications. Electron. Notes Theor. Comput. Sci. 174, 5\u201322 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"296_CR8","doi-asserted-by":"crossref","unstructured":"Netzer, R.H.B., Miller, B.P.: Improving the accuracy of data race detection. In: Proceedings of the Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP \u201991, pp. 133\u2013144. ACM, New York, NY, USA (1991)","DOI":"10.1145\/109625.109640"},{"key":"296_CR9","unstructured":"OpenMP Architecture Review Board (2011). http:\/\/www.openmp.org\/"},{"key":"296_CR10","doi-asserted-by":"crossref","unstructured":"Patil, H., Pereira, C., Stallcup, M., Lueck, G., Cownie J.: Pinplay: a framework for deterministic replay and reproducible analysis of parallel programs. In: Proceedings of the 8th Annual IEEE\/ACM International Symposium on Code Generation and Optimization, CGO \u201910, pp. 2\u201311. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1772954.1772958"},{"key":"296_CR11","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/966049.781529","volume":"38","author":"E Pozniansky","year":"2003","unstructured":"Pozniansky, E., Schuster, A.: Efficient on-the-fly data race detection in multithreaded c++ programs. SIGPLAN Not. 38, 179\u2013190 (2003)","journal-title":"SIGPLAN Not."},{"key":"296_CR12","unstructured":"Robert Mueller-Albrecht, B.A., Metzger, M.: Intel(R) Parallel Debugger Extension (2010). http:\/\/software.intel.com\/en-us\/articles\/parallel-debugger-extension\/"},{"key":"296_CR13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M Ronsse","year":"1999","unstructured":"Ronsse, M., De Bosschere, K.: Recplay: a fully integrated practical record\/replay system. ACM Trans. Comput. Syst. 17, 133\u2013152 (1999)","journal-title":"ACM Trans. Comput. Syst."},{"key":"296_CR14","doi-asserted-by":"crossref","unstructured":"Sack, P., Bliss, B.E., Ma, Z., Petersen, P., Torrellas J.: Accurate and efficient filtering for the intel thread checker race detector. In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, ASID \u201906, pp. 34\u201341. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1181309.1181315"},{"key":"296_CR15","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15, 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"296_CR16","unstructured":"Standard Performance Evaluation Corporation. Spec omp (openmp benchmark suite) 3.1c (2011). http:\/\/www.spec.org\/omp\/"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0296-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-013-0296-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0296-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T10:24:12Z","timestamp":1688811852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-013-0296-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,24]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["296"],"URL":"https:\/\/doi.org\/10.1007\/s10766-013-0296-z","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,24]]}}}