{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:29Z","timestamp":1750221269597,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,7]],"date-time":"2017-09-07T00:00:00Z","timestamp":1504742400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/P020631\/1"],"award-info":[{"award-number":["EP\/P020631\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Scottish Enterprise","award":["PS7305CA44"],"award-info":[{"award-number":["PS7305CA44"]}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["ICT-644235"],"award-info":[{"award-number":["ICT-644235"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["IC1202"],"award-info":[{"award-number":["IC1202"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011199","name":"FP7 Ideas: European Research Council","doi-asserted-by":"publisher","award":["ICT-288570"],"award-info":[{"award-number":["ICT-288570"]}],"id":[{"id":"10.13039\/100011199","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,7]]},"DOI":"10.1145\/3122948.3122951","type":"proceedings-article","created":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T12:52:29Z","timestamp":1504097549000},"page":"30-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["In search of a map: using program slicing to discover potential parallelism in recursive functions"],"prefix":"10.1145","author":[{"given":"Adam D.","family":"Barwell","sequence":"first","affiliation":[{"name":"University of St. Andrews, UK"}]},{"given":"Kevin","family":"Hammond","sequence":"additional","affiliation":[{"name":"University of St. Andrews, UK"}]}],"member":"320","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1142\/S012962640000010X"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2975969.2975978"},{"key":"e_1_3_2_1_3_1","first-page":"792","article-title":"Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang","volume":"35","author":"Barwell Adam D.","year":"2016","unstructured":"Adam D. Barwell , Christopher Brown , Kevin Hammond , Wojciech Turek , and Aleksander Byrski . 2016 . Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang . Computing and Informatics 35 , 4 (2016), 792 \u2013 818 . Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, and Aleksander Byrski. 2016. Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. Computing and Informatics 35, 4 (2016), 792\u2013818.","journal-title":"Computing and Informatics"},{"key":"e_1_3_2_1_4_1","volume-title":"Barwell and Kevin Hammond","author":"Adam","year":"2017","unstructured":"Adam D. Barwell and Kevin Hammond . 2017 . Obliterating Obstructions : Discovering Potential Parallelism by Slicing for Dependencies in Recursive Functions. International Journal of Parallel Programming (2017). In submission. Adam D. Barwell and Kevin Hammond. 2017. Obliterating Obstructions: Discovering Potential Parallelism by Slicing for Dependencies in Recursive Functions. International Journal of Parallel Programming (2017). In submission."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025127.1025992"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633448.2633453"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2630180.2630190"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951920"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"key":"e_1_3_2_1_11_1","unstructured":"Murray I. Cole. 1988. Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation. Ph.D. Dissertation.   Murray I. Cole. 1988. Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation. Ph.D. Dissertation."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0054-5"},{"key":"e_1_3_2_1_13_1","volume-title":"AutoPar: Automatic Parallelization of Functional Programs. In 2014 4th Int. Valentin Turchin Workshop on Metacomputation (META","author":"Dever Michael","year":"2014","unstructured":"Michael Dever and G. W. Hamilton . 2014 . AutoPar: Automatic Parallelization of Functional Programs. In 2014 4th Int. Valentin Turchin Workshop on Metacomputation (META 2014 ). 11\u201325. Michael Dever and G. W. Hamilton. 2014. AutoPar: Automatic Parallelization of Functional Programs. In 2014 4th Int. Valentin Turchin Workshop on Metacomputation (META 2014). 11\u201325."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.40"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2004.05.006"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2009.05.021"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003536"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001908"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00014-2"},{"key":"e_1_3_2_1_20_1","unstructured":"J. C. Guzman and P. Hudak. 1990. Single-threaded polymorphic lambda calculus. In Logic in Computer Science. 333\u2013343.  J. C. Guzman and P. Hudak. 1990. Single-threaded polymorphic lambda calculus. In Logic in Computer Science. 333\u2013343."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWMSE.2009.5071383"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Components and Objects","author":"Hammond Kevin","unstructured":"Kevin Hammond , Marco Aldinucci , Christopher Brown , Francesco Cesarini , Marco Danelutto , Horacio Gonz\u00e1lez-V\u00e9lez , Peter Kilpatrick , Rainer Keller , Michael Rossbory , and Gilad Shainer . 2013. The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems . In Formal Methods for Components and Objects . Lecture Notes in Computer Science , Vol. 7542 . Springer Berlin Heidelberg , 218\u2013236. Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto, Horacio Gonz\u00e1lez-V\u00e9lez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, and Gilad Shainer. 2013. The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. In Formal Methods for Components and Objects. Lecture Notes in Computer Science, Vol. 7542. Springer Berlin Heidelberg, 218\u2013236."},{"key":"e_1_3_2_1_23_1","volume-title":"Eclipse: A Java Developer\u2019s Guide. O\u2019Reilly &amp","author":"Holzner Steve","year":"2004","unstructured":"Steve Holzner . 2004 . Eclipse: A Java Developer\u2019s Guide. O\u2019Reilly &amp ; Associates, Inc. , Sebastopol, CA, USA . Steve Holzner. 2004. Eclipse: A Java Developer\u2019s Guide. O\u2019Reilly & Associates, Inc., Sebastopol, CA, USA."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. PEPM\u201999","author":"Hu Zhenjiang","year":"1999","unstructured":"Zhenjiang Hu , Masato Takeichi , and Hideya Iwasaki . 1999 . Diffusion: Calculating Efficient Parallel Programs . In Proc. PEPM\u201999 . 85\u201394. Zhenjiang Hu, Masato Takeichi, and Hideya Iwasaki. 1999. Diffusion: Calculating Efficient Parallel Programs. In Proc. PEPM\u201999. 85\u201394."},{"volume-title":"Proc. ParCo 2015: Intl. Conf. on Parallel Computing. 181\u2013195","author":"Janjic V.","key":"e_1_3_2_1_25_1","unstructured":"V. Janjic , C. Brown , and K. Hammond . 2016. Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang . In Proc. ParCo 2015: Intl. Conf. on Parallel Computing. 181\u2013195 . V. Janjic, C. Brown, and K. Hammond. 2016. Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang. In Proc. ParCo 2015: Intl. Conf. on Parallel Computing. 181\u2013195."},{"key":"e_1_3_2_1_26_1","volume-title":"24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016","author":"Kannan Venkatesh","year":"2016","unstructured":"Venkatesh Kannan and Geoff W. Hamilton . 2016. Program Transformation to Identify Parallel Skeletons . In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016 , Heraklion, Crete, Greece , February 17-19, 2016 . 486\u2013494. Venkatesh Kannan and Geoff W. Hamilton. 2016. Program Transformation to Identify Parallel Skeletons. In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016. 486\u2013494."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678015.2682533"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411283"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863535"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034685"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652535"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/647557.729913"},{"volume-title":"Advanced Topics in Types and Programming Languages","author":"Pierce Benjamin C.","key":"e_1_3_2_1_33_1","unstructured":"Benjamin C. Pierce . 2004. Advanced Topics in Types and Programming Languages . The MIT Press . Benjamin C. Pierce. 2004. Advanced Topics in Types and Programming Languages. The MIT Press."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/13487689.13487691"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005489"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-2836(81)90087-5"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002967"},{"key":"e_1_3_2_1_38_1","volume-title":"Program Slicing. In Proc. of the 5th Intl. Conf. on Software Engineering (ICSE \u201981)","author":"Weiser Mark","year":"1981","unstructured":"Mark Weiser . 1981 . Program Slicing. In Proc. of the 5th Intl. Conf. on Software Engineering (ICSE \u201981) . 439\u2013449. Mark Weiser. 1981. Program Slicing. In Proc. of the 5th Intl. Conf. on Software Engineering (ICSE \u201981). 439\u2013449."}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Oxford UK","acronym":"ICFP '17"},"container-title":["Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122948.3122951","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122948.3122951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:04Z","timestamp":1750212664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122948.3122951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":38,"alternative-id":["10.1145\/3122948.3122951","10.1145\/3122948"],"URL":"https:\/\/doi.org\/10.1145\/3122948.3122951","relation":{},"subject":[],"published":{"date-parts":[[2017,9,7]]},"assertion":[{"value":"2017-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}