{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:27Z","timestamp":1750307007142,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,2,23]],"date-time":"2013-02-23T00:00:00Z","timestamp":1361577600000},"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":[[2013,2,23]]},"DOI":"10.1145\/2442992.2443000","type":"proceedings-article","created":{"date-parts":[[2013,2,26]],"date-time":"2013-02-26T15:23:04Z","timestamp":1361892184000},"page":"71-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A generate-test-aggregate parallel programming library"],"prefix":"10.1145","author":[{"given":"Yu","family":"Liu","sequence":"first","affiliation":[{"name":"The Graduate University for Advanced Studies, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kento","family":"Emoto","sequence":"additional","affiliation":[{"name":"University of Tokyo, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache Software Foundation. Avro. http:\/\/avro.apache.org\/.  Apache Software Foundation. Avro. http:\/\/avro.apache.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Apache Software Foundation. Hadoop. http:\/\/hadoop.apache.org\/.  Apache Software Foundation. Hadoop. http:\/\/hadoop.apache.org\/."},{"key":"e_1_3_2_1_3_1","series-title":"NATO ASI Series F","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-3-642-87374-4_1","volume-title":"Logic of Programming and Calculi of Discrete Design","author":"Bird R. S.","year":"1987","unstructured":"R. S. Bird . An introduction to the theory of lists . In M. Broy, editor, Logic of Programming and Calculi of Discrete Design , volume 36 of NATO ASI Series F , pages 5 -- 42 . Springer , 1987 . R. S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F, pages 5--42. Springer, 1987."},{"key":"e_1_3_2_1_4_1","volume-title":"Introduction to Functional Programming using Haskell","author":"Bird R. S.","year":"1998","unstructured":"R. S. Bird . Introduction to Functional Programming using Haskell . Prentice Hall , 1998 . R. S. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647169.718145"},{"key":"e_1_3_2_1_6_1","volume-title":"Department of Computer Science","author":"Cole M.","year":"1993","unstructured":"M. Cole . List homomorphic parallel algorithms for bracket matching. Technical report , Department of Computer Science , University of Edinburgh , 1993 . M. Cole. List homomorphic parallel algorithms for bracket matching. Technical report, Department of Computer Science, University of Edinburgh, 1993."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626495000175"},{"key":"e_1_3_2_1_9_1","volume-title":"6th Symposium on Operating System Design and Implementation (OSDI2004)","author":"Dean J.","year":"2004","unstructured":"J. Dean and S. Ghemawat . MapReduce: Simplified data processing on large clusters . In 6th Symposium on Operating System Design and Implementation (OSDI2004) , December 6 --8 , 2004 , San Francisco, California, USA, pages 137--150, 2004. J. Dean and S. Ghemawat. MapReduce: Simplified data processing on large clusters. In 6th Symposium on Operating System Design and Implementation (OSDI2004), December 6--8, 2004, San Francisco, California, USA, pages 137--150, 2004."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0241-8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_13"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178255"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687568"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/973226.973230"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"S.\n      Gorlatch\n    .\n  Systematic efficient parallelization of scan and other list homomorphisms\n  . In L. Boug\u00e9 P. Fraigniaud A. Mignotte and Y. Robert editors Euro-Par '96 Parallel Processing Second International Euro-Par Conference Lyon France August 26--29 1996 Proceedings Volume \n  II volume 1124\n   of \n  Lecture Notes in Computer Science pages \n  401\n  --\n  408\n  . \n  Springer 1996.   S. Gorlatch. Systematic efficient parallelization of scan and other list homomorphisms. In L. Boug\u00e9 P. Fraigniaud A. Mignotte and Y. Robert editors Euro-Par '96 Parallel Processing Second International Euro-Par Conference Lyon France August 26--29 1996 Proceedings Volume II volume 1124 of Lecture Notes in Computer Science pages 401--408. Springer 1996.","DOI":"10.1007\/BFb0024729"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science 1140","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-61756-6_91","volume-title":"Programming languages: Implementation, Logics and Programs. PLILP'96","author":"Gorlatch S.","year":"1996","unstructured":"S. Gorlatch . Systematic extraction and implementation of divide-and-conquer parallelism . In H. Kuchen and D. Swierstra, editors, Programming languages: Implementation, Logics and Programs. PLILP'96 , Lecture Notes in Computer Science 1140 , pages 274 -- 288 . Springer-Verlag , 1996 . S. Gorlatch. Systematic extraction and implementation of divide-and-conquer parallelism. In H. Kuchen and D. Swierstra, editors, Programming languages: Implementation, Logics and Programs. PLILP'96, Lecture Notes in Computer Science 1140, pages 274--288. Springer-Verlag, 1996."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646668.700485"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256201"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268972"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033408.2033414"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328414"},{"key":"e_1_3_2_1_24_1","volume-title":"EPFL Lausanne","author":"Odersky M.","year":"2011","unstructured":"M. Odersky and al. The scala language specification, version 2.9. Technical report , EPFL Lausanne , Switzerland , 2011 . M. Odersky and al. The scala language specification, version 2.9. Technical report, EPFL Lausanne, Switzerland, 2011."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1155\/2005\/962135"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351254"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993554"},{"key":"e_1_3_2_1_28_1","series-title":"F","volume-title":"NATO ASI Workshop on Software for Parallel Computation, NATO ARW \"Software for Parallel Computation\"","author":"Skillicorn D. B.","year":"1992","unstructured":"D. B. Skillicorn . The Bird-Meertens formalism as a parallel model. In J. S. Kowalik and L. Grandinetti, editors, NATO ASI Workshop on Software for Parallel Computation, NATO ARW \"Software for Parallel Computation\" , volume 106 of F . Springer-Verlag NATO ASI , 1992 . D. B. Skillicorn. The Bird-Meertens formalism as a parallel model. In J. S. Kowalik and L. Grandinetti, editors, NATO ASI Workshop on Software for Parallel Computation, NATO ARW \"Software for Parallel Computation\", volume 106 of F. Springer-Verlag NATO ASI, 1992."},{"key":"e_1_3_2_1_29_1","first-page":"6","article-title":"Google's data interchange format. Technical report","author":"Varda K.","year":"2008","unstructured":"K. Varda . Protocol buffers : Google's data interchange format. Technical report , Google , 6 2008 . K. Varda. Protocol buffers: Google's data interchange format. Technical report, Google, 6 2008.","journal-title":"Google"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1967.1054010"},{"key":"e_1_3_2_1_31_1","first-page":"2","volume-title":"Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, NSDI'12","author":"Zaharia M.","year":"2012","unstructured":"M. Zaharia , M. Chowdhury , T. Das , A. Dave , J. Ma , M. McCauley , M. J. Franklin , S. Shenker , and I. Stoica . Resilient distributed datasets: a fault-tolerant abstraction for in-memory cluster computing . In Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, NSDI'12 , pages 2 -- 2 , Berkeley, CA, USA , 2012 . USENIX Association. M. Zaharia, M. Chowdhury, T. Das, A. Dave, J. Ma, M. McCauley, M. J. Franklin, S. Shenker, and I. Stoica. Resilient distributed datasets: a fault-tolerant abstraction for in-memory cluster computing. In Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, NSDI'12, pages 2--2, Berkeley, CA, USA, 2012. USENIX Association."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626496000285"}],"event":{"name":"PPoPP '13: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Shenzhen Guangdong China","acronym":"PPoPP '13"},"container-title":["Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442992.2443000","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442992.2443000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:48:57Z","timestamp":1750236537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442992.2443000"}},"subtitle":["systematic parallel programming for MapReduce"],"short-title":[],"issued":{"date-parts":[[2013,2,23]]},"references-count":31,"alternative-id":["10.1145\/2442992.2443000","10.1145\/2442992"],"URL":"https:\/\/doi.org\/10.1145\/2442992.2443000","relation":{},"subject":[],"published":{"date-parts":[[2013,2,23]]},"assertion":[{"value":"2013-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}