{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:29Z","timestamp":1772164049386,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T00:00:00Z","timestamp":1358899200000},"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,1,23]]},"DOI":"10.1145\/2429069.2429128","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T10:29:29Z","timestamp":1358850569000},"page":"497-510","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":74,"title":["Optimizing data structures in high-level programs"],"prefix":"10.1145","author":[{"given":"Tiark","family":"Rompf","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Arvind K.","family":"Sujeeth","sequence":"additional","affiliation":[{"name":"Stanford University, Palo Alto, CA, USA"}]},{"given":"Nada","family":"Amin","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Kevin J.","family":"Brown","sequence":"additional","affiliation":[{"name":"Stanford University, Palo Alto, CA, USA"}]},{"given":"Vojin","family":"Jovanovic","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"HyoukJoong","family":"Lee","sequence":"additional","affiliation":[{"name":"Stanford University, Palo Alto, CA, USA"}]},{"given":"Manohar","family":"Jonnalagedda","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Kunle","family":"Olukotun","sequence":"additional","affiliation":[{"name":"Stanford University, Palo Alto, CA, USA"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"BigData, 2012","author":"Ackermann S.","year":"1816","unstructured":"S. Ackermann , V. Jovanovic , T. Rompf , and M. Odersky . Jet: An embedded dsl for high performance big data processing . BigData, 2012 . http:\/\/infoscience.epfl.ch\/record\/ 1816 73\/files\/paper.pdf. S. Ackermann, V. Jovanovic, T. Rompf, and M. Odersky. Jet: An embedded dsl for high performance big data processing. BigData, 2012. http:\/\/infoscience.epfl.ch\/record\/181673\/files\/paper.pdf."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146812"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869469"},{"key":"e_1_3_2_2_4_1","first-page":"123","article-title":"Program transformation with scoped dynamic rewrite rules","volume":"69","author":"Bravenboer M.","year":"2005","unstructured":"M. Bravenboer , A. van Dam , K. Olmos , and E. Visser . Program transformation with scoped dynamic rewrite rules . Fundam. Inf. , 69 : 123 -- 178 , July 2005 . M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program transformation with scoped dynamic rewrite rules. Fundam. Inf., 69: 123--178, July 2005.","journal-title":"Fundam. Inf."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.15"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954190"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201061"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(89)90113-0"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"C.\n      Elliott S.\n      Finne and \n      O.\n      de Moor\n    .\n  Compiling embedded languages\n  . In W. Taha editor phSemantics Applications and Implementation of Program Generation volume \n  1924\n   of \n  Lecture Notes in Computer Science pages \n  9\n  --\n  26\n  . \n  Springer Berlin \/ Heidelberg 2000\n  .   C. Elliott S. Finne and O. de Moor. Compiling embedded languages. In W. Taha editor phSemantics Applications and Implementation of Program Generation volume 1924 of Lecture Notes in Computer Science pages 9--26. Springer Berlin \/ Heidelberg 2000.","DOI":"10.1007\/3-540-45350-4_5"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010095604496"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11964681_11"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449814.1449858"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449935"},{"key":"e_1_3_2_2_19_1","volume-title":"Meta Programming System","year":"2009","unstructured":"JetBrains. Meta Programming System , 2009 . URL http:\/\/www.jetbrains.com\/mps\/. JetBrains. Meta Programming System, 2009. URL http:\/\/www.jetbrains.com\/mps\/."},{"key":"e_1_3_2_2_20_1","volume-title":"Partial evaluation and automatic program generation","author":"Jones N. D.","year":"1993","unstructured":"N. D. Jones , C. K. Gomard , and P. Sestoft . Partial evaluation and automatic program generation . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1993 . N. D. Jones, C. K. Gomard, and P. Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1993."},{"key":"e_1_3_2_2_21_1","volume-title":"FSTTCS","author":"Jones S. L. P.","year":"2008","unstructured":"S. L. P. Jones , R. Leshchinskiy , G. Keller , and M. M. T. Chakravarty . Harnessing the Multicores: Nested Data Parallelism in Haskell . In FSTTCS , 2008 . S. L. P. Jones, R. Leshchinskiy, G. Keller, and M. M. T. Chakravarty. Harnessing the Multicores: Nested Data Parallelism in Haskell. In FSTTCS, 2008."},{"key":"e_1_3_2_2_22_1","volume-title":"Haskell","author":"Jones S. P.","year":"2001","unstructured":"S. P. Jones , A. Tolmach , and T. Hoare . Playing by the rules: rewriting as a practical optimisation technique in ghc . Haskell , 2001 . S. P. Jones, A. Tolmach, and T. Hoare. Playing by the rules: rewriting as a practical optimisation technique in ghc. Haskell, 2001."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646894.709588"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869592"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75302"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840447"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_19"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2011.68"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503298"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781156"},{"key":"e_1_3_2_2_31_1","volume-title":"dk.brics.automaton -- finite-state automata and regular expressions for Java","author":"M\u00f8ller A.","year":"2010","unstructured":"A. M\u00f8ller . dk.brics.automaton -- finite-state automata and regular expressions for Java , 2010 .texttthttp:\/\/www.brics.dk\/automaton\/. A. M\u00f8ller. dk.brics.automaton -- finite-state automata and regular expressions for Java, 2010.texttthttp:\/\/www.brics.dk\/automaton\/."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103746.2103769"},{"key":"e_1_3_2_2_33_1","volume-title":"CC","author":"Nystrom N.","year":"2003","unstructured":"N. Nystrom , M. R. Clarkson , and A. C. Myers . Polyglot: An extensible compiler framework for java . In CC , 2003 . N. Nystrom, M. R. Clarkson, and A. C. Myers. Polyglot: An extensible compiler framework for java. In CC, 2003."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047883"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808007090"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/11925040_5"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2184319.2184345"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596596"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.66.5"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048098"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231419"},{"key":"e_1_3_2_2_44_1","volume-title":"ICML","author":"Sujeeth A. K.","year":"2011","unstructured":"A. K. Sujeeth , H. Lee , K. J. Brown , T. Rompf , M. Wu , A. R. Atreya , M. Odersky , and K. Olukotun . OptiML: an implicitly parallel domain-specific language for machine learning . ICML , 2011 . A. K. Sujeeth, H. Lee, K. J. Brown, T. Rompf, M. Wu, A. R. Atreya, M. Odersky, and K. Olukotun. OptiML: an implicitly parallel domain-specific language for machine learning. ICML, 2011."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012984529382"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706345"},{"key":"e_1_3_2_2_49_1","volume-title":"Partial evaluation for higher-order languages with state. Technical report","author":"Thiemann P.","year":"1999","unstructured":"P. Thiemann and D. Dussart . Partial evaluation for higher-order languages with state. Technical report , 1999 . URL http:\/\/www.informatik.uni-freiburg.de\/ thiemann\/papers\/mlpe.ps.gz. P. Thiemann and D. Dussart. Partial evaluation for higher-order languages with state. Technical report, 1999. URL http:\/\/www.informatik.uni-freiburg.de\/ thiemann\/papers\/mlpe.ps.gz."},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993514"},{"key":"e_1_3_2_2_51_1","volume-title":"C++gems","author":"Veldhuizen T. L.","year":"1996","unstructured":"T. L. Veldhuizen . Expression templates , C++gems . SIGS Publications, Inc. , New York, NY , 1996 . T. L. Veldhuizen. Expression templates, C++gems. SIGS Publications, Inc., New York, NY, 1996."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/646894.709708"},{"key":"e_1_3_2_2_53_1","volume-title":"Combining optimizations, combining theories. Technical report","author":"Veldhuizen T. L.","year":"2008","unstructured":"T. L. Veldhuizen and J. G. Siek . Combining optimizations, combining theories. Technical report , Indiana University , 2008 . T. L. Veldhuizen and J. G. Siek. Combining optimizations, combining theories. Technical report, Indiana University, 2008."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90147-A"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Rome Italy","acronym":"POPL '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429128","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429069.2429128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:35Z","timestamp":1750221335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429128"}},"subtitle":["new directions for extensible compilers based on staging"],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":53,"alternative-id":["10.1145\/2429069.2429128","10.1145\/2429069"],"URL":"https:\/\/doi.org\/10.1145\/2429069.2429128","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2480359.2429128","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,1,23]]},"assertion":[{"value":"2013-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}