{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:10Z","timestamp":1750307710948,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T00:00:00Z","timestamp":1232409600000},"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":[[2009,1,20]]},"DOI":"10.1145\/1481839.1481843","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T14:41:38Z","timestamp":1232462498000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Low-pain, high-gain multicore programming in Haskell"],"prefix":"10.1145","author":[{"given":"Abdallah Deeb I.","family":"Al Zain","sequence":"first","affiliation":[{"name":"Heriot-Watt University, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Kevin","family":"Hammond","sequence":"additional","affiliation":[{"name":"University of St Andrews, St Andrews, United Kingdom"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Jost","family":"Berthold","sequence":"additional","affiliation":[{"name":"Philipps-Universitat, Marburg, Germany"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Phil","family":"Trinder","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Mustafa","family":"Aswad","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocab":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133985"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2008.19"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.70728"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/236869.236908"},{"key":"e_1_3_2_1_6_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong J.","year":"1996","unstructured":"J. Armstrong , R. Virding , C. Wikstr\u00f6m , and M. Williams . Concurrent Programming in Erlang . Prentice Hall , 2 nd edition, 1996 . J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang. Prentice Hall, 2nd edition, 1996.","edition":"2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/266670.266732"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"J.\n      Berthold M.\n      Dieterle R.\n      Loogen and \n      S.\n      Priebe\n  . \n  Hierarchical Master-Worker Skeletons\n  . In Paul Hudak and David Scott Warren editors PADL volume \n  4902\n   of \n  Lecture Notes in Computer Science pages \n  248\n  --\n  264\n  . \n  Springer 2008\n  .   J. Berthold M. Dieterle R. Loogen and S. Priebe. Hierarchical Master-Worker Skeletons. In Paul Hudak and David Scott Warren editors PADL volume 4902 of Lecture Notes in Computer Science pages 248--264. Springer 2008.","DOI":"10.1007\/978-3-540-77442-6_17"},{"key":"e_1_3_2_1_10_1","first-page":"710","volume-title":"EuroPar'96 -- European Conf. on Parallel Processing, LNCS 1123","author":"Breitinger S.","year":"1996","unstructured":"S. Breitinger , R. Loogen , Y. Ortega Mall\u00e9n , and R. Pe\u00f1a Mar\u00ed . Eden -- The Paradise of Functional Concurrent Programming . In EuroPar'96 -- European Conf. on Parallel Processing, LNCS 1123 , pages 710 -- 713 , Lyon, France , 1996 . Springer . S. Breitinger, R. Loogen, Y. Ortega Mall\u00e9n, and R. Pe\u00f1a Mar\u00ed. Eden -- The Paradise of Functional Concurrent Programming. In EuroPar'96 -- European Conf. on Parallel Processing, LNCS 1123, pages 710--713, Lyon, France, 1996. Springer."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.35"},{"key":"e_1_3_2_1_12_1","volume-title":"Technical report","author":"Broadcom Corp. BCM1250 Multiprocessor.","year":"2002","unstructured":"Broadcom Corp. BCM1250 Multiprocessor. Technical report , Broadcom Corporation , April 2002 . Broadcom Corp. BCM1250 Multiprocessor. Technical report, Broadcom Corporation, April 2002."},{"key":"e_1_3_2_1_13_1","first-page":"84","volume-title":"Proc. PASCO'94: Intl. Symp. on Parallel Symbolic Computation","volume":"5","author":"B\u00fcndgen R.","year":"1994","unstructured":"R. B\u00fcndgen , M. G\u00f6bel , and W. K\u00fcchlin . Multi-Threaded AC Term Re-writing . In Proc. PASCO'94: Intl. Symp. on Parallel Symbolic Computation , volume 5 , pages 84 -- 93 . World Scientific , 1994 . R. B\u00fcndgen, M. G\u00f6bel, and W. K\u00fcchlin. Multi-Threaded AC Term Re-writing. In Proc. PASCO'94: Intl. Symp. on Parallel Symbolic Computation, volume 5, pages 84--93. World Scientific, 1994."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133983"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_3_2_1_16_1","volume-title":"The MIT Press","author":"Chapman B.","year":"2007","unstructured":"B. Chapman , G. Jost , and R. van der Pas. Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation) . The MIT Press , 2007 . B. Chapman, G. Jost, and R. van der Pas. Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation). The MIT Press, 2007."},{"key":"e_1_3_2_1_17_1","volume-title":"Structured Management of Parallel Computation","author":"Cole M.I.","year":"1989","unstructured":"M.I. Cole . Algorithmic Skeletons : Structured Management of Parallel Computation . The MIT Press , Cambridge, MA , 1989 . M.I. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. The MIT Press, Cambridge, MA, 1989."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-1-4471-0841-2_13","volume-title":"Research Directions in Parallel Functional Programming","author":"Cole M.I.","year":"1999","unstructured":"M.I. Cole . Algorithmic Skeletons . In K. Hammond and G. Michaelson, editors, Research Directions in Parallel Functional Programming , chapter 13, pages 289 -- 304 . Springer-Verlag , 1999 . M.I. Cole. Algorithmic Skeletons. In K. Hammond and G. Michaelson, editors, Research Directions in Parallel Functional Programming, chapter 13, pages 289--304. Springer-Verlag, 1999."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220363"},{"key":"e_1_3_2_1_20_1","volume-title":"GAP\/MPI: Facilitating Parallelism. In Proc. DIMACS Workshop on Groups and Computation II","volume":"28","author":"Cooperman G.","year":"1997","unstructured":"G. Cooperman . GAP\/MPI: Facilitating Parallelism. In Proc. DIMACS Workshop on Groups and Computation II , volume 28 of DIMACS Series in Discrete Maths. and Theoretical Comp. Sci., pages 69--84. AMS , 1997 . G. Cooperman. GAP\/MPI: Facilitating Parallelism. In Proc. DIMACS Workshop on Groups and Computation II, volume 28 of DIMACS Series in Discrete Maths. and Theoretical Comp. Sci., pages 69--84. AMS, 1997."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088149.1088166"},{"key":"e_1_3_2_1_23_1","unstructured":"Ericsson Utvecklings AB. Erlang Home Page.  Ericsson Utvecklings AB. Erlang Home Page."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248656"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277725"},{"key":"e_1_3_2_1_26_1","unstructured":"GHC. http:\/\/www.haskell.org\/ghc\/.  GHC. http:\/\/www.haskell.org\/ghc\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605428"},{"key":"e_1_3_2_1_28_1","unstructured":"The GHC-Maple Interface http:\/\/www.risc .uni-linz.ac.at\/software\/ghc-maple\/.  The GHC-Maple Interface http:\/\/www.risc .uni-linz.ac.at\/software\/ghc-maple\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1178597.1178609"},{"key":"e_1_3_2_1_30_1","volume-title":"Algorithms, and Programming","author":"The GAP Group. GAP -- Groups","year":"2007","unstructured":"The GAP Group. GAP -- Groups , Algorithms, and Programming , 2007 . http:\/\/www.gap-system.org. The GAP Group. GAP -- Groups, Algorithms, and Programming, 2007. http:\/\/www.gap-system.org."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/555854"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/949343.949340"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088354"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291192"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.07.001"},{"key":"e_1_3_2_1_37_1","volume-title":"Multithreaded Programming with Pthreads","author":"Lewis B.","year":"1998","unstructured":"B. Lewis and D.J. Berg . Multithreaded Programming with Pthreads . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1998 . B. Lewis and D.J. Berg. Multithreaded Programming with Pthreads. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1998."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005526"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2157896.2157908"},{"key":"e_1_3_2_1_40_1","volume-title":"High Performance Computations in Group Representation Theory. Preprint","author":"Michler G. O.","year":"1998","unstructured":"G. O. Michler . High Performance Computations in Group Representation Theory. Preprint , Institut f\u00fcr Experimentelle Mathematik, Univerisit\u00e4t GH Essen ,, 1998 . G. O. Michler. High Performance Computations in Group Representation Theory. Preprint, Institut f\u00fcr Experimentelle Mathematik, Univerisit\u00e4t GH Essen,, 1998."},{"key":"e_1_3_2_1_41_1","unstructured":"The OpenMath Standard Version 2.0 http:\/\/www.openmath.org\/.  The OpenMath Standard Version 2.0 http:\/\/www.openmath.org\/."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/647557.729913"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/36583.36590"},{"key":"e_1_3_2_1_44_1","first-page":"249","volume-title":"Proc. JFIT (Joint Framework for Information Technology) Technical Conference","author":"Peyton Jones S.L.","year":"1993","unstructured":"S.L. Peyton Jones , C.V. Hall , K. Hammond , W.D. Partain , and P.L. Wadler . The Glasgow Haskell Compiler: a Technical Overview . In Proc. JFIT (Joint Framework for Information Technology) Technical Conference , pages 249 -- 257 , Keele, UK , March 1993 . S.L. Peyton Jones, C.V. Hall, K. Hammond, W.D. Partain, and P.L. Wadler. The Glasgow Haskell Compiler: a Technical Overview. In Proc. JFIT (Joint Framework for Information Technology) Technical Conference, pages 249--257, Keele, UK, March 1993."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346181"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.276957"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095421"},{"key":"e_1_3_2_1_48_1","volume-title":"Software Techniques for Shared-Cache Multi-Core Systems","author":"Tian Tian","year":"2007","unstructured":"Tian Tian and Chiu-Pi Shih . Software Techniques for Shared-Cache Multi-Core Systems , 2007 . Online article in Intel de veloper community. Tian Tian and Chiu-Pi Shih. Software Techniques for Shared-Cache Multi-Core Systems, 2007. Online article in Intel developer community."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231392"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002967"},{"key":"e_1_3_2_1_51_1","volume-title":"Workshop on Duplicating, Deconstructing, and Debunking.","author":"Zilles C.","year":"2005","unstructured":"C. Zilles and D. Flint . Challenges to Providing Performance Isolation in Transactional Memories . In Workshop on Duplicating, Deconstructing, and Debunking. 2005 . C. Zilles and D. Flint. Challenges to Providing Performance Isolation in Transactional Memories. In Workshop on Duplicating, Deconstructing, and Debunking. 2005."}],"event":{"name":"POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Savannah GA USA","acronym":"POPL09"},"container-title":["Proceedings of the 4th workshop on Declarative aspects of multicore programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1481839.1481843","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1481839.1481843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:10Z","timestamp":1750253410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1481839.1481843"}},"subtitle":["coordinating irregular symbolic computations on multicore architectures"],"short-title":[],"issued":{"date-parts":[[2009,1,20]]},"references-count":49,"alternative-id":["10.1145\/1481839.1481843","10.1145\/1481839"],"URL":"https:\/\/doi.org\/10.1145\/1481839.1481843","relation":{},"subject":[],"published":{"date-parts":[[2009,1,20]]},"assertion":[{"value":"2009-01-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}