{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:04:24Z","timestamp":1725555864544},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642105487"},{"type":"electronic","value":"9783642105494"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10549-4_13","type":"book-chapter","created":{"date-parts":[[2010,5,8]],"date-time":"2010-05-08T11:58:15Z","timestamp":1273319895000},"page":"108-116","source":"Crossref","is-referenced-by-count":3,"title":["Empirical Comparison of Race Detection Tools for OpenMP Programs"],"prefix":"10.1007","author":[{"given":"Ok-Kyoon","family":"Ha","sequence":"first","affiliation":[]},{"given":"Young-Joo","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Mun-Hye","family":"Kang","sequence":"additional","affiliation":[]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1147403.1147416","volume-title":"The 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD)","author":"U. Banerjee","year":"2006","unstructured":"Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A Theory of Data Race Detection. In: The 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), pp. 69\u201378. ACM Press, New York (2006)"},{"key":"13_CR2","unstructured":"Bull, J.M.: Measuring Synchronization and Scheduling Overheads in OpenMP. In: European Workshop on OpenMP (EWOMP), pp. 99\u2013105 (1999)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/122759.122767","volume-title":"The ACM\/ONR Workshop on Parallel and Distributed Debugging","author":"A. Dinning","year":"1991","unstructured":"Dinning, A., Schonberg, E.: Detecting Access Anomalies in Programs with Critical Sections. In: The ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 85\u201396. ACM Press, New York (1991)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/174266.174278","volume-title":"3rd ACM\/ONR Workshop on Parallel and Distributed Debugging","author":"Y. Jun","year":"1993","unstructured":"Jun, Y., Koh, K.: On-the-fly Detection of Access Anomalies in Nested Parallel Loops. In: 3rd ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 107\u2013117. ACM Press, New York (1993)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-73940-1_24","volume-title":"Parallel Computing Technologies","author":"Y. Kim","year":"2007","unstructured":"Kim, Y., Kang, M., Ha, O., Jun, Y.: Efficient Race Verification for Debugging Programs with OpenMP Directives. In: Malyshkin, V.E. (ed.) PaCT 2007. LNCS, vol.\u00a04671, pp. 230\u2013239. Springer, Heidelberg (2007)"},{"key":"13_CR6","first-page":"409","volume-title":"IEEE International Conference on Computer and Information Science","author":"Y. Kim","year":"2008","unstructured":"Kim, Y., Kim, D., Jun, Y.: An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs. In: IEEE International Conference on Computer and Information Science, pp. 409\u2013414. IEEE Press, New York (2008)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/125826.125861","volume-title":"The ACM\/IEEE conference on Supercomputing","author":"J.M. Mellor-Crummey","year":"1991","unstructured":"Mellor-Crummey, J.M.: On-the-fly Detection of Data Races for Programs with Nested Fork-Join Parallelism. In: The ACM\/IEEE conference on Supercomputing, pp. 24\u201333. ACM\/IEEE, New York (1991)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What Are Race Conditions? Some Issues and Formalizations. ACM Lett. Program. Lang. Syst.\u00a01(1), 74\u201388 (1992)","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"13_CR9","unstructured":"The OpenMP API specification for parallel programming, \n                  \n                    http:\/\/www.openmp.org"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-44587-0_7","volume-title":"OpenMP Shared Memory Parallel Programming","author":"S. Park","year":"2001","unstructured":"Park, S., Park, M., Jun, Y.: A Comparison of Scalable Labeling Schemes for Detecting Races in OpneMP Programs. In: Eigenmann, R., Voss, M.J. (eds.) WOMPAT 2001. LNCS, vol.\u00a02104, pp. 68\u201380. Springer, Heidelberg (2001)"},{"key":"13_CR11","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 Thread Checker. In: Voss, M.J. (ed.) WOMPAT 2003. LNCS, vol.\u00a02716, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47764-0_1","volume-title":"Static Analysis","author":"M. Rinard","year":"2001","unstructured":"Rinard, M.: Analysis of Multithreaded Programs. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, pp. 1\u201319. Springer, Heidelberg (2001)"},{"key":"13_CR13","unstructured":"SUN Microsystems, Inc.: Sun Studio 12: Thread Analyzer User\u2019s Guide (2007)"},{"key":"13_CR14","unstructured":"Terboven, C.: Comparing Intel Thread Checker and Sun Thread Analyzer. In: Minisymp. on Scalability and Usability of HPC Prog. Tools Workshop, Parallel Computing (ParCo), NIC, NIC Series, Juelich, vol.\u00a038, pp. 669\u2013676 (2007)"}],"container-title":["Communications in Computer and Information Science","Grid and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10549-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T21:45:42Z","timestamp":1558388742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10549-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642105487","9783642105494"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10549-4_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}