{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:47Z","timestamp":1740098927887,"version":"3.37.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319655772"},{"type":"electronic","value":"9783319655789"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-65578-9_17","type":"book-chapter","created":{"date-parts":[[2017,8,16]],"date-time":"2017-08-16T00:33:22Z","timestamp":1502843602000},"page":"249-265","source":"Crossref","is-referenced-by-count":11,"title":["OpenMP Tools Interface: Synchronization Information for Data Race Detection"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Protze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Hahnfeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong H.","family":"Ahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"17_CR1","unstructured":"Archer project and source code. \nhttps:\/\/github.com\/PRUNERS\/archer"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Atzeni, S., Gopalakrishnan, G., Rakamaric, Z., Ahn, D.H., Laguna, I., Schulz, M., Lee, G.L., Protze, J., M\u00fcller, M.S.: ARCHER: effectively spotting data races in large openmp applications. In: 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, 23\u201327 May 2016, pp. 53\u201362 (2016)","DOI":"10.1109\/IPDPS.2016.68"},{"key":"17_CR3","unstructured":"OpenMP Architecture Review Board: OpenMP Application Program Interface. \nhttp:\/\/www.openmp.org\/wp-content\/uploads\/openmp-4.5.pdf"},{"key":"17_CR4","unstructured":"OpenMP Architecture Review Board: TR4: OpenMP Version 5.0 Preview 1. \nhttp:\/\/www.openmp.org\/wp-content\/uploads\/openmp-tr4.pdf"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Lidbury, C., Donaldson, A.F.: Dynamic race detection for C++11. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 18\u201320 January 2017, pp. 443\u2013457 (2017)","DOI":"10.1145\/3009837.3009857"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-30961-8_17","volume-title":"OpenMP in a Heterogeneous World","author":"MS M\u00fcller","year":"2012","unstructured":"M\u00fcller, M.S., et al.: SPEC OMP2012 \u2014 an application benchmark suite for parallel systems using openMP. In: Chapman, B.M., Massaioli, F., M\u00fcller, M.S., Rorro, M. (eds.) IWOMP 2012. LNCS, vol. 7312, pp. 223\u2013236. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-30961-8_17"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Protze, J., Atzeni, S., Ahn, D.H., Schulz, M., Gopalakrishnan, G., M\u00fcller, M.S., Laguna, I., Rakamaric, Z., Lee, G.L.: Towards providing low-overhead data race detection for large openMP applications. In: Proceedings of the 2014 LLVM Compiler Infrastructure in HPC, LLVM 2014, New Orleans, LA, USA, 17 November 2014, pp. 40\u201347 (2014)","DOI":"10.1109\/LLVM-HPC.2014.7"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Serebryany, K., Iskhodzhanov, T.: Threadsanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, WBIA 2009, pp. 62\u201371. ACM, New York (2009)","DOI":"10.1145\/1791194.1791203"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-29860-8_9","volume-title":"Runtime Verification","author":"K Serebryany","year":"2012","unstructured":"Serebryany, K., Potapenko, A., Iskhodzhanov, T., Vyukov, D.: Dynamic race detection with LLVM compiler. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 110\u2013114. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-29860-8_9"},{"key":"17_CR10","unstructured":"The Clang Team: Clang 5 documentation: Threadsanitizer. \nhttps:\/\/clang.llvm.org\/docs\/ThreadSanitizer.html"},{"key":"17_CR11","unstructured":"Brian Whitney: SPEC OMP2012 documentation. \nhttps:\/\/www.spec.org\/omp2012\/Docs\/"}],"container-title":["Lecture Notes in Computer Science","Scaling OpenMP for Exascale Performance and Portability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65578-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,16]],"date-time":"2017-08-16T00:39:34Z","timestamp":1502843974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65578-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319655772","9783319655789"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65578-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}