{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T10:08:38Z","timestamp":1749118118095},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319146744"},{"type":"electronic","value":"9783319146751"}],"license":[{"start":{"date-parts":[[2014,12,27]],"date-time":"2014-12-27T00:00:00Z","timestamp":1419638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14675-1_7","type":"book-chapter","created":{"date-parts":[[2014,12,26]],"date-time":"2014-12-26T10:10:25Z","timestamp":1419588625000},"page":"104-121","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Refactorings to Enable Parallelization"],"prefix":"10.1007","author":[{"given":"Istv\u00e1n","family":"Boz\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vikt\u00f3ria","family":"F\u00f6rd\u0151s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Horp\u00e1csi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tam\u00e1s","family":"Kozsik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judit","family":"K\u0151szegi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melinda","family":"T\u00f3th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,27]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-35887-6_12","volume-title":"Formal Methods for Components and Objects","author":"K Hammond","year":"2013","unstructured":"Hammond, K., Aldinucci, M., Brown, C., Cesarini, F., Danelutto, M., Gonz\u00e1lez-V\u00e9lez, H., Kilpatrick, P., Keller, R., Rossbory, M., Shainer, G.: The ParaPhrase project: parallel patterns for adaptive heterogeneous multicore systems. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 218\u2013236. Springer, Heidelberg (2013)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Boz\u00f3, I., F\u00f6rd\u0151s, V., Horv\u00e1th, Z., T\u00f3th, M., Horp\u00e1csi, D., Kozsik, T., K\u0151szegi, J., Barwell, A., Brown, C., Hammond, K.: Discovering parallel pattern candidates in erlang. In: Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang, Erlang 2014, pp. 13\u201323. ACM, New York (2014)","DOI":"10.1145\/2633448.2633453"},{"key":"7_CR3","unstructured":"Skel Tutorial (2014), \n                    http:\/\/chrisb.host.cs.st-andrews.ac.uk\/skel-test-master\/tutorial\/bin\/tutorial.html"},{"key":"7_CR4","unstructured":"The ParaPhrase project (2014), \n                    http:\/\/www.paraphrase-ict.eu"},{"key":"7_CR5","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"M Cole","year":"1991","unstructured":"Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, Cambridge (1991)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Brown, C., Danelutto, M., Hammond, K., Kilpatrick, P., Elliot, A.: Cost-directed refactoring for parallel erlang programs. Int\u2019l J. of Parallel Programming (2013)","DOI":"10.1007\/s10766-013-0266-5"},{"key":"7_CR7","unstructured":"Brown, C., Janjic, V., Hammond, K., Goli, M., McCall, J.: Bridging the divide: intelligent mapping for the heterogeneous parallel programmer. In: ICPP 2013 (2013)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-642-32096-5_9","volume-title":"Central European Functional Programming School","author":"M T\u00f3th","year":"2012","unstructured":"T\u00f3th, M., Boz\u00f3, I.: Static analysis of complex software systems implemented in Erlang. In: Zs\u00f3k, V., Horv\u00e1th, Z., Plasmeijer, R. (eds.) CEFP. LNCS, vol. 7241, pp. 440\u2013498. Springer, Heidelberg (2012)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Hammacher, C., Streit, K., Hack, S., Zeller, A.: Profiling java programs for parallelism. In: Proc. IWMSE 2009, pp. 49\u201355 (2009)","DOI":"10.1109\/IWMSE.2009.5071383"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Markstrum, S.A., Fuhrer, R.M.: Extracting concurrency via refactoring in X10. In: Proceedings of the 3rd ACM Workshop on Refactoring Tools, WRT 2009 (2009)","DOI":"10.1145\/1594835.1504226"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Markstrum, S.A., Fuhrer, R.M., Millstein, T.D.: Towards concurrency refactoring for x10. In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2009, pp. 303\u2013304. ACM, New York (2009)","DOI":"10.1145\/1504176.1504226"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Wloka, J., Sridharan, M., Tip, F.: Refactoring for reentrancy. In: ESEC\/FSE 2009, pp. 173\u2013182. ACM, Amsterdam (2009)","DOI":"10.1145\/1595696.1595723"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Molitorisz, K.: Pattern-based refactoring process of sequential source code. In: 2013 17th European Conference on Software Maintenance and Reengineering (CSMR), March 2013, pp. 357\u2013360 (2013)","DOI":"10.1109\/CSMR.2013.49"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-31202-1_8","volume-title":"Multicore Software Engineering, Performance, and Tools","author":"K Molitorisz","year":"2012","unstructured":"Molitorisz, K., Schimmel, J., Otto, F.: Automatic parallelization using autofutures. In: Pankratius, V., Philippsen, M. (eds.) MSEPT 2012. LNCS, vol. 7303, pp. 78\u201381. Springer, Heidelberg (2012)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/MS.2011.1","volume":"28","author":"D Dig","year":"2011","unstructured":"Dig, D.: A Refactoring Approach to Parallelism. IEEE Softw. 28, 17\u201322 (2011)","journal-title":"IEEE Softw."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Dig, D., Marrero, J., Ernst, M.D.: How do programs become more concurrent: A story of program transformations. In: Proceedings of the 4th International Workshop on Multicore Software Engineering, IWMSE 2011, pp. 43\u201350. ACM, New York (2011)","DOI":"10.1145\/1984693.1984700"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Dig, D., Marrero, J., Ernst, M.D.: Refactoring sequential java code for concurrency via concurrent libraries. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009, pp. 397\u2013407. IEEE Computer Society, Washington (2009)","DOI":"10.1109\/ICSE.2009.5070539"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-15277-1_4","volume-title":"Euro-Par 2010 - Parallel Processing","author":"J Mak","year":"2010","unstructured":"Mak, J., Fax\u00e9n, K.-F., Janson, S., Mycroft, A.: Estimating and exploiting potential parallelism by source-level dependence profiling. In: D\u2019Ambra, P., Guarracino, M., Talia, D. (eds.) Euro-Par 2010, Part I. LNCS, vol. 6271, pp. 26\u201337. Springer, Heidelberg (2010)"},{"issue":"3","key":"7_CR19","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.parco.2003.12.002","volume":"30","author":"M Cole","year":"2004","unstructured":"Cole, M.: Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming. Parallel Comput. 30(3), 389\u2013406 (2004)","journal-title":"Parallel Comput."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Darlington, J., Guo, Y., Jing, Y., To, H.W.: Skeletons for structured parallel composition. In: Proc. of the 15th Symposium on Principles and Practice of Parallel Programming (1995)","DOI":"10.1145\/209936.209940"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Brown, C., Janjic, V., Hammond, K., Sch\u00f6ner, H., Idrees, K., Glass, C.W.: Agricultural reform: more efficient farming using advanced parallel refactoring tools. In: Proc. PDP 2014. IEEE (2014)","DOI":"10.1109\/PDP.2014.94"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Aronis, S., Sagonas, K.: On using erlang for parallelization: experience from parallelizing dialyzer. In: Proceedings of the Symposium on Trends in Functional Programming (2012)","DOI":"10.1007\/978-3-642-40447-4_19"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Aronis, S., Papaspyrou, N., Roukounaki, K., Sagonas, K., Tsiouris, Y., Venetis, I.E.: A scalability benchmark suite for Erlang\/OTP. In: Proc. of 11th ACM SIGPLAN Workshop on Erlang, pp. 33\u201342. ACM, New York (2012)","DOI":"10.1145\/2364489.2364495"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Brown, C., Loidl, H., Hammond, K.: Paraforming: forming haskell programs using novel refactoring techniques. In: Twelth Symposium on Trends in Functional Programming, May 2011. Madrid, Spain (2011)","DOI":"10.1007\/978-3-642-32037-8_6"},{"key":"7_CR25","unstructured":"Michaelson, G., Ireland, A., King, P.: Towards a skeleton based parallelising compiler for SML. In: Proceedings of 9th International Workshop on Implementation of Functional Languages, pp. 539\u2013546 (1997)"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14675-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T22:13:44Z","timestamp":1559081624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14675-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,27]]},"ISBN":["9783319146744","9783319146751"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14675-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014,12,27]]},"assertion":[{"value":"27 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}