{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:47Z","timestamp":1750221167958,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T00:00:00Z","timestamp":1504051200000},"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":[[2017,8,30]]},"DOI":"10.1145\/3205368.3205369","type":"proceedings-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T12:09:54Z","timestamp":1534248594000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Pattern Candidate Discovery and Parallelization Techniques"],"prefix":"10.1145","author":[{"given":"Melinda","family":"T\u00f3th","sequence":"first","affiliation":[{"name":"ELTE, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"Boz\u00f3","sequence":"additional","affiliation":[{"name":"ELTE, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tam\u00e1s","family":"Kozsik","sequence":"additional","affiliation":[{"name":"ELTE, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming, S. Gorlatch (Ed.). Fakult\u00e4t f\u00fcr mathematik und informatik, Uni","author":"Aldinucci Marco","year":"1998","unstructured":"Marco Aldinucci , Massimo Coppola , and Marco Danelutto . 1998 . Rewriting Skeleton Programs: How to Evaluate the Data-Parallel Stream-Parallel Tradeoff . In Proc of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming, S. Gorlatch (Ed.). Fakult\u00e4t f\u00fcr mathematik und informatik, Uni . Passau, Germany, Germany, 44--58. http:\/\/www.di.unipi.it\/~aldinuc\/paper_files\/ 1998_transf_cmpp.pdf Marco Aldinucci, Massimo Coppola, and Marco Danelutto. 1998. Rewriting Skeleton Programs: How to Evaluate the Data-Parallel Stream-Parallel Tradeoff. In Proc of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming, S. Gorlatch (Ed.). Fakult\u00e4t f\u00fcr mathematik und informatik, Uni. Passau, Germany, Germany, 44--58. http:\/\/www.di.unipi.it\/~aldinuc\/paper_files\/1998_transf_cmpp.pdf"},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Programming Erlang. The Pragmatic Bookshelf, 548 pages","volume":"978","author":"Armstrong Joe","year":"2013","unstructured":"Joe Armstrong . 2013 . Programming Erlang. The Pragmatic Bookshelf, 548 pages , ISBN 978 . 1 - 93778 -533-6, NC, USA. Joe Armstrong. 2013. Programming Erlang. The Pragmatic Bookshelf, 548 pages, ISBN 978.1-93778-533-6, NC, USA.","journal-title":"ISBN"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364489.2364495"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40447-4_19"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40447-4_17"},{"volume-title":"Trends in Functional Programming","author":"Boz\u00f3 Istv\u00e1n","key":"e_1_3_2_1_6_1","unstructured":"Istv\u00e1n Boz\u00f3 , Viktoria F\u00f6rd\u0151s , D\u00e1niel Horp\u00e1csi , Zolt\u00e1n Horv\u00e1th , Tam\u00e1s Kozsik , Judit K\u0151szegi , and Melinda T\u00f3th . 2015. Refactorings to Enable Parallelization . In Trends in Functional Programming , Jurriaan Hage and Jay McCarthy (Eds.). Springer International Publishing , Berlin, Heidelberg , 104--121. Istv\u00e1n Boz\u00f3, Viktoria F\u00f6rd\u0151s, D\u00e1niel Horp\u00e1csi, Zolt\u00e1n Horv\u00e1th, Tam\u00e1s Kozsik, Judit K\u0151szegi, and Melinda T\u00f3th. 2015. Refactorings to Enable Parallelization. In Trends in Functional Programming, Jurriaan Hage and Jay McCarthy (Eds.). Springer International Publishing, Berlin, Heidelberg, 104--121."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633448.2633453"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 12th Symposium on Programming Languages and Software Tools. Proceedings of the Estonian Academy of Sciences, Tallin, Estonia, 138--148","author":"Boz\u00f3 I.","year":"2011","unstructured":"I. Boz\u00f3 , D. Horp\u00e1csi , Z. Horv\u00e1th , R. Kitlei , J. K\u0151szegi , M. Tejfel , and M T\u00f3th . 2011 . RefactorErl - Source Code Analysis and Refactoring in Erlang . In Proceedings of the 12th Symposium on Programming Languages and Software Tools. Proceedings of the Estonian Academy of Sciences, Tallin, Estonia, 138--148 . I. Boz\u00f3, D. Horp\u00e1csi, Z. Horv\u00e1th, R. Kitlei, J. K\u0151szegi, M. Tejfel, and M T\u00f3th. 2011. RefactorErl - Source Code Analysis and Refactoring in Erlang. In Proceedings of the 12th Symposium on Programming Languages and Software Tools. Proceedings of the Estonian Academy of Sciences, Tallin, Estonia, 138--148."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2630180.2630190"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2014.94"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32037-8_6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_13_1","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"Cole Murray","year":"1991","unstructured":"Murray Cole . 1991 . Algorithmic Skeletons: Structured Management of Parallel Computation . MIT Press , Cambridge, MA, USA . Murray Cole. 1991. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2003.12.002"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209940"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070539"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1984693.1984700"},{"key":"e_1_3_2_1_19_1","unstructured":"Faculty of Informatics ELTE. 2017. RefactorErl Home Page. (2017). http:\/\/plc.inf.elte.hu\/erlang\/.  Faculty of Informatics ELTE. 2017. RefactorErl Home Page. (2017). http:\/\/plc.inf.elte.hu\/erlang\/."},{"key":"e_1_3_2_1_20_1","unstructured":"Faculty of Informatics ELTE. 2017. Wiki page of the ParaPhrase Refactoring Tool for Erlang. (2017). http:\/\/pnyf.inf.elte.hu\/trac\/refactorerl\/wiki\/parte.  Faculty of Informatics ELTE. 2017. Wiki page of the ParaPhrase Refactoring Tool for Erlang. (2017). http:\/\/pnyf.inf.elte.hu\/trac\/refactorerl\/wiki\/parte."},{"key":"e_1_3_2_1_21_1","first-page":"579","article-title":"Automated transformation of sequential divide-and-conquer algorithms into parallel programs","volume":"14","author":"Freisleben B.","year":"1995","unstructured":"B. Freisleben and T. Kielmann . 1995 . Automated transformation of sequential divide-and-conquer algorithms into parallel programs . Computing and Informatics 14 (1995), 579 -- 596 . Issue 6. B. Freisleben and T. Kielmann. 1995. Automated transformation of sequential divide-and-conquer algorithms into parallel programs. Computing and Informatics 14 (1995), 579--596. Issue 6.","journal-title":"Computing and Informatics"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWMSE.2009.5071383"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Sscience","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 Sscience , Vol. 7542 . Springer, Berlin , Heidelberg , 218--236. 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 Sscience, Vol. 7542. Springer, Berlin, Heidelberg, 218--236."},{"volume-title":"Learn You Some Erlang for Great Good! No Starch Press","author":"Hebert Fred","key":"e_1_3_2_1_24_1","unstructured":"Fred Hebert . 2013. Learn You Some Erlang for Great Good! No Starch Press , San Francisco, CA 94103 USA. Fred Hebert. 2013. Learn You Some Erlang for Great Good! No Starch Press, San Francisco, CA 94103 USA."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.216.5"},{"key":"e_1_3_2_1_26_1","first-page":"764","article-title":"Static analysis for divide-and-conquer pattern discovery","volume":"35","author":"Kozsik Tam\u00e1s","year":"2017","unstructured":"Tam\u00e1s Kozsik , Melinda T\u00f3th , Istv\u00e1n Boz\u00f3 , and Zolt\u00e1n Horv\u00e1th . 2017 . Static analysis for divide-and-conquer pattern discovery . Computing and Informatics 35 (2017), 764 -- 791 . Issue 4. Tam\u00e1s Kozsik, Melinda T\u00f3th, Istv\u00e1n Boz\u00f3, and Zolt\u00e1n Horv\u00e1th. 2017. Static analysis for divide-and-conquer pattern discovery. Computing and Informatics 35 (2017), 764--791. Issue 4.","journal-title":"Computing and Informatics"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.05.011"},{"key":"e_1_3_2_1_28_1","unstructured":"Lapedo. 2014. Available at http:\/\/lapedo.weebly.com\/. (2014).  Lapedo. 2014. Available at http:\/\/lapedo.weebly.com\/. (2014)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1636642.1636644"},{"key":"e_1_3_2_1_30_1","unstructured":"M. Logan E. Merritt and R. Carlsson. 2010. Erlang and OTP in Action. Manning Publications Co. ISBN 9781933988788. New York USA.   M. Logan E. Merritt and R. Carlsson. 2010. Erlang and OTP in Action. Manning Publications Co. ISBN 9781933988788. New York USA."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32096-5_4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1887695.1887700"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 3rd ACM Workshop on Refactoring Tools.","author":"Shane","year":"2009","unstructured":"Shane A. Markstrum and Robert M. Fuhrer. 2009. Extracting Concurrency via Refactoring in X10 , in Proceedings of the 3rd ACM Workshop on Refactoring Tools. ( 2009 ). http:\/\/refactoring.info\/WRT09\/#program Shane A. Markstrum and Robert M. Fuhrer. 2009. Extracting Concurrency via Refactoring in X10, in Proceedings of the 3rd ACM Workshop on Refactoring Tools. (2009). http:\/\/refactoring.info\/WRT09\/#program"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504226"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32096-5_7"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of 9th International Workshop on Implementation of Functional Languages. IFL'97","author":"Michaelson Greg","year":"1997","unstructured":"Greg Michaelson , Andrew Ireland , and Peter King . 1997 . Towards a Skeleton Based Parallelising Compiler for SML . In Proceedings of 9th International Workshop on Implementation of Functional Languages. IFL'97 , St. Andrews, Scotland, UK, 539--546. Greg Michaelson, Andrew Ireland, and Peter King. 1997. Towards a Skeleton Based Parallelising Compiler for SML. In Proceedings of 9th International Workshop on Implementation of Functional Languages. IFL'97, St. Andrews, Scotland, UK, 539--546."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2013.49"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31202-1_8"},{"volume-title":"Advanced Compiler Design and Implementation","author":"Muchnick Steven S.","key":"e_1_3_2_1_39_1","unstructured":"Steven S. Muchnick . 1997. Advanced Compiler Design and Implementation . Morgan Kaufmann Publishers, Inc. , Burlington, Massachusetts . Steven S. Muchnick. 1997. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, Inc., Burlington, Massachusetts."},{"key":"e_1_3_2_1_40_1","volume-title":"corrected","author":"Nielson Flemming","year":"2005","unstructured":"Flemming Nielson , Hanne R. Nielson , and Chris Hankin . 1999 , corrected 2005 . Principles of Program Analysis. Springer , Berlin, Heidelberg. Flemming Nielson, Hanne R. Nielson, and Chris Hankin. 1999, corrected 2005. Principles of Program Analysis. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_42_1","first-page":"137","article-title":"Purity in Erlang. Proc. 22nd Int'l Conf. on Implementation and Application of Functional Languages, Lecture Notes in Computer Science,Springer Berlin","volume":"6647","author":"Pitidis M.","year":"2011","unstructured":"M. Pitidis and K. Sagonas . 2011 . Purity in Erlang. Proc. 22nd Int'l Conf. on Implementation and Application of Functional Languages, Lecture Notes in Computer Science,Springer Berlin , Heidelberg 6647 (2011), 137 -- 152 . M. Pitidis and K. Sagonas. 2011. Purity in Erlang. Proc. 22nd Int'l Conf. on Implementation and Application of Functional Languages, Lecture Notes in Computer Science,Springer Berlin, Heidelberg 6647 (2011), 137--152.","journal-title":"Heidelberg"},{"key":"e_1_3_2_1_43_1","unstructured":"Skel Tutorial. 2014. Available at http:\/\/chrisb.host.cs.st-andrews.ac.uk\/skel-test-master\/tutorial\/bin\/tutorial.html. (2014).  Skel Tutorial. 2014. Available at http:\/\/chrisb.host.cs.st-andrews.ac.uk\/skel-test-master\/tutorial\/bin\/tutorial.html. (2014)."},{"key":"e_1_3_2_1_44_1","unstructured":"The ParaPhrase project. 2014. http:\/\/www.paraphrase-ict.eu. (2014).  The ParaPhrase project. 2014. http:\/\/www.paraphrase-ict.eu. (2014)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32096-5_9"},{"key":"e_1_3_2_1_46_1","unstructured":"AHG University. 2014. Multi Agent System. (2014). https:\/\/github.com\/ParaPhraseAGH\/erlang-mas\/tree\/0.1.  AHG University. 2014. Multi Agent System. (2014). https:\/\/github.com\/ParaPhraseAGH\/erlang-mas\/tree\/0.1."},{"key":"e_1_3_2_1_47_1","unstructured":"Uppsala University. 2017. The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs. (2017). http:\/\/www.it.uu.se\/research\/group\/hipe\/dialyzer.  Uppsala University. 2017. The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs. (2017). http:\/\/www.it.uu.se\/research\/group\/hipe\/dialyzer."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595723"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"V.\n      Zs\u00f3k Z.\n      Herny\u00e1k and \n      Z.\n      Horv\u00e1th\n  . \n  2006\n  . Designing Distributed Computational Skeletons in D-Clean and D-Box. Central European Functional Programming School Lecture Notes in Computer Science Springer\n   4146 (2006) 223--256.  V. Zs\u00f3k Z. Herny\u00e1k and Z. Horv\u00e1th. 2006. Designing Distributed Computational Skeletons in D-Clean and D-Box. Central European Functional Programming School Lecture Notes in Computer Science Springer 4146 (2006) 223--256.","DOI":"10.1007\/11894100_8"}],"event":{"name":"IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages","sponsor":["ACM Association for Computing Machinery","The University of Bristol The University of Bristol","ERLANG Erlang Solutions Ltd."],"location":"Bristol United Kingdom","acronym":"IFL 2017"},"container-title":["Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3205368.3205369","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3205368.3205369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:55Z","timestamp":1750208935000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3205368.3205369"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,30]]},"references-count":48,"alternative-id":["10.1145\/3205368.3205369","10.1145\/3205368"],"URL":"https:\/\/doi.org\/10.1145\/3205368.3205369","relation":{},"subject":[],"published":{"date-parts":[[2017,8,30]]},"assertion":[{"value":"2017-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}