{"id":"https://openalex.org/W2008070495","doi":"https://doi.org/10.1145/2429069.2429128","title":"Optimizing data structures in high-level programs","display_name":"Optimizing data structures in high-level programs","publication_year":2013,"publication_date":"2013-01-22","ids":{"openalex":"https://openalex.org/W2008070495","doi":"https://doi.org/10.1145/2429069.2429128","mag":"2008070495"},"language":"en","primary_location":{"id":"doi:10.1145/2429069.2429128","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2429069.2429128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003153354","display_name":"Tiark Rompf","orcid":"https://orcid.org/0000-0002-2068-3238"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Tiark Rompf","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027289345","display_name":"Arvind K. Sujeeth","orcid":null},"institutions":[{"id":"https://openalex.org/I1743320","display_name":"Palo Alto University","ror":"https://ror.org/04f812k67","country_code":"US","type":"education","lineage":["https://openalex.org/I1743320"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arvind K. Sujeeth","raw_affiliation_strings":["Stanford University, Palo Alto, CA, USA","Stanford University, Palo Alto, CA USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Stanford University, Palo Alto, CA USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054275386","display_name":"Nada Amin","orcid":"https://orcid.org/0000-0002-0830-7248"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Nada Amin","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103616447","display_name":"Kevin J. Brown","orcid":null},"institutions":[{"id":"https://openalex.org/I1743320","display_name":"Palo Alto University","ror":"https://ror.org/04f812k67","country_code":"US","type":"education","lineage":["https://openalex.org/I1743320"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin J. Brown","raw_affiliation_strings":["Stanford University, Palo Alto, CA, USA","Stanford University, Palo Alto, CA USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Stanford University, Palo Alto, CA USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051245280","display_name":"Vojin Jovanovi\u0107","orcid":"https://orcid.org/0000-0002-1938-7706"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Vojin Jovanovic","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047315031","display_name":"HyoukJoong Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I1743320","display_name":"Palo Alto University","ror":"https://ror.org/04f812k67","country_code":"US","type":"education","lineage":["https://openalex.org/I1743320"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"HyoukJoong Lee","raw_affiliation_strings":["Stanford University, Palo Alto, CA, USA","Stanford University, Palo Alto, CA USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Stanford University, Palo Alto, CA USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079189408","display_name":"Manohar Jonnalagedda","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Manohar Jonnalagedda","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023857198","display_name":"Kunle Olukotun","orcid":"https://orcid.org/0000-0002-8779-0636"},"institutions":[{"id":"https://openalex.org/I1743320","display_name":"Palo Alto University","ror":"https://ror.org/04f812k67","country_code":"US","type":"education","lineage":["https://openalex.org/I1743320"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kunle Olukotun","raw_affiliation_strings":["Stanford University, Palo Alto, CA, USA","Stanford University, Palo Alto, CA USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Stanford University, Palo Alto, CA USA","institution_ids":["https://openalex.org/I1743320","https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085410724","display_name":"Martin Odersky","orcid":"https://orcid.org/0009-0005-3923-8993"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Martin Odersky","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":20.5555,"has_fulltext":false,"cited_by_count":95,"citation_normalized_percentile":{"value":0.99654653,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"497","last_page":"510"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.9481506943702698},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.858146071434021},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7033196687698364},{"id":"https://openalex.org/keywords/macro","display_name":"Macro","score":0.6065874099731445},{"id":"https://openalex.org/keywords/intermediate-language","display_name":"Intermediate language","score":0.5830572843551636},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5416262149810791},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5281636118888855},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.48876357078552246},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.4849303066730499},{"id":"https://openalex.org/keywords/cornerstone","display_name":"Cornerstone","score":0.44477930665016174},{"id":"https://openalex.org/keywords/external-data-representation","display_name":"External Data Representation","score":0.42492321133613586},{"id":"https://openalex.org/keywords/compiler-construction","display_name":"Compiler construction","score":0.4155541956424713},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3690505623817444},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17325037717819214}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.9481506943702698},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.858146071434021},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7033196687698364},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.6065874099731445},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.5830572843551636},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5416262149810791},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5281636118888855},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.48876357078552246},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4849303066730499},{"id":"https://openalex.org/C2780616401","wikidata":"https://www.wikidata.org/wiki/Q1133673","display_name":"Cornerstone","level":2,"score":0.44477930665016174},{"id":"https://openalex.org/C116409475","wikidata":"https://www.wikidata.org/wiki/Q1385056","display_name":"External Data Representation","level":2,"score":0.42492321133613586},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.4155541956424713},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3690505623817444},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17325037717819214},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2429069.2429128","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2429069.2429128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W45961263","https://openalex.org/W72484077","https://openalex.org/W84930537","https://openalex.org/W294835284","https://openalex.org/W1506948396","https://openalex.org/W1509935837","https://openalex.org/W1528193315","https://openalex.org/W1530741856","https://openalex.org/W1556604985","https://openalex.org/W1581501197","https://openalex.org/W1812582761","https://openalex.org/W1821569073","https://openalex.org/W1971559523","https://openalex.org/W1976218147","https://openalex.org/W1990529626","https://openalex.org/W1991079885","https://openalex.org/W2014725850","https://openalex.org/W2022744394","https://openalex.org/W2026667713","https://openalex.org/W2054056443","https://openalex.org/W2054625910","https://openalex.org/W2059895047","https://openalex.org/W2081124914","https://openalex.org/W2081418732","https://openalex.org/W2091465888","https://openalex.org/W2094455839","https://openalex.org/W2101718506","https://openalex.org/W2104896892","https://openalex.org/W2110423393","https://openalex.org/W2115841603","https://openalex.org/W2118927907","https://openalex.org/W2119664062","https://openalex.org/W2121410918","https://openalex.org/W2123092976","https://openalex.org/W2125346056","https://openalex.org/W2130179171","https://openalex.org/W2133051483","https://openalex.org/W2135144788","https://openalex.org/W2147578933","https://openalex.org/W2152397470","https://openalex.org/W2152885483","https://openalex.org/W2154697693","https://openalex.org/W2156429182","https://openalex.org/W2157036282","https://openalex.org/W2161151447","https://openalex.org/W2163496769","https://openalex.org/W2185470498","https://openalex.org/W2208923056","https://openalex.org/W2240938131","https://openalex.org/W2244101089","https://openalex.org/W2294771215","https://openalex.org/W2572804059","https://openalex.org/W2963514484","https://openalex.org/W3117114023","https://openalex.org/W4235903093","https://openalex.org/W4247332426","https://openalex.org/W6638610228"],"related_works":["https://openalex.org/W146591897","https://openalex.org/W4226439887","https://openalex.org/W2374859588","https://openalex.org/W2516139633","https://openalex.org/W2134386444","https://openalex.org/W1487052613","https://openalex.org/W2289487420","https://openalex.org/W2508091716","https://openalex.org/W3204847429","https://openalex.org/W2188615207"],"abstract_inverted_index":{"High":[0],"level":[1,109],"data":[2,30,110],"structures":[3,31],"are":[4,125],"a":[5,115],"cornerstone":[6],"of":[7,19,96,130],"modern":[8],"programming":[9],"and":[10,60],"at":[11,81],"the":[12,17,66,73,85,104,128,131],"same":[13],"time":[14],"stand":[15],"in":[16,84],"way":[18,117],"compiler":[20],"optimizations.":[21],"In":[22],"order":[23],"to":[24,34,39,56,102,118,121],"reason":[25],"about":[26],"user-":[27],"or":[28,49,88],"library-defined":[29],"compilers":[32,41,70],"need":[33],"be":[35,54],"extensible.":[36],"Common":[37],"mechanisms":[38,98],"extend":[40],"fall":[42],"into":[43],"two":[44],"categories.":[45],"Frontend":[46],"macros,":[47],"staging":[48],"partial":[50],"evaluation":[51],"systems":[52],"can":[53],"used":[55],"programmatically":[57],"remove":[58],"abstraction":[59],"specialize":[61],"programs":[62],"before":[63],"they":[64],"enter":[65],"compiler.":[67],"Alternatively,":[68],"some":[69],"allow":[71],"extending":[72],"internal":[74],"workings":[75],"by":[76,107],"adding":[77,89],"new":[78,90],"transformation":[79],"passes":[80],"different":[82],"points":[83],"compile":[86],"chain":[87],"intermediate":[91],"representation":[92],"(IR)":[93],"types.":[94],"None":[95],"these":[97],"alone":[99],"is":[100],"sufficient":[101],"handle":[103],"challenges":[105],"posed":[106],"high":[108],"structures.":[111],"This":[112],"paper":[113],"shows":[114],"novel":[116],"combine":[119],"them":[120],"yield":[122],"benefits":[123],"that":[124],"greater":[126],"than":[127],"sum":[129],"parts.":[132]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":15},{"year":2014,"cited_by_count":22},{"year":2013,"cited_by_count":16},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}