{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:37:13Z","timestamp":1752982633774},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,3,13]],"date-time":"2012-03-13T00:00:00Z","timestamp":1331596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10703-012-0143-7","type":"journal-article","created":{"date-parts":[[2012,3,12]],"date-time":"2012-03-12T14:42:52Z","timestamp":1331563372000},"page":"321-347","source":"Crossref","is-referenced-by-count":15,"title":["Efficient data race detection for async-finish parallelism"],"prefix":"10.1007","volume":"41","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","published-online":{"date-parts":[[2012,3,13]]},"reference":[{"key":"143_CR1","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1145\/1248377.1248416","volume-title":"SPAA \u201907: 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 RK, Yelick K (2007) Deadlock-free scheduling of X10 computations with bounded resources. In: SPAA \u201907: Proceedings of the 19th symposium on parallel algorithms and architectures. ACM, New York, pp 229\u2013240"},{"key":"143_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/1229428.1229471","volume-title":"PPoPP \u201907: Proceedings of the 12th symposium on principles and practice of parallel programming","author":"S Agarwal","year":"2007","unstructured":"Agarwal S, Barik R, Sarkar V, Shyamasundar RK (2007) May-happen-in-parallel analysis of \u00d710 programs. In: PPoPP \u201907: Proceedings of the 12th symposium on principles and practice of parallel programming. ACM, New York, pp 183\u2013193"},{"key":"143_CR3","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1145\/1639950.1639989","volume-title":"OOPSLA \u201909: 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 (2009) The habanero multicore software research project. In: OOPSLA \u201909: Proceeding of the 24th ACM SIGPLAN conference companion on object oriented programming systems languages and applications, New York, NY, USA. ACM, New York, pp 735\u2013736"},{"key":"143_CR4","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/209936.209958","volume-title":"Proceedings of the fifth ACM SIGPLAN symposium on principles and practice of parallel programming, PPoPP","author":"RD Blumofe","year":"1995","unstructured":"Blumofe RD, Joerg CF, Kuszmaul BC, Leiserson CE, Randall KH, Zhou Y (1995) Cilk: an efficient multithreaded runtime system. In: Proceedings of the fifth ACM SIGPLAN symposium on principles and practice of parallel programming, PPoPP, Oct 1995, pp 207\u2013216"},{"issue":"5","key":"143_CR5","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1145\/324133.324234","volume":"46","author":"RD Blumofe","year":"1999","unstructured":"Blumofe RD, Leiserson CE (1999) Scheduling multithreaded computations by work stealing. J ACM 46(5):720\u2013748","journal-title":"J ACM"},{"key":"143_CR6","volume-title":"First USENIX workship on hot topics in parallelism (HOTPAR 2009)","author":"R Bocchino","year":"2009","unstructured":"Bocchino R, Adve V, Adve S, Snir M (2009) Parallel programming must be deterministic by default. In: First USENIX workship on hot topics in parallelism (HOTPAR 2009)"},{"key":"143_CR7","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/978-3-642-16612-9_8","volume-title":"1st international conference on runtime verification (RV)","author":"E Bodden","year":"2010","unstructured":"Bodden E, Lam P, Hendren L (2010) Clara: a framework for statically evaluating finite-state runtime monitors. In: 1st international conference on runtime verification (RV), Nov 2010. LNCS, vol 6418. Springer, Berlin, pp 74\u201388"},{"key":"143_CR8","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/1094811.1094852","volume-title":"Proceedings of the twentieth annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA","author":"P Charles","year":"2005","unstructured":"Charles P, Grothoff C, Saraswat VA, Donawa C, Kielstra A, Ebcioglu K, von Praun C, Sarkar V (2005) X10: an object-oriented approach to non-uniform cluster computing. In: Proceedings of the twentieth annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA, Oct, pp 519\u2013538"},{"key":"143_CR9","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1145\/277651.277696","volume-title":"Proceedings of the tenth annual ACM symposium on parallel algorithms and architectures (SPAA\u00a0\u201998)","author":"G-I Cheng","year":"1998","unstructured":"Cheng G-I, Feng M, Leiserson CE, Randall KH, Stark AF (1998) Detecting data races in Cilk programs that use locks. In: Proceedings of the tenth annual ACM symposium on parallel algorithms and architectures (SPAA\u00a0\u201998), Puerto Vallarta, Mexico, June 28\u2013July 2 1998, pp 298\u2013309"},{"key":"143_CR10","doi-asserted-by":"crossref","unstructured":"Dijkstra EW Cooperating sequential processes. 65\u2013138","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"143_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/258492.258493","volume-title":"SPAA \u201997: proceedings of the ninth annual ACM symposium on parallel algorithms and architectures","author":"M Feng","year":"1997","unstructured":"Feng M, Leiserson CE (1997) Efficient detection of determinacy races in Cilk programs. In: SPAA \u201997: proceedings of the ninth annual ACM symposium on parallel algorithms and architectures. ACM, New York, pp 1\u201311"},{"key":"143_CR12","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/1542476.1542490","volume-title":"PLDI \u201909: proceedings of the 2009 ACM SIGPLAN conference on programming language design and implementation","author":"C Flanagan","year":"2009","unstructured":"Flanagan C, Freund SN (2009) Fasttrack: efficient and precise dynamic race detection. In: PLDI \u201909: proceedings of the 2009 ACM SIGPLAN conference on programming language design and implementation. ACM, New York, pp 121\u2013133"},{"key":"143_CR13","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1145\/277650.277725","volume-title":"PLDI\u201998","author":"M Frigo","year":"1998","unstructured":"Frigo M, Leiserson CE, Randall KH (1998) The implementation of the Cilk-5 multithreaded language. In: PLDI\u201998, NY, USA, 1998. ACM, New York, pp 212\u2013223"},{"key":"143_CR14","first-page":"1","volume-title":"IPDPS \u201909: proceedings of the international symposium on parallel&distributed processing","author":"Y Guo","year":"2009","unstructured":"Guo Y, Barik R, Raman R, Sarkar V (2009) Work-first and help-first scheduling policies for async-finish task parallelism. In: IPDPS \u201909: proceedings of the international symposium on parallel&distributed processing. IEEE Computer Society, Washington, pp 1\u201312"},{"key":"143_CR15","unstructured":"Habanero Java http:\/\/habanero.rice.edu\/hj"},{"key":"143_CR16","volume-title":"Transactional memory","author":"JR Larus","year":"2006","unstructured":"Larus JR, Rajwar R (2006) Transactional memory. Morgan and Claypool, San Francisco"},{"key":"143_CR17","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/337449.337465","volume-title":"JAVA \u201900: proceedings of the ACM 2000 conference on Java Grande","author":"D Lea","year":"2000","unstructured":"Lea D (2000) A java fork\/join framework. In: JAVA \u201900: proceedings of the ACM 2000 conference on Java Grande. ACM, New York, pp 36\u201343"},{"issue":"5","key":"143_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"EA Lee","year":"2006","unstructured":"Lee EA (2006) The problem with threads. Computer 39(5):33\u201342","journal-title":"Computer"},{"key":"143_CR19","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1693453.1693459","volume-title":"PPoPP \u201910: proceedings of the 15th ACM SIGPLAN symposium on principles and practice of parallel computing","author":"JK Lee","year":"2010","unstructured":"Lee JK, Palsberg J (2010) Featherweight \u00d710: a\u00a0core calculus for async-finish parallelism. In: PPoPP \u201910: proceedings of the 15th ACM SIGPLAN symposium on principles and practice of parallel computing. ACM, New York, pp 25\u201336"},{"key":"143_CR20","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/1640089.1640106","volume-title":"OOPSLA \u201909: 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 (2009) The design of a task parallel library. In: OOPSLA \u201909: proceeding of the 24th ACM SIGPLAN conference on object oriented programming systems languages and applications. ACM, New York, pp 227\u2013242"},{"key":"143_CR21","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/174266.171370","volume-title":"PADD \u201993: proceedings of the 1993 ACM\/ONR workshop on parallel and distributed debugging","author":"J Mellor-Crummey","year":"1993","unstructured":"Mellor-Crummey J (1993) Compile-time support for efficient data race detection in shared-memory parallel programs. In: PADD \u201993: proceedings of the 1993 ACM\/ONR workshop on parallel and distributed debugging, New York, NY, USA, 1993. ACM, New York, pp 129\u2013139"},{"key":"143_CR22","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/1869459.1869483","volume-title":"Proceedings of the ACM international conference on object oriented programming systems languages and applications","author":"R Purandare","year":"2010","unstructured":"Purandare R, Dwyer MB, Elbaum S (2010) Monitor optimization via stutter-equivalent loop transformation. In: Proceedings of the ACM international conference on object oriented programming systems languages and applications, New York, NY, USA, 2010, OOPSLA \u201910. ACM, New York, pp 270\u2013285"},{"key":"143_CR23","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","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 SN, Flanagan C (2009) SingleTrack: A dynamic determinism checker for multithreaded programs. In: Programming languages and systems. Lecture notes in computer science, vol 5502. Springer, Berlin, pp 394\u2013409"},{"key":"143_CR24","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/321879.321884","volume":"22","author":"RE Tarjan","year":"1975","unstructured":"Tarjan RE (1975) Efficiency of a good but not linear set union algorithm. J ACM 22:215\u2013225","journal-title":"J ACM"},{"key":"143_CR25","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970265","volume-title":"Data structures and network algorithms","author":"RE Tarjan","year":"1983","unstructured":"Tarjan RE (1983) Data structures and network algorithms. Society for Industrial and Applied Mathematics, Philadelphia"},{"key":"143_CR26","first-page":"125","volume-title":"Proceedings of CASCON 1999","author":"R Vall\u00e9e-Rai","year":"1999","unstructured":"Vall\u00e9e-Rai R et al. (1999) Soot\u2014a Java optimization framework. In: Proceedings of CASCON 1999, pp 125\u2013135"},{"key":"143_CR27","first-page":"333","volume-title":"VMIL\u201911","author":"J Zhao","year":"2011","unstructured":"Zhao J, Sarkar V (2011) Intermediate language extensions for parallelism. In: VMIL\u201911, pp 333\u2013334"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0143-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-012-0143-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0143-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,21]],"date-time":"2024-04-21T09:43:45Z","timestamp":1713692625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-012-0143-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,13]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["143"],"URL":"https:\/\/doi.org\/10.1007\/s10703-012-0143-7","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,13]]}}}