{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:32Z","timestamp":1772164052782,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"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\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["462312-14"],"award-info":[{"award-number":["462312-14"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003400","name":"Ministry of Research and Innovation","doi-asserted-by":"publisher","award":["Early Researcher Award"],"award-info":[{"award-number":["Early Researcher Award"]}],"id":[{"id":"10.13039\/501100003400","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.3062355","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"540-555","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Synthesis of divide and conquer parallelism for loops"],"prefix":"10.1145","author":[{"given":"Azadeh","family":"Farzan","sequence":"first","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Victor","family":"Nicolet","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237823"},{"key":"e_1_3_2_1_2_1","first-page":"1","author":"LUR R.","year":"2015","journal-title":"Dependable Software Systems Engineering."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/278283.278285"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543615"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/197405.197406"},{"key":"e_1_3_2_1_6_1","first-page":"30","volume-title":"Proceedings of the Second International Conference on Parallel and Distributed Computing","author":"ASTOUL C.","year":"2003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025127.1025992"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.899937"},{"key":"e_1_3_2_1_9_1","first-page":"42","volume-title":"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design","author":"IRD R. S.","year":"1987"},{"key":"e_1_3_2_1_10_1","unstructured":"B LELLOCH G. E. Prefix sums and their applications.  B LELLOCH G. E. Prefix sums and their applications."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546612"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.44.10.1061"},{"key":"e_1_3_2_1_13_1","first-page":"162","volume-title":"Proceedings of the 1998 International Conference on Computer Languages","author":"HIN W.-N.","year":"1998"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2008.4636091"},{"key":"e_1_3_2_1_15_1","unstructured":"F ARZAN A. AND N ICOLET V. Automated synthesis of divide and conquer parallelism.  F ARZAN A. AND N ICOLET V. Automated synthesis of divide and conquer parallelism."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062382"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178255"},{"key":"e_1_3_2_1_18_1","first-page":"60","volume-title":"Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming","author":"ESER A.","year":"1997"},{"key":"e_1_3_2_1_19_1","first-page":"4","volume":"6","author":"IBBONS J.","year":"1996","journal-title":"J. Funct. Program."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646451.692925"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00014-2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/7902.7903"},{"key":"e_1_3_2_1_23_1","first-page":"27","volume-title":"Parallel and Distributed Processing Symposium., Proceedings 15th International","author":"WANSOO H.","year":"2001"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908117"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11532378_9"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/202529.202532"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322232"},{"key":"e_1_3_2_1_28_1","first-page":"370","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)","author":"EINO K. R.","year":"2010"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0011"},{"key":"e_1_3_2_1_30_1","first-page":"255","volume-title":"Springer Berlin Heidelberg","author":"ARCH","year":"1998"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500580"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_23"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480905"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"},{"key":"e_1_3_2_1_35_1","first-page":"434","volume-title":"Springer Berlin Heidelberg","author":"ARENDRAN P.","year":"1991"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"N ECULA G. C. M C P EAK S. R AHUL S. P. AND W EIMER W. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. 2002.  N ECULA G. C. M C P EAK S. R AHUL S. P. AND W EIMER W. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. 2002.","DOI":"10.1007\/3-540-45937-5_16"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/7902.7904"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90073-4"},{"key":"e_1_3_2_1_39_1","first-page":"4","volume":"23","author":"HEATT C.","year":"2008","journal-title":"Journal of Computing Sciences in Colleges"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993501"},{"key":"e_1_3_2_1_41_1","unstructured":"R A  R A"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815418"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993554"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908102"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250754"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375599"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_16"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_38"},{"key":"e_1_3_2_1_50_1","volume-title":"USA","author":"ILSON R.","year":"1994"}],"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.3062355","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062355","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.3062355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":50,"alternative-id":["10.1145\/3062341.3062355","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062355","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062355","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"}}]}}