{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:13:24Z","timestamp":1742937204803,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030034207"},{"type":"electronic","value":"9783030034214"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03421-4_13","type":"book-chapter","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T21:04:08Z","timestamp":1540847048000},"page":"179-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Runtime and Memory Evaluation of Data Race Detection Tools"],"prefix":"10.1007","author":[{"given":"Pei-Hung","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunhua","family":"Liao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Schordan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Karlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,30]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","unstructured":"Alowibdi, J.S., Stenneth, L.: An empirical study of data race detector tools. In: 2013 25th Chinese Control and Decision Conference (CCDC), May 2013, pp. 3951\u20133955 (2013). https:\/\/doi.org\/10.1109\/CCDC.2013.6561640","DOI":"10.1109\/CCDC.2013.6561640"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-21487-5_4","volume-title":"OpenMP in the Petascale Era","author":"V Basupalli","year":"2011","unstructured":"Basupalli, V., et al.: ompVerify: polyhedral analysis for the OpenMP programmer. In: Chapman, B.M., Gropp, W.D., Kumaran, K., M\u00fcller, M.S. (eds.) IWOMP 2011. LNCS, vol. 6665, pp. 37\u201353. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21487-5_4"},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 1\u201329 (2017). https:\/\/doi.org\/10.1007\/s10009-017-0469-y","DOI":"10.1007\/s10009-017-0469-y"},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Effinger-Dean, L., Lucia, B., Ceze, L., Grossman, D., Boehm, H.: IFRit: interference-free regions for dynamic data-race detection. In: Leavens, G.T., Dwyer, M.B. (eds.) Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, 21\u201325 October 2012, pp. 467\u2013484. ACM (2012). https:\/\/doi.org\/10.1145\/2384616.2384650","DOI":"10.1145\/2384616.2384650"},{"key":"13_CR5","doi-asserted-by":"publisher","unstructured":"Flanagan, C., Freund, S.N.: FastTrack: efficient and precise dynamic race detection. In: Hind, M., Diwan, A. (eds.) Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, 15\u201321 June 2009, pp. 121\u2013133. ACM (2009). https:\/\/doi.org\/10.1145\/1542476.1542490","DOI":"10.1145\/1542476.1542490"},{"key":"13_CR6","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-10549-4_13","volume-title":"Grid and Distributed Computing","author":"O-K Ha","year":"2009","unstructured":"Ha, O.-K., Kim, Y.-J., Kang, M.-H., Jun, Y.-K.: Empirical comparison of race detection tools for OpenMP programs. In: \u015al\u0119zak, D., Kim, T., Yau, S.S., Gervasi, O., Kang, B.-H. (eds.) GDC 2009. CCIS, vol. 63, pp. 108\u2013116. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10549-4_13"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"M Hall","year":"2009","unstructured":"Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The Weka data mining software: an update. SIGKDD Explor. Newsl. 11(1), 10\u201318 (2009)","journal-title":"SIGKDD Explor. Newsl."},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"Huang, J., Meredith, P.O., Rosu, G.: Maximal sound predictive race detection with control flow abstraction. In: O\u2019Boyle, M.F.P., Pingali, K. (eds.) ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, Edinburgh, UK, 09\u201311 June 2014, pp. 337\u2013348. ACM (2014). https:\/\/doi.org\/10.1145\/2594291.2594315","DOI":"10.1145\/2594291.2594315"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-73368-3_26","volume-title":"Computer Aided Verification","author":"V Kahlon","year":"2007","unstructured":"Kahlon, V., Yang, Y., Sankaranarayanan, S., Gupta, A.: Fast and accurate static data-race detection for concurrent programs. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 226\u2013239. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_26"},{"key":"13_CR10","doi-asserted-by":"publisher","unstructured":"Kim, Y., Kim, D., Jun, Y.: An empirical analysis of Intel thread checker for detecting races in OpenMP programs. In: Lee, R.Y. (ed.) 7th IEEE\/ACIS International Conference on Computer and Information Science, IEEE\/ACIS ICIS 2008, Portland, Oregon, USA, 14\u201316 May 2008, pp. 409\u2013414. IEEE Computer Society (2008). https:\/\/doi.org\/10.1109\/ICIS.2008.79","DOI":"10.1109\/ICIS.2008.79"},{"issue":"7","key":"13_CR11","doi-asserted-by":"publisher","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(7), 558\u2013565 (1978). https:\/\/doi.org\/10.1145\/359545.359563","journal-title":"Commun. ACM"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Liao, C., Lin, P.H., Asplund, J., Schordan, M., Karlin, I.: DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, pp. 11:1\u201311:14. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3126908.3126958","DOI":"10.1145\/3126908.3126958"},{"issue":"5","key":"13_CR13","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s10766-010-0139-0","volume":"38","author":"C Liao","year":"2010","unstructured":"Liao, C., Quinlan, D.J., Willcock, J.J., Panas, T.: Semantic-aware automatic parallelization of modern applications using high-level abstractions. Int. J. Parallel Program. 38(5), 361\u2013378 (2010)","journal-title":"Int. J. Parallel Program."},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Maiya, P., Kanade, A., Majumdar, R.: Race detection for android applications. In: O\u2019Boyle, M.F.P., Pingali, K. (eds.) ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, Edinburgh, UK, 09\u201311 June 2014, pp. 316\u2013325. ACM (2014). https:\/\/doi.org\/10.1145\/2594291.2594311","DOI":"10.1145\/2594291.2594311"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"M\u00fcehlenfeld, A., Wotawa, F.: Fault detection in multi-threaded C++ server applications. In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2007, pp. 142\u2013143. ACM, New York (2007)","DOI":"10.1145\/1229428.1229457"},{"key":"13_CR16","doi-asserted-by":"publisher","unstructured":"O\u2019Callahan, R., Choi, J.: Hybrid dynamic data race detection. In: Eigenmann, R., Rinard, M.C. (eds.) Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, San Diego, CA, USA, 11\u201313 June 2003, pp. 167\u2013178. ACM (2003). https:\/\/doi.org\/10.1145\/781498.781528","DOI":"10.1145\/781498.781528"},{"key":"13_CR17","doi-asserted-by":"publisher","unstructured":"de Oliveira, A.B., Petkovich, J.C., Reidemeister, T., Fischmeister, S.: DataMill: rigorous performance evaluation made easy. In: Proceedings of the 4th ACM\/SPEC International Conference on Performance Engineering, ICPE 2013, pp. 137\u2013148. ACM, New York (2013). https:\/\/doi.org\/10.1145\/2479871.2479892","DOI":"10.1145\/2479871.2479892"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45009-2_1","volume-title":"OpenMP Shared Memory Parallel Programming","author":"P Petersen","year":"2003","unstructured":"Petersen, P., Shah, S.: OpenMP support in the Intel\u00ae thread checker. In: Voss, M.J. (ed.) WOMPAT 2003. LNCS, vol. 2716, pp. 1\u201312. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-45009-2_1"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Poznianski, E., Schuster, A.: Efficient on-the-fly data race detection in multithreaded C++ programs. In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), Nice, France, 22\u201326 April 2003. CD-ROM\/Abstracts Proceedings, p. 287. IEEE Computer Society (2003). https:\/\/doi.org\/10.1109\/IPDPS.2003.1213513","DOI":"10.1109\/IPDPS.2003.1213513"},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.W.: LOCKSMITH: context-sensitive correlation analysis for race detection. In: Schwartzbach, M.I., Ball, T. (eds.) Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, 11\u201314 June 2006, pp. 320\u2013331. ACM (2006). https:\/\/doi.org\/10.1145\/1133981.1134019","DOI":"10.1145\/1133981.1134019"},{"key":"13_CR21","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, pp. 34\u201341. ACM (2006)","DOI":"10.1145\/1181309.1181315"},{"issue":"4","key":"13_CR22","doi-asserted-by":"publisher","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.E.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997). https:\/\/doi.org\/10.1145\/265924.265927","journal-title":"ACM Trans. Comput. Syst."},{"key":"13_CR23","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":"13_CR24","doi-asserted-by":"publisher","unstructured":"Smaragdakis, Y., Evans, J., Sadowski, C., Yi, J., Flanagan, C.: Sound predictive race detection in polynomial time. In: Field, J., Hicks, M. (eds.) Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, 22\u201328 January 2012, pp. 387\u2013400. ACM (2012). https:\/\/doi.org\/10.1145\/2103656.2103702","DOI":"10.1145\/2103656.2103702"},{"issue":"4","key":"13_CR25","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1002\/spe.2476","volume":"47","author":"Y Suh","year":"2017","unstructured":"Suh, Y., Snodgrass, R.T., Kececioglu, J.D., Downey, P.J., Maier, R.S., Yi, C.: EMP: execution time measurement protocol for compute-bound programs. Softw. Pract. Exper. 47(4), 559\u2013597 (2017). https:\/\/doi.org\/10.1002\/spe.2476","journal-title":"Softw. Pract. Exper."},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. In: Crnkovic, I., Bertolino, A. (eds.) Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Dubrovnik, Croatia, 3\u20137 September 2007, pp. 205\u2013214. ACM (2007). https:\/\/doi.org\/10.1145\/1287624.1287654","DOI":"10.1145\/1287624.1287654"},{"issue":"1","key":"13_CR27","doi-asserted-by":"publisher","first-page":"124","DOI":"10.4218\/etrij.17.0115.1027","volume":"39","author":"M Yu","year":"2017","unstructured":"Yu, M., Park, S.M., Chun, I., Bae, D.H.: Experimental performance comparison of dynamic data race detection techniques. ETRI J. 39(1), 124\u2013134 (2017). https:\/\/doi.org\/10.4218\/etrij.17.0115.1027","journal-title":"ETRI J."},{"key":"13_CR28","doi-asserted-by":"publisher","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: RaceTrack: efficient detection of data race conditions via adaptive tracking. In: Herbert, A., Birman, K.P. (eds.) Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, 23\u201326 October 2005, pp. 221\u2013234. ACM (2005). https:\/\/doi.org\/10.1145\/1095810.1095832","DOI":"10.1145\/1095810.1095832"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03421-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T08:06:52Z","timestamp":1609229212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03421-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034207","9783030034214"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03421-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"30 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}