{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:36Z","timestamp":1772164056216,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"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":["HPC-GAP (EP\/G05553X)"],"award-info":[{"award-number":["HPC-GAP (EP\/G05553X)"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["AJITPar (EP\/L000687\/1)"],"award-info":[{"award-number":["AJITPar (EP\/L000687\/1)"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["Rathlin (EP\/K009931\/1)"],"award-info":[{"award-number":["Rathlin (EP\/K009931\/1)"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["RELEASE (FP7-ICT 287510)"],"award-info":[{"award-number":["RELEASE (FP7-ICT 287510)"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,3]]},"DOI":"10.1145\/2633357.2633363","type":"proceedings-article","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T08:48:33Z","timestamp":1409647713000},"page":"65-76","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["The HdpH DSLs for scalable reliable computation"],"prefix":"10.1145","author":[{"given":"Patrick","family":"Maier","sequence":"first","affiliation":[{"name":"University of Glasgow, Glasgow, Scotland Uk"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Stewart","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, Scotland Uk"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Trinder","sequence":"additional","affiliation":[{"name":"University of Glasgow, Glasgow, Scotland Uk"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"J. Allen. Effective Akka. O'Reilly 2013.   J. Allen. Effective Akka. O'Reilly 2013."},{"key":"e_1_3_2_1_2_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_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01741-4","volume-title":"The Datacenter as a Computer. Morgan & Claypool","author":"Barroso L. A.","year":"2013","unstructured":"L. A. Barroso , J. Clidaras , and U. H\u00f6lzle . The Datacenter as a Computer. Morgan & Claypool , 2 nd edition, 2013 . L. A. Barroso, J. Clidaras, and U. H\u00f6lzle. The Datacenter as a Computer. Morgan & Claypool, 2nd edition, 2013.","edition":"2"},{"key":"e_1_3_2_1_4_1","volume-title":"USENIX 1997 Annual Technical Conference","author":"Blumofe R. D.","year":"1997","unstructured":"R. D. Blumofe and P. A. Lisiecki . Adaptive and reliable parallel computing on networks of workstations . In USENIX 1997 Annual Technical Conference , Anaheim, CA, USA , 1997 . R. D. Blumofe and P. A. Lisiecki. Adaptive and reliable parallel computing on networks of workstations. In USENIX 1997 Annual Technical Conference, Anaheim, CA, USA, 1997."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-08-02036-X"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342009106189"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034690"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364562"},{"key":"e_1_3_2_1_10_1","volume-title":"GAP -- groups, algorithms, and programming","author":"GAP Group","year":"2007","unstructured":"GAP Group . GAP -- groups, algorithms, and programming , 2007 . http:\/\/www.gap-system.org. GAP Group. GAP -- groups, algorithms, and programming, 2007. http:\/\/www.gap-system.org."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2008.10.024"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_13_1","unstructured":"T. Hoff. Netflix: Continually test by failing servers with Chaos Monkey. http:\/\/highscalability.com December 2010.  T. Hoff. Netflix: Continually test by failing servers with Chaos Monkey. http:\/\/highscalability.com December 2010."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2010.49"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.05.001"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535842"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2287076.2287103"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.019"},{"key":"e_1_3_2_1_19_1","volume-title":"Manning","author":"Logan M.","year":"2010","unstructured":"M. Logan , E. Merritt , and R. Carlsson . Erlang and OTP in Action . Manning , 2010 . M. Logan, E. Merritt, and R. Carlsson. Erlang and OTP in Action. Manning, 2010."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005526"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2304576.2304589"},{"key":"e_1_3_2_1_22_1","volume-title":"HdpH source code","author":"Maier P.","year":"2014","unstructured":"P. Maier and R. Stewart . HdpH source code , 2014 . https:\/\/github.com\/PatrickMaier\/HdpH. P. Maier and R. Stewart. HdpH source code, 2014. https:\/\/github.com\/PatrickMaier\/HdpH."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34407-7_3"},{"key":"e_1_3_2_1_24_1","volume-title":"Euro-Par","author":"Maier P.","year":"2014","unstructured":"P. Maier , D. Livesey , H.-W. Loidl , and P. Trinder . High-performance computer algebra: A Hecke algebra case study . In Euro-Par 2014 , Porto, Portugal . Springer , 2014. To appear. P. Maier, D. Livesey, H.-W. Loidl, and P. Trinder. High-performance computer algebra: A Hecke algebra case study. In Euro-Par 2014, Porto, Portugal. Springer, 2014. To appear."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2014.03.001"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596563"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034685"},{"key":"e_1_3_2_1_28_1","volume-title":"PGAS 2011","author":"Min S.-J.","year":"2011","unstructured":"S.-J. Min , C. Iancu , and K. Yelick . Hierarchical work stealing on manycore clusters . In PGAS 2011 , Galveston Island, TX, USA , 2011 . S.-J. Min, C. Iancu, and K. Yelick. Hierarchical work stealing on manycore clusters. In PGAS 2011, Galveston Island, TX, USA, 2011."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_31_1","unstructured":"R. Stewart. Promela abstraction of HdpH-RS reliable scheduler extension 2013. https:\/\/raw.github.com\/robstewart57\/phd-thesis\/master\/spin_model\/hdph_scheduler.pml.  R. Stewart. Promela abstraction of HdpH-RS reliable scheduler extension 2013. https:\/\/raw.github.com\/robstewart57\/phd-thesis\/master\/spin_model\/hdph_scheduler.pml."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231392"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002967"},{"key":"e_1_3_2_1_34_1","volume-title":"Hadoop -- The Definitive Guide: MapReduce for the Cloud. O'Reilly","author":"White T.","year":"2009","unstructured":"T. White . Hadoop -- The Definitive Guide: MapReduce for the Cloud. O'Reilly , 2009 . T. White. Hadoop -- The Definitive Guide: MapReduce for the Cloud. O'Reilly, 2009."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1111683.1111860"}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","location":"Gothenburg Sweden","acronym":"ICFP'14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2014 ACM SIGPLAN symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633357.2633363","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2633357.2633363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:56:11Z","timestamp":1750215371000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633357.2633363"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":34,"alternative-id":["10.1145\/2633357.2633363","10.1145\/2633357"],"URL":"https:\/\/doi.org\/10.1145\/2633357.2633363","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2775050.2633363","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,9,3]]},"assertion":[{"value":"2014-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}