{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:58Z","timestamp":1750306258287,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,2]],"date-time":"2017-01-02T00:00:00Z","timestamp":1483315200000},"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,1,2]]},"DOI":"10.1145\/3018882.3018890","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T21:20:29Z","timestamp":1482441629000},"page":"47-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Interactive data representation migration: exploiting program dependence to aid program transformation"],"prefix":"10.1145","author":[{"given":"Krishna","family":"Narasimhan","sequence":"first","affiliation":[{"name":"Goethe University Frankfurt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Reichenbach","sequence":"additional","affiliation":[{"name":"R\u00b2 Software & Systeme, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia","family":"Lawall","sequence":"additional","affiliation":[{"name":"Sorbonne, France \/ UPMC, France \/ Inria, France \/ LIP6, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,1,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Amanda S. Memory layout transformations. https:\/\/software.intel.com\/en-us\/articles\/ memory-layout-transformations.  Amanda S. Memory layout transformations. https:\/\/software.intel.com\/en-us\/articles\/ memory-layout-transformations."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/256428.167078"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_5_1","unstructured":"cppreference.com. decltype specifier. http:\/\/en.cppreference.com\/w\/cpp\/language\/decltype.  cppreference.com. decltype specifier. http:\/\/en.cppreference.com\/w\/cpp\/language\/decltype."},{"key":"e_1_3_2_1_6_1","unstructured":"Eclipse. http:\/\/www.eclipse.org\/.  Eclipse. http:\/\/www.eclipse.org\/."},{"key":"e_1_3_2_1_7_1","unstructured":"Eclipse CDT. http:\/\/www.eclipse.org\/cdt\/.  Eclipse CDT. http:\/\/www.eclipse.org\/cdt\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_9_1","unstructured":"GNU. GMP library. https:\/\/gmplib.org\/.  GNU. GMP library. https:\/\/gmplib.org\/."},{"key":"e_1_3_2_1_10_1","unstructured":"M. Kretz. Vc: Cartesian to polar co-ordinates. http:\/\/code.compeng.uni-frankfurt.de\/docs\/Vc-0.7\/ ex-polarcoord.html.  M. Kretz. Vc: Cartesian to polar co-ordinates. http:\/\/code.compeng.uni-frankfurt.de\/docs\/Vc-0.7\/ ex-polarcoord.html."},{"key":"e_1_3_2_1_11_1","volume-title":"Efficient use of multi- and many-core systems with vectorization and multithreading. Master\u2019s thesis","author":"Kretz M.","year":"2009","unstructured":"M. Kretz . Efficient use of multi- and many-core systems with vectorization and multithreading. Master\u2019s thesis , University of Heidelberg , 2009 . M. Kretz. Efficient use of multi- and many-core systems with vectorization and multithreading. Master\u2019s thesis, University of Heidelberg, 2009."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1149"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1980.11805"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/942572.807045"},{"key":"e_1_3_2_1_15_1","first-page":"98","volume-title":"Selected Papers from the 3rd Scottish Functional Programming Workshop, SFP \u201901","author":"McAdam B. J.","year":"2001","unstructured":"B. J. McAdam . How to repair type errors automatically . In Selected Papers from the 3rd Scottish Functional Programming Workshop, SFP \u201901 , pages 87\u2013 98 , Exeter, UK , UK, 2001 . Intellect Books . B. J. McAdam. How to repair type errors automatically. In Selected Papers from the 3rd Scottish Functional Programming Workshop, SFP \u201901, pages 87\u201398, Exeter, UK, UK, 2001. Intellect Books."},{"key":"e_1_3_2_1_16_1","first-page":"76","volume-title":"Proceedings of the 12th International Conference on Compiler Construction, CC\u201903","author":"Moreau P.-E.","unstructured":"P.-E. Moreau , C. Ringeissen , and M. Vittek . A pattern matching compiler for multiple target languages . In Proceedings of the 12th International Conference on Compiler Construction, CC\u201903 , pages 61\u2013 76 . Springer-Verlag, 2003. P.-E. Moreau, C. Ringeissen, and M. Vittek. A pattern matching compiler for multiple target languages. In Proceedings of the 12th International Conference on Compiler Construction, CC\u201903, pages 61\u201376. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352618"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2346"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_18"},{"key":"e_1_3_2_1_20_1","unstructured":"S. Sankaranarayan. Tutorial on GMP. https:\/\/www.cs.colorado.edu\/\u02dcsrirams\/courses\/ csci2824-spr14\/gmpTutorial.html.  S. Sankaranarayan. Tutorial on GMP. https:\/\/www.cs.colorado.edu\/\u02dcsrirams\/courses\/ csci2824-spr14\/gmpTutorial.html."},{"key":"e_1_3_2_1_21_1","first-page":"393","volume-title":"ECOOP","author":"Sch\u00e4fer M.","unstructured":"M. Sch\u00e4fer , M. Verbaere , T. Ekman , and O. Moor . Stepping stones over the refactoring Rubicon . In ECOOP , pages 369\u2013 393 . Springer-Verlag, 2009. M. Sch\u00e4fer, M. Verbaere, T. Ekman, and O. Moor. Stepping stones over the refactoring Rubicon. In ECOOP, pages 369\u2013393. Springer-Verlag, 2009."},{"key":"e_1_3_2_1_22_1","first-page":"262","volume-title":"European Conference on Parallel Processing","author":"Sharma K.","unstructured":"K. Sharma , I. Karlin , J. Keasler , J. R. McGraw , and V. Sarkar . Data layout optimization for portable performance . In European Conference on Parallel Processing , pages 250\u2013 262 . Springer Berlin Heidelberg, 2015. K. Sharma, I. Karlin, J. Keasler, J. R. McGraw, and V. Sarkar. Data layout optimization for portable performance. In European Conference on Parallel Processing, pages 250\u2013262. Springer Berlin Heidelberg, 2015."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328464"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Paris France","acronym":"POPL '17"},"container-title":["Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018890","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018882.3018890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:12Z","timestamp":1750220652000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,2]]},"references-count":23,"alternative-id":["10.1145\/3018882.3018890","10.1145\/3018882"],"URL":"https:\/\/doi.org\/10.1145\/3018882.3018890","relation":{},"subject":[],"published":{"date-parts":[[2017,1,2]]},"assertion":[{"value":"2017-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}