{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:30Z","timestamp":1763468010914,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_28","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"368-383","source":"Crossref","is-referenced-by-count":23,"title":["Efficient Data Race Detection for Async-Finish Parallelism"],"prefix":"10.1007","author":[{"given":"Raghavan","family":"Raman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jisheng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eran","family":"Yahav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Habanero Java, \n                    \n                      http:\/\/habanero.rice.edu\/hj"},{"key":"28_CR2","first-page":"229","volume-title":"SPAA 2007: Proceedings of the 19th symposium on Parallel algorithms and architectures","author":"S. Agarwal","year":"2007","unstructured":"Agarwal, S., Barik, R., Bonachea, D., Sarkar, V., Shyamasundar, R.K., Yelick, K.: Deadlock-free scheduling of X10 computations with bounded resources. In: SPAA 2007: Proceedings of the 19th symposium on Parallel algorithms and architectures, pp. 229\u2013240. ACM, New York (2007)"},{"key":"28_CR3","first-page":"735","volume-title":"OOPSLA 2009: Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications","author":"R. Barik","year":"2009","unstructured":"Barik, R., Budimlic, Z., Cave, V., Chatterjee, S., Guo, Y., Peixotto, D., Raman, R., Shirako, J., Tasirlar, S., Yan, Y., Zhao, Y., Sarkar, V.: The habanero multicore software research project. In: OOPSLA 2009: Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp. 735\u2013736. ACM, New York (2009)"},{"key":"28_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/PACT.2009.32","volume-title":"PACT 2009, Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques","author":"R. Barik","year":"2009","unstructured":"Barik, R., Sarkar, V.: Interprocedural Load Elimination for Dynamic Optimization of Parallel Programs. In: PACT 2009, Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques, Washington, DC, USA, pp. 41\u201352. IEEE Computer Society, Los Alamitos (September 2009), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/PACT.2009.32"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Blumofe, R.D., Joerg, C.F., Kuszmaul, B.C., Leiserson, C.E., Randall, K.H., Zhou, Y.: Cilk: an efficient multithreaded runtime system. In: Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP, pp. 207\u2013216 (October 1995)","DOI":"10.1145\/209937.209958"},{"issue":"5","key":"28_CR6","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1145\/324133.324234","volume":"46","author":"R.D. Blumofe","year":"1999","unstructured":"Blumofe, R.D., Leiserson, C.E.: Scheduling multithreaded computations by work stealing. J. ACM\u00a046(5), 720\u2013748 (1999)","journal-title":"J. ACM"},{"key":"28_CR7","unstructured":"Bocchino, R., Adve, V., Adve, S., Snir, M.: Parallel programming must be deterministic by default. In: First USENIX Workship on Hot Topics in Parallelism, HOTPAR 2009 (2009)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V.A., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: Proceedings of the Twentieth Annual ACM SIGPLAN Conference on Obj ect-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pp. 519\u2013538 (October 2005)","DOI":"10.1145\/1103845.1094852"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Cheng, G.-I., Feng, M., Leiserson, C.E., Randall, K.H., Stark, A.F.: Detecting data races in cilk programs that use locks. In: Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 1998), Puerto Vallarta, Mexico, June\u00a028\u2013July\u00a02, pp. 298\u2013309 (1998)","DOI":"10.1145\/277651.277696"},{"issue":"6","key":"28_CR10","doi-asserted-by":"publisher","first-page":"876","DOI":"10.1145\/945885.945892","volume":"25","author":"J.-D. Choi","year":"2003","unstructured":"Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Stack allocation and synchronization optimizations for Java using escape analysis. ACM Trans. Program. Lang. Syst.\u00a025(6), 876\u2013910 (2003), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/945885.945892","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Cooperating sequential processes, 65\u2013138","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"28_CR12","first-page":"1","volume-title":"SPAA 1997: Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures","author":"M. Feng","year":"1997","unstructured":"Feng, M., Leiserson, C.E.: Efficient detection of determinacy races in cilk programs. In: SPAA 1997: Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures, pp. 1\u201311. ACM, New York (1997)"},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/1542476.1542490","volume-title":"PLDI 2009: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation","author":"C. Flanagan","year":"2009","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. In: PLDI 2009: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, pp. 121\u2013133. ACM, New York (2009)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Larus, J.R., Rajwar, R.: Transactional Memory. Morgan and Claypool (2006)","DOI":"10.2200\/S00070ED1V01Y200611CAC002"},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/337449.337465","volume-title":"JAVA 2000: Proceedings of the ACM, conference on Java Grande","author":"D. Lea","year":"2000","unstructured":"Lea, D.: A java fork\/join framework. In: JAVA 2000: Proceedings of the ACM, conference on Java Grande, pp. 36\u201343. ACM, New York (2000)"},{"issue":"5","key":"28_CR16","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. Computer\u00a039(5), 33\u201342 (2006)","journal-title":"Computer"},{"key":"28_CR17","first-page":"25","volume-title":"PPoPP 2010: Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel computing","author":"J.K. Lee","year":"2010","unstructured":"Lee, J.K., Palsberg, J.: Featherweight x10: a core calculus for async-finish parallelism. In: PPoPP 2010: Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel computing, pp. 25\u201336. ACM, New York (2010)"},{"key":"28_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/1640089.1640106","volume-title":"OOPSLA 2009: Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications","author":"D. Leijen","year":"2009","unstructured":"Leijen, D., Schulte, W., Burckhardt, S.: The design of a task parallel library. In: OOPSLA 2009: Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, pp. 227\u2013242. ACM, New York (2009)"},{"key":"28_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/174266.171370","volume-title":"PADD 1993: Proceedings of the 1993 ACM\/ONR workshop on Parallel and distributed debugging","author":"J. Mellor-Crummey","year":"1993","unstructured":"Mellor-Crummey, J.: Compile-time support for efficient data race detection in shared-memory parallel programs. In: PADD 1993: Proceedings of the 1993 ACM\/ONR workshop on Parallel and distributed debugging, pp. 129\u2013139. ACM, New York (1993)"},{"key":"28_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-642-00590-9_28","volume-title":"Programming Languages and Systems","author":"C. Sadowski","year":"2009","unstructured":"Sadowski, C., Freund, S.N., Flanagan, C.: SingleTrack: A dynamic determinism checker for multithreaded programs. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 394\u2013409. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:13:56Z","timestamp":1558293236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}