{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:08Z","timestamp":1772164088683,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["ERC-2012-StG-308246"],"award-info":[{"award-number":["ERC-2012-StG-308246"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1320563, CCF-1408940, CCF-1629444"],"award-info":[{"award-number":["CCF-1320563, CCF-1408940, CCF-1629444"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006112","name":"Microsoft Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006112","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,14]]},"DOI":"10.1145\/3062341.3062370","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"677-692","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Responsive parallel computation: bridging competitive and cooperative threading"],"prefix":"10.1145","author":[{"given":"Stefan K.","family":"Muller","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA \/ Inria, France"}]},{"given":"Robert","family":"Harper","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The data locality of work stealing. Theory of Computing Systems (TOCS), 35(3):321\u2013347","author":"Acar U. A.","year":"2002","unstructured":"U. A. Acar , G. E. Blelloch , and R. D. Blumofe . The data locality of work stealing. Theory of Computing Systems (TOCS), 35(3):321\u2013347 , 2002 . U. A. Acar, G. E. Blelloch, and R. D. Blumofe. The data locality of work stealing. Theory of Computing Systems (TOCS), 35(3):321\u2013347, 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442538"},{"key":"e_1_3_2_1_3_1","volume-title":"Oracle-guided scheduling for controlling granularity in implicitly parallel languages. Journal of Functional Programming (JFP), 26:e23","author":"Acar U. A.","year":"2016","unstructured":"U. A. Acar , A. Chargu\u00e9raud , and M. Rainey . Oracle-guided scheduling for controlling granularity in implicitly parallel languages. Journal of Functional Programming (JFP), 26:e23 , 2016 . U. A. Acar, A. Chargu\u00e9raud, and M. Rainey. Oracle-guided scheduling for controlling granularity in implicitly parallel languages. Journal of Functional Programming (JFP), 26:e23, 2016."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-001-0004-z"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1816000"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224210"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232650"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1038"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/301970.301974"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793259471"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_14_1","first-page":"57","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Boyd-Wickizer S.","year":"2008","unstructured":"S. Boyd-Wickizer , H. Chen , R. Chen , Y. Mao , F. Kaashoek , R. Morris , A. Pesterev , L. Stein , M. Wu , Y. Dai , Y. Zhang , and Z. Zhang . Corey: An operating system for many cores . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation , pages 43\u2013 57 , 2008 . S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang, and Z. Zhang. Corey: An operating system for many cores. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pages 43\u201357, 2008."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/321812.321815"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/800223.806778"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788825"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.21127"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238775"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11407522_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_11"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379233"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000201"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277725"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2014.6844468"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1137\/0117039"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/316686.316690"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139226424","volume-title":"Performance Modeling and Design of Computer Systems: Queueing Theory in Action","author":"Harchol-Balter M.","year":"2013","unstructured":"M. Harchol-Balter . Performance Modeling and Design of Computer Systems: Queueing Theory in Action . Cambridge University Press , 2013 . M. Harchol-Balter. Performance Modeling and Design of Computer Systems: Queueing Theory in Action. Cambridge University Press, 2013."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2431407"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168627"},{"key":"e_1_3_2_1_34_1","first-page":"234","volume-title":"Euro-Par 2015: Parallel Processing - 21st International Conference on Parallel and Distributed Computing","author":"Imam S.","year":"2015","unstructured":"S. Imam and V. Sarkar . Load balancing prioritized tasks via work-stealing . In Euro-Par 2015: Parallel Processing - 21st International Conference on Parallel and Distributed Computing , pages 222\u2013 234 , 2015 . S. Imam and V. Sarkar. Load balancing prioritized tasks via work-stealing. In Euro-Par 2015: Parallel Processing - 21st International Conference on Parallel and Distributed Computing, pages 222\u2013234, 2015."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647508.2647514"},{"key":"e_1_3_2_1_36_1","volume-title":"Intel threading building blocks","year":"2011","unstructured":"Intel. Intel threading building blocks , 2011 . Intel. Intel threading building blocks, 2011."},{"key":"e_1_3_2_1_37_1","unstructured":"https:\/\/www.threadingbuildingblocks.org\/.  https:\/\/www.threadingbuildingblocks.org\/."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the ACM SIGPLAN Workshop on ML. ACM","author":"Jagannathan S.","year":"2010","unstructured":"S. Jagannathan , A. Navabi , K. Sivaramakrishnan , and L. Ziarek . The design rationale for Multi-MLton. In ML \u201910 : Proceedings of the ACM SIGPLAN Workshop on ML. ACM , 2010 . S. Jagannathan, A. Navabi, K. Sivaramakrishnan, and L. Ziarek. The design rationale for Multi-MLton. In ML \u201910: Proceedings of the ACM SIGPLAN Workshop on ML. ACM, 2010."},{"key":"e_1_3_2_1_39_1","volume-title":"An introduction to parallel algorithms","author":"Jaja J.","year":"1992","unstructured":"J. Jaja . An introduction to parallel algorithms . Addison Wesley Longman Publishing Company , 1992 . J. Jaja. An introduction to parallel algorithms. Addison Wesley Longman Publishing Company, 1992."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863582"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231428"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/337449.337465"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640106"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480907"},{"key":"e_1_3_2_1_45_1","unstructured":"MLton. MLton web site. http:\/\/www.mlton.org.  MLton. MLton web site. http:\/\/www.mlton.org."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2935764.2935793"},{"key":"e_1_3_2_1_48_1","first-page":"295","volume-title":"Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS)","author":"Murphy T.","unstructured":"T. Murphy , VI I, K. Crary , R. Harper , and F. Pfenning . A symmetric modal lambda calculus for distributed computing . In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS) , pages 286\u2013 295 . IEEE Press, 2004. T. Murphy, VII, K. Crary, R. Harper, and F. Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS), pages 286\u2013295. IEEE Press, 2004."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680500568X"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/314602.314607"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951935"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99381"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.2297919"},{"key":"e_1_3_2_1_55_1","first-page":"376","volume-title":"Proceedings of the 3rd European Symposium on Programming","author":"Sands D.","year":"1990","unstructured":"D. Sands . Complexity analysis for a lazy higher-order language. In ESOP \u201990 : Proceedings of the 3rd European Symposium on Programming , pages 361\u2013 376 , London, UK , 1990 . Springer-Verlag. D. Sands. Complexity analysis for a lazy higher-order language. In ESOP \u201990: Proceedings of the 3rd European Symposium on Programming, pages 361\u2013376, London, UK, 1990. Springer-Verlag."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199531"},{"key":"e_1_3_2_1_57_1","volume-title":"Operating system concepts (7. ed.)","author":"Silberschatz A.","year":"2005","unstructured":"A. Silberschatz , P. B. Galvin , and G. Gagne . Operating system concepts (7. ed.) . Wiley , 2005 . A. Silberschatz, P. B. Galvin, and G. Gagne. Operating system concepts (7. ed.). Wiley, 2005."},{"issue":"4","key":"e_1_3_2_1_58_1","first-page":"242","article-title":"Designing the star user interface","volume":"7","author":"Smith D. C.","year":"1982","unstructured":"D. C. Smith , C. Irby , R. Kimball , B. Verplank , and E. Harslem . Designing the star user interface . BYTE Magazine , 7 ( 4 ): 242 \u2013 282 , 1982 . D. C. Smith, C. Irby, R. Kimball, B. Verplank, and E. Harslem. Designing the star user interface. BYTE Magazine, 7(4):242\u2013 282, 1982.","journal-title":"BYTE Magazine"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411240"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/6465.6466"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(75)80008-0"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442562"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555278"}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062370","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:32Z","timestamp":1750203392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":62,"alternative-id":["10.1145\/3062341.3062370","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062370","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062370","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}