{"id":"https://openalex.org/W4220906786","doi":"https://doi.org/10.1017/s0960129521000487","title":"Two decades of automatic amortized resource analysis","display_name":"Two decades of automatic amortized resource analysis","publication_year":2022,"publication_date":"2022-03-16","ids":{"openalex":"https://openalex.org/W4220906786","doi":"https://doi.org/10.1017/s0960129521000487"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129521000487","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129521000487","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9A47A8663CD8A7147E2F17865C368094/S0960129521000487a.pdf/div-class-title-two-decades-of-automatic-amortized-resource-analysis-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9A47A8663CD8A7147E2F17865C368094/S0960129521000487a.pdf/div-class-title-two-decades-of-automatic-amortized-resource-analysis-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101496943","display_name":"Jan Hoffmann","orcid":"https://orcid.org/0000-0001-8326-0788"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jan Hoffmann","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA 15213, USA and","Carnegie Mellon University, Pittsburgh, PA 15213, USA"],"raw_orcid":"https://orcid.org/0000-0001-8326-0788","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA 15213, USA and","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA 15213, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066882713","display_name":"Steffen Jost","orcid":"https://orcid.org/0000-0002-1807-9357"},"institutions":[{"id":"https://openalex.org/I4210154384","display_name":"Facility for Antiproton and Ion Research","ror":"https://ror.org/053veeq82","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210154384"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen Jost","raw_affiliation_strings":["Independent Scholar, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Scholar, Darmstadt, Germany","institution_ids":["https://openalex.org/I4210154384"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101496943"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":1.9422,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.87853603,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"32","issue":"6","first_page":"729","last_page":"759"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/amortized-analysis","display_name":"Amortized analysis","score":0.8657494783401489},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.828359842300415},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7308704853057861},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.5433143377304077},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5094135403633118},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4627962112426758},{"id":"https://openalex.org/keywords/resource-consumption","display_name":"Resource consumption","score":0.457600861787796},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.45309925079345703},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4470587968826294},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43043047189712524},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3496255576610565},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3273080885410309},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.2544892430305481},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1264457106590271}],"concepts":[{"id":"https://openalex.org/C142417499","wikidata":"https://www.wikidata.org/wiki/Q331716","display_name":"Amortized analysis","level":3,"score":0.8657494783401489},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.828359842300415},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7308704853057861},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.5433143377304077},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5094135403633118},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4627962112426758},{"id":"https://openalex.org/C2777480716","wikidata":"https://www.wikidata.org/wiki/Q23582796","display_name":"Resource consumption","level":2,"score":0.457600861787796},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.45309925079345703},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4470587968826294},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43043047189712524},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3496255576610565},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3273080885410309},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2544892430305481},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1264457106590271},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129521000487","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129521000487","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9A47A8663CD8A7147E2F17865C368094/S0960129521000487a.pdf/div-class-title-two-decades-of-automatic-amortized-resource-analysis-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s0960129521000487","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129521000487","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9A47A8663CD8A7147E2F17865C368094/S0960129521000487a.pdf/div-class-title-two-decades-of-automatic-amortized-resource-analysis-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[{"id":"https://openalex.org/G1467667629","display_name":"SHF: Small: Automatic Qualitative and Quantitative Verification of CUDA Code","funder_award_id":"2007784","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7233169399","display_name":"CAREER: Marlin: A Unified Framework for Automatic and Interactive Quantitative Program Analysis","funder_award_id":"1845514","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4220906786.pdf","grobid_xml":"https://content.openalex.org/works/W4220906786.grobid-xml"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W94295739","https://openalex.org/W912214939","https://openalex.org/W1230660382","https://openalex.org/W1544023751","https://openalex.org/W1553136405","https://openalex.org/W1581217527","https://openalex.org/W1598436734","https://openalex.org/W1700473745","https://openalex.org/W1760139041","https://openalex.org/W1784055113","https://openalex.org/W1963833875","https://openalex.org/W1975575519","https://openalex.org/W1987927249","https://openalex.org/W2005354109","https://openalex.org/W2010059824","https://openalex.org/W2013132887","https://openalex.org/W2056714230","https://openalex.org/W2058033966","https://openalex.org/W2066952252","https://openalex.org/W2068055184","https://openalex.org/W2090759054","https://openalex.org/W2101085206","https://openalex.org/W2105045857","https://openalex.org/W2112969535","https://openalex.org/W2121108801","https://openalex.org/W2125218864","https://openalex.org/W2137628566","https://openalex.org/W2138657070","https://openalex.org/W2170698790","https://openalex.org/W2194223632","https://openalex.org/W2206718322","https://openalex.org/W2276679306","https://openalex.org/W2294370068","https://openalex.org/W2547267640","https://openalex.org/W2569392808","https://openalex.org/W2735409225","https://openalex.org/W2757243080","https://openalex.org/W2768683713","https://openalex.org/W2776364995","https://openalex.org/W2900015620","https://openalex.org/W2906872399","https://openalex.org/W2927734285","https://openalex.org/W2954494349","https://openalex.org/W2963336730","https://openalex.org/W2963595697","https://openalex.org/W2967375333","https://openalex.org/W3009691493","https://openalex.org/W3046984529","https://openalex.org/W3115656330","https://openalex.org/W3118657565","https://openalex.org/W3191748134","https://openalex.org/W3206461754","https://openalex.org/W4220779078","https://openalex.org/W4242321992","https://openalex.org/W4256027310","https://openalex.org/W6636678491","https://openalex.org/W6742030499","https://openalex.org/W6744402861","https://openalex.org/W6753317999","https://openalex.org/W6757827726","https://openalex.org/W6789443038"],"related_works":["https://openalex.org/W2318743569","https://openalex.org/W2752947237","https://openalex.org/W2408755413","https://openalex.org/W4293327716","https://openalex.org/W3037094428","https://openalex.org/W82233118","https://openalex.org/W4301262063","https://openalex.org/W1831964350","https://openalex.org/W2952399934","https://openalex.org/W2040934527"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"article":[2],"gives":[3],"an":[4,113],"overview":[5],"of":[6,47,62,64,91,120],"automatic":[7],"amortized":[8,121],"resource":[9,17,73],"analysis":[10,70,122],"(AARA),":[11],"a":[12,35,107],"technique":[13],"for":[14,19,38],"inferring":[15],"symbolic":[16],"bounds":[18,42],"programs":[20,50],"at":[21],"compile":[22],"time.":[23],"AARA":[24,57],"has":[25,58],"been":[26,59],"introduced":[27],"by":[28],"Hofmann":[29],"and":[30,80,117],"Jost":[31],"in":[32],"2003":[33],"as":[34],"type":[36],"system":[37],"deriving":[39],"linear":[40],"worst-case":[41],"on":[43],"the":[44,60,69,88,92,118,124],"heap-space":[45],"consumption":[46],"first-order":[48],"functional":[49],"with":[51,110,123],"eager":[52],"evaluation":[53,76],"strategy.":[54],"Since":[55],"then":[56],"subject":[61],"dozens":[63],"research":[65],"articles,":[66],"which":[67,98],"extended":[68],"to":[71,102,112],"different":[72],"metrics,":[74],"other":[75],"strategies,":[77],"non-linear":[78],"bounds,":[79],"additional":[81],"language":[82],"features.":[83],"All":[84],"these":[85],"works":[86],"preserved":[87],"defining":[89],"characteristics":[90],"original":[93],"paper:":[94],"local":[95],"inference":[96,101],"rules,":[97],"reduce":[99],"bound":[100],"numeric":[103],"(usually":[104],"linear)":[105],"optimization;":[106],"soundness":[108],"proof":[109],"respect":[111],"operational":[114],"cost":[115],"semantics;":[116],"support":[119],"potential":[125],"method.":[126]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}