{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T22:29:12Z","timestamp":1673130552760},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"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":[[2014,12]]},"DOI":"10.1007\/s10766-013-0257-6","type":"journal-article","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T18:51:21Z","timestamp":1374691881000},"page":"900-930","source":"Crossref","is-referenced-by-count":2,"title":["VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs"],"prefix":"10.1007","volume":"42","author":[{"given":"Young-Joo","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sejun","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,25]]},"reference":[{"issue":"10","key":"257_CR1","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1109\/32.637147","volume":"23","author":"K Audenaert","year":"1997","unstructured":"Audenaert, K.: Clock trees: logical clocks for programms with nested parallelism. IEEE Trans. Softw. Eng. 23(10), 646\u2013658 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"257_CR2","doi-asserted-by":"crossref","unstructured":"Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A theory of data race detection. In: Proceedings of Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), pp. 69\u201378. ACM, Portland, USA, July 2006","DOI":"10.1145\/1147403.1147416"},{"key":"257_CR3","doi-asserted-by":"crossref","unstructured":"Callahan, D., Kennedy, K., Subholk, J.: Analysis of event synchronization in a parallel programming tool. In: 2nd Symposium on Principles and Practice of Parallel Programming, pp. 21\u201330. ACM, March 1990","DOI":"10.1145\/99164.99167"},{"key":"257_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Min, S.L.: Race Fronitor: reproducing data races in parallel program debugging. In: 3rd Symposium on Priciple and Practice of Prallel Programming, pp. 145\u2013154. ACM, April 1991","DOI":"10.1145\/109626.109641"},{"key":"257_CR5","doi-asserted-by":"crossref","unstructured":"Choi, J., Lee, K., Loginov, A., O\u2019Callahan, R., et al.: Efficient and precise datarace detection for multithreaded object-oriented program. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, ACM, June 2002","DOI":"10.1145\/512557.512560"},{"issue":"1","key":"257_CR6","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/99.660313","volume":"5","author":"L Dagum","year":"1998","unstructured":"Dagum, L., Menon, R.: OpenMP: an industry-standard API for shared memory programming. IEEE Comput. Sci. Eng. 5(1), 46\u201355 (1998)","journal-title":"IEEE Comput. Sci. Eng."},{"key":"257_CR7","doi-asserted-by":"crossref","unstructured":"Dinning, A., Schonberg, E.: An empirical comparison of monitoring algorithms for access anomaly detection. In: 2nd Symposium on Principles and Practice of Parallel Programming, pp. 1\u201310. ACM, March 1990","DOI":"10.1145\/99164.99165"},{"key":"257_CR8","doi-asserted-by":"crossref","unstructured":"Dinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. In: 2nd Workshop on Parallel and Distributed Debugging, pp. 85\u201396. ACM, May 1991","DOI":"10.1145\/127695.122767"},{"key":"257_CR9","unstructured":"Ha, K., Jun, Y., Yoo, K.: Efficient on-the-fly detection of first races in nested parallel programs. In: Proceedings of Workshop on State-of-the-Art in Scientific Computing (PARA), pp. 75\u201384, Copenhagen, Denmark, June 2004"},{"key":"257_CR10","unstructured":"Harkness, J.: Extending the EPCC OpenMP microbenchmarks for OpenMP 3.0. MSc in High Performance Computing, The University of Edinburgh (2010)"},{"key":"257_CR11","unstructured":"Intel Corp.: Getting started with the Intel C++ Compiler 11.0 for Windows. 2200 Mission College Blvd., Santa Clara, CA 95052\u20138119, USA (2009)"},{"key":"257_CR12","unstructured":"Intel Corp.: Intel Thread Checker 3.1 for Windows Release Notes, 2200 Mission College Blvd., Santa Clara, CA 95052\u20138119, USA (2007)"},{"key":"257_CR13","unstructured":"Jin, H., Frumkin, M., Yan, J.: The OpenMP implementation of NAS parallel benchmarks and its performance. NAS Technical, Report NAS-99-011 October 1999"},{"key":"257_CR14","doi-asserted-by":"crossref","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, May 1993","DOI":"10.1145\/174267.174278"},{"key":"257_CR15","doi-asserted-by":"crossref","unstructured":"Jun, Y., McDowell, C.E.: Scalable monitoring technique for detecting races in parallel programs. In: Proceedings of the 5th IEEE International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), IEEE. Lecture Notes in Computer Science, vol. 1800, pp. 340\u2013347. Springer, Cancun, Mexico, May 2000","DOI":"10.1007\/3-540-45591-4_44"},{"key":"257_CR16","doi-asserted-by":"crossref","unstructured":"Kulkarni, M., Burtscher, M., Inkulu, R., Pingali, K., Cascaval, C.: How much parallelism is there in irregular application? ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. vol. 44, no. 4, pp. 3\u201314. ACM, USA, Feb 2009","DOI":"10.1145\/1594835.1504181"},{"key":"257_CR17","doi-asserted-by":"crossref","unstructured":"Kim, J., Jun, Y.: Scalable on-the-fly detection of the first races in parallel programs. In: Proceedings of the 12nd International Conference on Supercomputing (ICS), pp. 345\u2013352. ACM, Melbourne, Australia, July 1998","DOI":"10.1145\/277830.277914"},{"key":"257_CR18","doi-asserted-by":"crossref","unstructured":"Kim, Y, D. Kim, Jun, Y.: An empirical analysis of Intel Thread Checker for detecting races in OpenMP programs. In: International Conference on Computer and Information Science (ICIS), pp. 409\u2013414. IEEE, Portland, USA, May 2008","DOI":"10.1109\/ICIS.2008.79"},{"issue":"7","key":"257_CR19","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. Communications of the ACM 21(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"issue":"3","key":"257_CR20","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1016\/0743-7315(89)90004-X","volume":"6","author":"CE McDowell","year":"1989","unstructured":"McDowell, C.E.: A practical algorithm for static analysis of parallel programs. Jounal of Parallel and Distributed Computing 6(3), 515\u2013536 (1989)","journal-title":"Jounal of Parallel and Distributed Computing"},{"key":"257_CR21","doi-asserted-by":"crossref","unstructured":"Mellor-Crummey, J.M.: On-the-fly detection of data races for programs with nested fork-join parallelism. Supercomputing, pp. 24\u201333. ACM\/IEEE, Nov 1991","DOI":"10.1145\/125826.125861"},{"issue":"1","key":"257_CR22","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"RHB Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions? Some issues and formalizations. ACM Letters on Programming Languages and Systems 1(1), 74\u201388 (1992)","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"257_CR23","unstructured":"Nudler, I., Rudolph, L.: Tools for the efficient development of efficient parallel programs. In: 1st Israeli Conference on Computer System Engineering (1986)"},{"key":"257_CR24","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan, R., Choi, J.: Hybrid dynamic data race detection. In: Proceedings of ACM SIGPLAN Symp. on Priciple and Practice of Parallel Programming (PPoPP). ACM, San Diego, California, June 2003","DOI":"10.1145\/781498.781528"},{"key":"257_CR25","unstructured":"OpenMP Architecture Review Board, OpenMP Application Programs Interface, Version 3.0, May 2007"},{"key":"257_CR26","doi-asserted-by":"crossref","unstructured":"Park, H., Jun, Y.: Two-pass on-the-fly detection of the first races in shared-memory parallel programs. In: Proceedings of the 2nd Symposium on Parallel and Distributed Tools (SPDT). ACM, Welches, Oregon, August 1998","DOI":"10.1145\/281035.281060"},{"key":"257_CR27","doi-asserted-by":"crossref","unstructured":"Park, S., Park, M., Jun, Y.: A comparision of scalable labeling schemes for detecting races in OpenMP programs. In: International Workshop on OpenMP Applications and Tools (Wompat), pp. 66\u201380, West lafayette, Indiana, July 2001","DOI":"10.1007\/3-540-44587-0_7"},{"key":"257_CR28","doi-asserted-by":"crossref","unstructured":"Petersen, P., Shah, S.: OpenMP support in the Intel Thread Checker. In: Proceedings of the International Workshop on OpenMP Application and Tools (WOMPAT), Berlin Heidelberg. Lecture Notes in Computer Science, vol. 2716, pp. 1\u201312. Springer (2003)","DOI":"10.1007\/3-540-45009-2_1"},{"key":"257_CR29","doi-asserted-by":"crossref","unstructured":"Ramanujam, J., Mathew, A.: Analysis of event synchronization in parallel programs. In: Pingali, K. et al. (eds.) Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science, vol. 892, pp. 300\u2013315. Springer (1995)","DOI":"10.1007\/BFb0025886"},{"key":"257_CR30","doi-asserted-by":"crossref","unstructured":"Ratanaworabhan, P., Burtscher, M., Kirovski, D., Nagpal, R., Pattabiraman, K., Zorn, B.: Detecting and tolerating asymmetric races. In: ACM Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), vol. 44, no. 4, pp. 173\u2013184 (2009)","DOI":"10.1145\/1594835.1504202"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0257-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-013-0257-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0257-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T08:40:37Z","timestamp":1563525637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-013-0257-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,25]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["257"],"URL":"https:\/\/doi.org\/10.1007\/s10766-013-0257-6","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,25]]}}}