{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:10Z","timestamp":1750220350015,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T00:00:00Z","timestamp":1625529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-1733873, CCF-1910568, CCF-1943456, CCF-1725647, CCF-1439062, CCF-1533644"],"award-info":[{"award-number":["CCF-1733873, CCF-1910568, CCF-1943456, CCF-1725647, CCF-1439062, CCF-1533644"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,6]]},"DOI":"10.1145\/3409964.3461815","type":"proceedings-article","created":{"date-parts":[[2021,6,30]],"date-time":"2021-06-30T23:07:02Z","timestamp":1625094422000},"page":"398-409","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Parallel Determinacy Race Detection for Structured Futures"],"prefix":"10.1145","author":[{"given":"Yifan","family":"Xu","sequence":"first","affiliation":[{"name":"Washington University in St. Louis, St. Louis, MO, USA"}]},{"given":"Kunal","family":"Agrawal","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis, St. Louis, MO, USA"}]},{"given":"I-Ting Angelina","family":"Lee","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis, St. Louis, MO, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611975031.11"},{"key":"e_1_3_2_1_2_1","volume-title":"Thread Scheduling for Multiprogrammed Multiprocessors. Theory of Computing Systems","author":"Arora Nimar S.","year":"2001","unstructured":"Nimar S. Arora , Robert D. Blumofe , and C. Greg Plaxton . 2001. Thread Scheduling for Multiprogrammed Multiprocessors. Theory of Computing Systems ( 2001 ), 115-- 144. Nimar S. Arora, Robert D. Blumofe, and C. Greg Plaxton. 2001. Thread Scheduling for Multiprogrammed Multiprocessors. Theory of Computing Systems (2001), 115-- 144."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1639989"},{"volume-title":"On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs. In 16th Annual ACM Symposium on Parallel Algorithms and Architectures. 133--144","author":"Bender Michael A.","key":"e_1_3_2_1_4_1","unstructured":"Michael A. Bender , Jeremy T. Fineman , Seth Gilbert , and Charles E. Leiserson . 2004 . On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs. In 16th Annual ACM Symposium on Parallel Algorithms and Architectures. 133--144 . Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, and Charles E. Leiserson. 2004. On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs. In 16th Annual ACM Symposium on Parallel Algorithms and Architectures. 133--144."},{"key":"e_1_3_2_1_5_1","volume-title":"Jaswinder Pal Singh, and Kai Li","author":"Bienia Christian","year":"2008","unstructured":"Christian Bienia , Sanjeev Kumar , Jaswinder Pal Singh, and Kai Li . 2008 . The PARSEC Benchmark Suite: Characterization and Architectural Implications. In PACT. ACM , 72--81. Christian Bienia, Sanjeev Kumar, Jaswinder Pal Singh, and Kai Li. 2008. The PARSEC Benchmark Suite: Characterization and Architectural Implications. In PACT. ACM, 72--81."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093165"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","key":"e_1_3_2_1_10_1","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . 2009. Introduction to Algorithms ( third ed.). The MIT Press . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms (third ed.). The MIT Press."},{"key":"e_1_3_2_1_11_1","first-page":"2","article-title":"Programming with exceptions in JCilk","volume":"63","author":"Danaher John S.","year":"2008","unstructured":"John S. Danaher , I- Ting Angelina Lee , and Charles E. Leiserson . 2008 . Programming with exceptions in JCilk . Science of Computer Programming 63 , 2 (Dec. 2008), 147--171. John S. Danaher, I-Ting Angelina Lee, and Charles E. Leiserson. 2008. Programming with exceptions in JCilk. Science of Computer Programming 63, 2 (Dec. 2008), 147--171.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755573.2755601"},{"volume-title":"Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA). 1--11","author":"Feng Mingdong","key":"e_1_3_2_1_13_1","unstructured":"Mingdong Feng and Charles E. Leiserson . 1997. Efficient Detection of Determinacy Races in Cilk Programs . In Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA). 1--11 . Mingdong Feng and Charles E. Leiserson. 1997. Efficient Detection of Determinacy Races in Cilk Programs. In Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA). 1--11."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002240000120"},{"volume-title":"Provably Good Race Detection That Runs in Parallel. Master's thesis","author":"Fineman Jeremy T.","key":"e_1_3_2_1_15_1","unstructured":"Jeremy T. Fineman . 2005. Provably Good Race Detection That Runs in Parallel. Master's thesis . Massachusetts Institute of Technology , Department of Electrical Engineering and Computer Science, Cambridge, MA. Jeremy T. Fineman. 2005. Provably Good Race Detection That Runs in Parallel. Master's thesis. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, Cambridge, MA."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000201"},{"volume-title":"Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. ACM, 212-- 223","author":"Frigo Matteo","key":"e_1_3_2_1_17_1","unstructured":"Matteo Frigo , Charles E. Leiserson , and Keith H. Randall . 1998. The Implementation of the Cilk-5 Multithreaded Language . In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. ACM, 212-- 223 . Matteo Frigo, Charles E. Leiserson, and Keith H. Randall. 1998. The Implementation of the Cilk-5 Multithreaded Language. In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. ACM, 212-- 223."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555257"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_25"},{"key":"e_1_3_2_1_21_1","unstructured":"Intel Corporation 2012. Intel(R) Threading Building Blocks. Intel Corporation. Available from http:\/\/software.intel.com\/sites\/products\/documentation\/doclib\/ tbb_sa\/help\/index.htm.  Intel Corporation 2012. Intel(R) Threading Building Blocks. Intel Corporation. Available from http:\/\/software.intel.com\/sites\/products\/documentation\/doclib\/ tbb_sa\/help\/index.htm."},{"volume-title":"Version 1.1","author":"Intel Corporation 2013.","key":"e_1_3_2_1_22_1","unstructured":"Intel Corporation 2013. Intel\u00ae Cilk Plus Language Extension Specification , Version 1.1 . Intel Corporation . Document 324396-002US. Available from http:\/\/cilkplus. org\/sites\/default\/files\/open_specifications\/Intel_Cilk_plus_lang_spec_2.htm. Intel Corporation 2013. Intel\u00ae Cilk Plus Language Extension Specification, Version 1.1. Intel Corporation. Document 324396-002US. Available from http:\/\/cilkplus. org\/sites\/default\/files\/open_specifications\/Intel_Cilk_plus_lang_spec_2.htm."},{"key":"e_1_3_2_1_23_1","volume-title":"Leiserson","author":"Lee Ting Angelina","year":"2010","unstructured":"I- Ting Angelina Lee , Silas Boyd-Wickizer , Zhiyi Huang , and Charles E . Leiserson . 2010 . Using Memory Mapping to Support Cactus Stacks in Work-Stealing Runtime Systems. In PACT. ACM , 411--420. I-Ting Angelina Lee, Silas Boyd-Wickizer, Zhiyi Huang, and Charles E. Leiserson. 2010. Using Memory Mapping to Support Cactus Stacks in Work-Stealing Runtime Systems. In PACT. ACM, 411--420."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-010-0405-3"},{"volume-title":"Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '14)","author":"Lu Li","key":"e_1_3_2_1_25_1","unstructured":"Li Lu , Weixing Ji , and Michael L. Scott . 2014. Dynamic Enforcement of Determinism in a Parallel Scripting Language . In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '14) . ACM, Edinburgh, United Kingdom, 519--529. Li Lu, Weixing Ji, and Michael L. Scott. 2014. Dynamic Enforcement of Determinism in a Parallel Scripting Language. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '14). ACM, Edinburgh, United Kingdom, 519--529."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386013"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the First Israeli Conference on Computer Systems Engineering.","author":"Nudler Itzhak","year":"1986","unstructured":"Itzhak Nudler and Larry Rudolph . 1986 . Tools for the Efficient Development of Efficient Parallel Programs . In Proceedings of the First Israeli Conference on Computer Systems Engineering. Itzhak Nudler and Larry Rudolph. 1986. Tools for the Efficient Development of Efficient Parallel Programs. In Proceedings of the First Israeli Conference on Computer Systems Engineering."},{"key":"e_1_3_2_1_30_1","unstructured":"OpenMP 4.0 2013. OpenMP Application Program Interface Version 4.0.  OpenMP 4.0 2013. OpenMP Application Program Interface Version 4.0."},{"key":"e_1_3_2_1_31_1","series-title":"Lecture Notes in Computer Science","volume-title":"Efficient Data Race Detection for Async-Finish Parallelism","author":"Raman Raghavan","unstructured":"Raghavan Raman , Jisheng Zhao , Vivek Sarkar , Martin Vechev , and Eran Yahav . 2010. Efficient Data Race Detection for Async-Finish Parallelism . In Runtime Verification, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, and Nikolai Tillmann (Eds.). Lecture Notes in Computer Science , Vol. 6418 . Springer Berlin \/ Heidelberg , 368-- 383. Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, and Eran Yahav. 2010. Efficient Data Race Detection for Async-Finish Parallelism. In Runtime Verification, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, and Nikolai Tillmann (Eds.). Lecture Notes in Computer Science, Vol. 6418. Springer Berlin \/ Heidelberg, 368-- 383."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254127"},{"volume-title":"Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism","author":"Reinders James","key":"e_1_3_2_1_33_1","unstructured":"James Reinders . 2007. Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism . O'Reilly Media, Inc. James Reinders. 2007. Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O'Reilly Media, Inc."},{"volume-title":"Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, 465--477","author":"Singer Kyle","key":"e_1_3_2_1_34_1","unstructured":"Kyle Singer , Noah Goldstein , Stefan K. Muller , Kunal Agrawal , I- Ting Angelina Lee , and Umut A. Acar . 2020. Priority Scheduling for Interactive Applications . In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, 465--477 . Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar. 2020. Priority Scheduling for Interactive Applications. In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, 465--477."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295735"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1583991.1584019"},{"volume-title":"Dynamic Determinacy Race Detection for Task Parallelism with Futures","author":"Surendran Rishi","key":"e_1_3_2_1_37_1","unstructured":"Rishi Surendran and Vivek Sarkar . 2016. Dynamic Determinacy Race Detection for Task Parallelism with Futures . Springer International Publishing , Cham , 368--385. Rishi Surendran and Vivek Sarkar. 2016. Dynamic Determinacy Race Detection for Task Parallelism with Futures. Springer International Publishing, Cham, 368--385."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145850"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2935764.2935801"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295732"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178487.3178515"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332466.3374536"}],"event":{"name":"SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGARCH ACM Special Interest Group on Computer Architecture","EATCS European Association for Theoretical Computer Science"],"location":"Virtual Event USA","acronym":"SPAA '21"},"container-title":["Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3409964.3461815","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3409964.3461815","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3409964.3461815","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3409964.3461815","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:08Z","timestamp":1750191428000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3409964.3461815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,6]]},"references-count":42,"alternative-id":["10.1145\/3409964.3461815","10.1145\/3409964"],"URL":"https:\/\/doi.org\/10.1145\/3409964.3461815","relation":{},"subject":[],"published":{"date-parts":[[2021,7,6]]},"assertion":[{"value":"2021-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}