{"id":"https://openalex.org/W2166505330","doi":"https://doi.org/10.1145/2048066.2048124","title":"Self-adjusting stack machines","display_name":"Self-adjusting stack machines","publication_year":2011,"publication_date":"2011-10-22","ids":{"openalex":"https://openalex.org/W2166505330","doi":"https://doi.org/10.1145/2048066.2048124","mag":"2166505330"},"language":"en","primary_location":{"id":"doi:10.1145/2048066.2048124","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2048066.2048124","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications","raw_type":"proceedings-article"},"type":"conference-paper","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/A5030683830","display_name":"Matthew A. Hammer","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthew A. Hammer","raw_affiliation_strings":["Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025236836","display_name":"Georg Neis","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Georg Neis","raw_affiliation_strings":["Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100378041","display_name":"Yan Chen","orcid":"https://orcid.org/0000-0001-9066-2523"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yan Chen","raw_affiliation_strings":["Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015051107","display_name":"Umut A. Acar","orcid":"https://orcid.org/0000-0002-2623-4986"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Umut A. Acar","raw_affiliation_strings":["Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210121786"],"apc_list":null,"apc_paid":null,"fwci":2.2802,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.89135578,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"753","last_page":"772"},"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.9998999834060669,"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.9998999834060669,"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.9965999722480774,"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/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8876539468765259},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.767798662185669},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6671749949455261},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6668574810028076},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6528297662734985},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.6018924713134766},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5340693593025208},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.46859923005104065}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8876539468765259},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.767798662185669},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6671749949455261},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6668574810028076},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6528297662734985},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.6018924713134766},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5340693593025208},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.46859923005104065}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2048066.2048124","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2048066.2048124","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.369.9509","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.9509","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mpi-sws.org/~chenyan/papers/oopsla2011.pdf","raw_type":"text"},{"id":"pmh:oai:escidoc.org:escidoc:2173309","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0028-8B31-8","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W200699361","https://openalex.org/W1596411313","https://openalex.org/W1596636544","https://openalex.org/W1612498707","https://openalex.org/W1805323477","https://openalex.org/W1864118766","https://openalex.org/W1965756321","https://openalex.org/W1965784613","https://openalex.org/W1986195981","https://openalex.org/W1999707021","https://openalex.org/W2007009457","https://openalex.org/W2008926781","https://openalex.org/W2010929544","https://openalex.org/W2011055092","https://openalex.org/W2014832211","https://openalex.org/W2023614281","https://openalex.org/W2026511056","https://openalex.org/W2028423097","https://openalex.org/W2035829578","https://openalex.org/W2045977446","https://openalex.org/W2051716170","https://openalex.org/W2069718764","https://openalex.org/W2073065242","https://openalex.org/W2073904768","https://openalex.org/W2089020545","https://openalex.org/W2104196725","https://openalex.org/W2107089133","https://openalex.org/W2112648314","https://openalex.org/W2114067856","https://openalex.org/W2120621946","https://openalex.org/W2137225770","https://openalex.org/W2139865986","https://openalex.org/W2149127686","https://openalex.org/W2155543417","https://openalex.org/W2163690888","https://openalex.org/W2166089338","https://openalex.org/W2172288767","https://openalex.org/W2341171179","https://openalex.org/W2521273508","https://openalex.org/W2602024037","https://openalex.org/W2912949875","https://openalex.org/W3199565109","https://openalex.org/W4253063713","https://openalex.org/W6677084613","https://openalex.org/W6704298589","https://openalex.org/W6727188700","https://openalex.org/W6826464809"],"related_works":["https://openalex.org/W2112690207","https://openalex.org/W2192862863","https://openalex.org/W1497385637","https://openalex.org/W3145485722","https://openalex.org/W2369288331","https://openalex.org/W2044422526","https://openalex.org/W2086733238","https://openalex.org/W1482645738","https://openalex.org/W2948321003","https://openalex.org/W2120500574"],"abstract_inverted_index":{"Self-adjusting":[0],"computation":[1,30,68],"offers":[2],"a":[3,78,88,101,110,126,136],"language-based":[4],"approach":[5,80,159],"to":[6,12,94,168],"writing":[7],"programs":[8],"that":[9,42,51,116,128,155,157],"automatically":[10],"respond":[11],"dynamically":[13],"changing":[14],"data.":[15],"Recent":[16],"work":[17],"made":[18],"significant":[19],"progress":[20],"in":[21,125,162],"developing":[22],"sound":[23],"semantics":[24,106,118],"and":[25,56,138,164],"associated":[26],"implementations":[27],"of":[28,85],"self-adjusting":[29,67,96],"for":[31,44,66,72,141],"high-level,":[32],"functional":[33],"languages.":[34,74],"These":[35],"techniques,":[36],"however,":[37],"do":[38],"not":[39],"address":[40],"issues":[41],"arise":[43],"low-level":[45,73,102],"languages,":[46],"i.e.,":[47],"stack-based":[48,111],"imperative":[49],"languages":[50],"lack":[52],"strong":[53],"type":[54],"systems":[55],"automatic":[57],"memory":[58],"management.":[59],"In":[60],"this":[61,117],"paper,":[62],"we":[63,76,98],"describe":[64],"techniques":[65],"which":[69],"are":[70],"suitable":[71],"Necessarily,":[75],"take":[77],"different":[79],"than":[81],"previous":[82],"work:":[83],"instead":[84],"starting":[86],"with":[87,91,100,131],"high-level":[89],"language":[90,144],"additional":[92],"primitives":[93],"support":[95],"computation,":[97],"start":[99],"intermediate":[103,143],"language,":[104],"whose":[105],"is":[107,119,129,160],"given":[108],"by":[109,146],"abstract":[112,148],"machine.":[113,149],"We":[114,134,150],"prove":[115],"sound:":[120],"it":[121],"always":[122],"updates":[123],"computations":[124],"way":[127],"consistent":[130],"full":[132],"reevaluation.":[133],"give":[135],"compiler":[137],"runtime":[139],"system":[140],"the":[142],"used":[145],"our":[147,158],"present":[151],"an":[152],"empirical":[153],"evaluation":[154],"shows":[156],"efficient":[161],"practice,":[163],"performs":[165],"favorably":[166],"compared":[167],"prior":[169],"proposals.":[170]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}