{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:16:06Z","timestamp":1762917366448,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T00:00:00Z","timestamp":1327708800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,1,28]]},"DOI":"10.1145\/2103736.2103741","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:33Z","timestamp":1328021373000},"page":"31-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Programmable data dependencies and placements"],"prefix":"10.1145","author":[{"given":"Eva","family":"Burrows","sequence":"first","affiliation":[{"name":"University of Bergen, Bergen, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magne","family":"Haveraaen","sequence":"additional","affiliation":[{"name":"University of Bergen, Bergen, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The OpenCL Specification 2010. URL http:\/\/www.khronos.org\/registry\/cl\/.  The OpenCL Specification 2010. URL http:\/\/www.khronos.org\/registry\/cl\/."},{"key":"e_1_3_2_1_2_1","first-page":"169","volume-title":"8th IEEE\/ACM International Conference on","author":"Axelsson E.","year":"2010","unstructured":"E. Axelsson , K. Claessen , G. D\u00e9vai , Z. Horv\u00e1th , K. Keijzer , B. Lyckeg\u00e5rd , A. Persson , M. Sheeran , J. Svenningsson , and A. Vajda . Feldspar: A domain specific language for digital signal processing algorithms. In Formal Methods and Models for Codesign (MEMOCODE) 2010 , 8th IEEE\/ACM International Conference on , pages 169 -- 178 , 2010 . http:\/\/dx.doi.org\/10.1109\/MEMCOD.2010.5558637. 10.1109\/MEMCOD.2010.5558637 E. Axelsson, K. Claessen, G. D\u00e9vai, Z. Horv\u00e1th, K. Keijzer, B. Lyckeg\u00e5rd, A. Persson, M. Sheeran, J. Svenningsson, and A. Vajda. Feldspar: A domain specific language for digital signal processing algorithms. In Formal Methods and Models for Codesign (MEMOCODE) 2010, 8th IEEE\/ACM International Conference on, pages 169--178, 2010. http:\/\/dx.doi.org\/10.1109\/MEMCOD.2010.5558637."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/197405.197406"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.214548"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1468075.1468121"},{"key":"e_1_3_2_1_6_1","volume-title":"Prefix sums and their applications","author":"Blelloch G. E.","year":"1990","unstructured":"G. E. Blelloch . Prefix sums and their applications . Technical Report Carnegie Mellon University-CS-90--190, School of Computer Science, Carnegie Mellon University , Nov. 1990 . G. E. Blelloch. Prefix sums and their applications. Technical Report Carnegie Mellon University-CS-90--190, School of Computer Science, Carnegie Mellon University, Nov. 1990."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2009.06.002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815695.1815713"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/107214.129259"},{"key":"e_1_3_2_1_10_1","volume-title":"Algorithmic skeletons: Structured management of parallel computation","author":"Cole M.","year":"1989","unstructured":"M. Cole . Algorithmic skeletons: Structured management of parallel computation . MIT press , Mass ., 1989 . M. Cole. Algorithmic skeletons: Structured management of parallel computation. MIT press, Mass., 1989."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1870972"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188455.1188543"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2015039.2015535"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007560600904"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 1990 International Conference on Parallel Processing (ICPP)","author":"Haveraaen M.","year":"1990","unstructured":"M. Haveraaen . Distributing programs on different parallel architectures. In D. A. Padua, editor , Proceedings of the 1990 International Conference on Parallel Processing (ICPP) , volume II Software, pages 288--289. The Pennsylvania State University Press, University Park and London , 1990 . ISBN 0--271-00728--1. M. Haveraaen. Distributing programs on different parallel architectures. In D. A. Padua, editor, Proceedings of the 1990 International Conference on Parallel Processing (ICPP), volume II Software, pages 288--289. The Pennsylvania State University Press, University Park and London, 1990. ISBN 0--271-00728--1."},{"key":"e_1_3_2_1_16_1","first-page":"758","volume-title":"Euro-Par 2000: Proceedings from the 6th International Euro-Par Conference on Parallel Processing, number 1900 in Lecture Notes in Computer Science","author":"Haveraaen M.","year":"2000","unstructured":"M. Haveraaen . Efficient parallelisation of recursive problems using constructive recursion . In Euro-Par 2000: Proceedings from the 6th International Euro-Par Conference on Parallel Processing, number 1900 in Lecture Notes in Computer Science , pages 758 -- 761 , London, UK , 2000 . Springer-Verlag . ISBN 3--540--67956--1. http:\/\/dx.doi.org\/10.1007\/3--540--44520-X_104. 10.1007\/3--540--44520-X_104 M. Haveraaen. Efficient parallelisation of recursive problems using constructive recursion. In Euro-Par 2000: Proceedings from the 6th International Euro-Par Conference on Parallel Processing, number 1900 in Lecture Notes in Computer Science, pages 758--761, London, UK, 2000. Springer-Verlag. ISBN 3--540--67956--1. http:\/\/dx.doi.org\/10.1007\/3--540--44520-X_104."},{"key":"e_1_3_2_1_17_1","volume-title":"Technical Report 45, Department of Informatics","author":"Haveraaen M.","year":"1990","unstructured":"M. Haveraaen . Data dependencies and space time algebras in parallel programming. Technical Report 45, Department of Informatics , University of Bergen , Norway, June 1990 . M. Haveraaen. Data dependencies and space time algebras in parallel programming. Technical Report 45, Department of Informatics, University of Bergen, Norway, June 1990."},{"key":"e_1_3_2_1_18_1","volume-title":"A call to arms for parallel programming standards. an interview with intel's tim mattson, november","author":"Wire HPC","year":"2010","unstructured":"HPC Wire . A call to arms for parallel programming standards. an interview with intel's tim mattson, november 2010 . URL http:\/\/www.hpcwire.com. HPC Wire. A call to arms for parallel programming standards. an interview with intel's tim mattson, november 2010. URL http:\/\/www.hpcwire.com."},{"volume-title":"Intel Parallel Studio","year":"2009","key":"e_1_3_2_1_19_1","unstructured":"Intel. Intel Parallel Studio , 2009 . URL http:\/\/www.intel.com\/go\/parallel. Intel. Intel Parallel Studio, 2009. URL http:\/\/www.intel.com\/go\/parallel."},{"volume-title":"Intel's array building blocks","year":"2010","key":"e_1_3_2_1_20_1","unstructured":"Intel. Intel's array building blocks , 2010 . URL http:\/\/software.intel.com\/en-us\/data-parallel\/. Intel. Intel's array building blocks, 2010. URL http:\/\/software.intel.com\/en-us\/data-parallel\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013208.1013209"},{"key":"e_1_3_2_1_22_1","volume-title":"Optimizing compilers for modern architectures: a dependence-based approach","author":"Kennedy K.","year":"2002","unstructured":"K. Kennedy and J. R. Allen . Optimizing compilers for modern architectures: a dependence-based approach . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2002 . ISBN 1--55860--286-0. K. Kennedy and J. R. Allen. Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2002. ISBN 1--55860--286-0."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594835.1504181"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000005"},{"issue":"5","key":"e_1_3_2_1_25_1","first-page":"787","article-title":"The use of data dependence graphs in the design of bit-level systolic arrays. phAcoustics, Speech and Signal Processing","volume":"38","author":"McCanny J.","year":"1990","unstructured":"J. McCanny , J. McWhirter , and S.-Y. Kung . The use of data dependence graphs in the design of bit-level systolic arrays. phAcoustics, Speech and Signal Processing , IEEE Transactions on , 38 ( 5 ): 787 -- 793 , May 1990 . ISSN 0096--3518. http:\/\/dx.doi.org\/10.1109\/29.56023. 10.1109\/29.56023 J. McCanny, J. McWhirter, and S.-Y. Kung. The use of data dependence graphs in the design of bit-level systolic arrays. phAcoustics, Speech and Signal Processing, IEEE Transactions on, 38 (5): 787 --793, May 1990. ISSN 0096--3518. http:\/\/dx.doi.org\/10.1109\/29.56023.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02253685"},{"key":"e_1_3_2_1_27_1","volume-title":"Manual","author":"NVIDIA.","year":"2010","unstructured":"NVIDIA. CUDA Programming Guide . Manual , Nvidia , 2010 . URL http:\/\/www.nvidia.com. NVIDIA. CUDA Programming Guide. Manual, Nvidia, 2010. URL http:\/\/www.nvidia.com."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.544354"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375594"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2004.1264806"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183525"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0097-3","volume-title":"Patterns and skeletons for parallel and distributed computing","author":"Rabhi F. A.","year":"2003","unstructured":"F. A. Rabhi and S. Gorlatch , editors . Patterns and skeletons for parallel and distributed computing . Springer-Verlag , London, UK , 2003 . ISBN 1--85233--506--8. F. A. Rabhi and S. Gorlatch, editors. Patterns and skeletons for parallel and distributed computing. Springer-Verlag, London, UK, 2003. ISBN 1--85233--506--8."},{"key":"e_1_3_2_1_33_1","unstructured":"J. Reinders. Intel Threading Building Blocks: Outfitting C   J. Reinders. Intel Threading Building Blocks: Outfitting C"},{"key":"e_1_3_2_1_34_1","unstructured":"for Multi-core Processor Parallelism. O'Reilly 2007.  for Multi-core Processor Parallelism. O'Reilly 2007."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/301104.301111"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000304"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/795659.795933"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950450"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1960.5219822"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379099"}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Philadelphia Pennsylvania USA","acronym":"POPL '12"},"container-title":["Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103736.2103741","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103736.2103741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:22Z","timestamp":1750241182000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103736.2103741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,28]]},"references-count":40,"alternative-id":["10.1145\/2103736.2103741","10.1145\/2103736"],"URL":"https:\/\/doi.org\/10.1145\/2103736.2103741","relation":{},"subject":[],"published":{"date-parts":[[2012,1,28]]},"assertion":[{"value":"2012-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}