{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T23:45:13Z","timestamp":1783035913346,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642272066","type":"print"},{"value":"9783642272073","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_47","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T14:05:35Z","timestamp":1322834735000},"page":"424-436","source":"Crossref","is-referenced-by-count":4,"title":["Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism"],"prefix":"10.1007","author":[{"given":"Ok-Kyoon","family":"Ha","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"10","key":"47_CR1","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1109\/32.637147","volume":"23","author":"K. Audenaert","year":"1997","unstructured":"Audenaert, K.: Clock trees: logical clocks for programs with nested parallelism. IEEE Transactions on Software Engineering\u00a023(10), 646\u2013658 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"Audenaert, K., D\u2019Hollander, E., Joubert, F., Trottenberg, F.: Maintaining Concurrency Information for On-the-fly Data Race Detection. Advances in Parallel Computing, 319\u2013326 (1998)","DOI":"10.1016\/S0927-5452(98)80039-7"},{"key":"47_CR3","unstructured":"Baldoni, R., Klusch, M.: Fundamentals of distributed computing: A practical tour of vector clock systems. IEEE Distributed Systems Online 3 (February 2002)"},{"key":"47_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1147403.1147416","volume-title":"Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD 2006","author":"U. Banerjee","year":"2006","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 2006, pp. 69\u201378. ACM, New York (2006)"},{"key":"47_CR5","first-page":"133","volume-title":"Proceedings of the 16th Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2004","author":"M.A. Bender","year":"2004","unstructured":"Bender, M.A., Fineman, J.T., Gilbert, S., Leiserson, C.E.: On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs. In: Proceedings of the 16th Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2004, pp. 133\u2013144. ACM, New York (2004)"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"B\u00fccker, H.M., Rasch, A., Wolf, A.: A class of openmp applications involving nested parallelism. In: Proc. of the 2004 ACM Symp. on Applied Comput., SAC 2004, pp. 220\u2013224. ACM, New York (2004)","DOI":"10.1145\/967900.967948"},{"key":"47_CR7","first-page":"1","volume-title":"Proceedings of the 2nd ACM SIGPLAN Symposium on Principles & Practice of Parallel Prog., PPOPP 1990","author":"A. Dinning","year":"1990","unstructured":"Dinning, A., Schonberg, E.: An empirical comparison of monitoring algorithms for access anomaly detection. In: Proceedings of the 2nd ACM SIGPLAN Symposium on Principles & Practice of Parallel Prog., PPOPP 1990, pp. 1\u201310. ACM, New York (1990)"},{"key":"47_CR8","first-page":"244","volume-title":"Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing","author":"A.J. Dorta","year":"2005","unstructured":"Dorta, A.J., Rodriguez, C., Sande, F.D., Gonzalez-Escribano, A.: The openmp source code repository. In: Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing, pp. 244\u2013250. IEEE Computer Society, Washington, DC, USA (2005)"},{"key":"47_CR9","first-page":"286","volume-title":"Proceedings of the 17th International Symposium on Parallel and Distributed Processing, IPDPS 2003","author":"E. Farchi","year":"2003","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: Proceedings of the 17th International Symposium on Parallel and Distributed Processing, IPDPS 2003, p. 286. IEEE Computer Society, Washington, DC, USA (2003)"},{"key":"47_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/1542476.1542490","volume-title":"Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009","author":"C. Flanagan","year":"2009","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, pp. 121\u2013133. ACM, New York (2009)"},{"key":"47_CR11","first-page":"1","volume-title":"Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2008","author":"A. Jannesari","year":"2008","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 2008, pp. 6:1\u20136:10. ACM, New York (2008)"},{"key":"47_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/174266.174278","volume-title":"Proceedings of the 1993 ACM\/ONR Workshop on Parallel and Distributed Debugging, PADD 1993","author":"Y.K. Jun","year":"1993","unstructured":"Jun, Y.K., Koh, K.: On-the-fly detection of access anomalies in nested parallel loops. In: Proceedings of the 1993 ACM\/ONR Workshop on Parallel and Distributed Debugging, PADD 1993, pp. 107\u2013117. ACM, New York (1993)"},{"key":"47_CR13","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/ICPP.2009.19","volume-title":"Proceedings of the 2009 International Conference on Parallel Processing, ICPP 2009","author":"A. Kejariwal","year":"2009","unstructured":"Kejariwal, A., Nicolau, A., Veidenbaum, A.V., Banerjee, U., Polychronopoulos, C.D.: Efficient scheduling of nested parallel loops on multi-core systems. In: Proceedings of the 2009 International Conference on Parallel Processing, ICPP 2009, pp. 74\u201383. IEEE Computer Society, Washington, DC, USA (2009)"},{"key":"47_CR14","unstructured":"Kim, D.G., Jun, Y.K.: Space-efficient on-the-fly race detection for programs with nested parallelism. In: Parallel and Distributed Systems, pp. 245\u2013250 (1997)"},{"key":"47_CR15","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\u00a021, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"47_CR16","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/125826.125861","volume-title":"Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing, Supercomputing 1991","author":"J. Mellor-Crummey","year":"1991","unstructured":"Mellor-Crummey, J.: On-the-fly detection of data races for programs with nested fork-join parallelism. In: Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing, Supercomputing 1991, pp. 24\u201333. ACM, New York (1991)"},{"key":"47_CR17","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, 74\u201388 (1992)","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"47_CR18","unstructured":"Nudler, I., Rudolph, L.: Tools for the efficient development of efficient parallel programs. In: Proceedings of 1st Israeli Conference on Computer System Engineering. IEEE (1988)"},{"key":"47_CR19","first-page":"167","volume-title":"Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2003","author":"R. O\u2019Callahan","year":"2003","unstructured":"O\u2019Callahan, R., Choi, J.D.: Hybrid dynamic data race detection. In: Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2003, pp. 167\u2013178. ACM, New York (2003)"},{"key":"47_CR20","doi-asserted-by":"publisher","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.\u00a017, 133\u2013152 (1999)","journal-title":"ACM Trans. Comput. Syst."},{"key":"47_CR21","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.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015, 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T05:40:53Z","timestamp":1561009253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_47","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}