{"id":"https://openalex.org/W4281781753","doi":"https://doi.org/10.1145/3519939.3523435","title":"Differential cost analysis with simultaneous potentials and anti-potentials","display_name":"Differential cost analysis with simultaneous potentials and anti-potentials","publication_year":2022,"publication_date":"2022-06-02","ids":{"openalex":"https://openalex.org/W4281781753","doi":"https://doi.org/10.1145/3519939.3523435"},"language":"en","primary_location":{"id":"doi:10.1145/3519939.3523435","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523435","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523435","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523435","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041082080","display_name":"\u0110or\u0111e \u017dikeli\u0107","orcid":"https://orcid.org/0000-0002-4681-1699"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"\u0110or\u0111e \u017dikeli\u0107","raw_affiliation_strings":["IST Austria, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048756174","display_name":"Bor-Yuh Evan Chang","orcid":"https://orcid.org/0000-0002-1954-0774"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bor-Yuh Evan Chang","raw_affiliation_strings":["University of Colorado Boulder, USA / Amazon, USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, USA / Amazon, USA","institution_ids":["https://openalex.org/I1311688040","https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041321243","display_name":"Pauline Bolignano","orcid":null},"institutions":[{"id":"https://openalex.org/I4210123934","display_name":"Amazon (United Kingdom)","ror":"https://ror.org/02xey9634","country_code":"GB","type":"company","lineage":["https://openalex.org/I1311688040","https://openalex.org/I4210123934"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pauline Bolignano","raw_affiliation_strings":["Amazon, UK"],"affiliations":[{"raw_affiliation_string":"Amazon, UK","institution_ids":["https://openalex.org/I4210123934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009460574","display_name":"Franco Raimondi","orcid":"https://orcid.org/0000-0002-9508-7713"},"institutions":[{"id":"https://openalex.org/I4210123934","display_name":"Amazon (United Kingdom)","ror":"https://ror.org/02xey9634","country_code":"GB","type":"company","lineage":["https://openalex.org/I1311688040","https://openalex.org/I4210123934"]},{"id":"https://openalex.org/I60488453","display_name":"Middlesex University","ror":"https://ror.org/01rv4p989","country_code":"GB","type":"education","lineage":["https://openalex.org/I60488453"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Franco Raimondi","raw_affiliation_strings":["Amazon, UK / Middlesex University, UK"],"affiliations":[{"raw_affiliation_string":"Amazon, UK / Middlesex University, UK","institution_ids":["https://openalex.org/I60488453","https://openalex.org/I4210123934"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5041082080"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":null,"apc_paid":null,"fwci":1.5888,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8157981,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"442","last_page":"457"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9891999959945679,"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/bounding-overwatch","display_name":"Bounding overwatch","score":0.7637710571289062},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.7093108296394348},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6778810024261475},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.661972165107727},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5494474768638611},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4775739014148712},{"id":"https://openalex.org/keywords/cost-analysis","display_name":"Cost analysis","score":0.4708409309387207},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46967631578445435},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.43411803245544434},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.37728768587112427},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3301233649253845},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2270444631576538},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17909786105155945},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.14417389035224915},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12443047761917114},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.0810735821723938}],"concepts":[{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.7637710571289062},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.7093108296394348},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6778810024261475},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.661972165107727},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5494474768638611},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4775739014148712},{"id":"https://openalex.org/C2983335822","wikidata":"https://www.wikidata.org/wiki/Q942582","display_name":"Cost analysis","level":2,"score":0.4708409309387207},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46967631578445435},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.43411803245544434},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.37728768587112427},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3301233649253845},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2270444631576538},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17909786105155945},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.14417389035224915},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12443047761917114},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0810735821723938},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3519939.3523435","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523435","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523435","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.mdx.ac.uk:35217","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400025","display_name":"Middlesex University Research Repository (Middlesex University Of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60488453","host_organization_name":"Middlesex University","host_organization_lineage":["https://openalex.org/I60488453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":{"id":"doi:10.1145/3519939.3523435","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523435","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523435","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281781753.pdf","grobid_xml":"https://content.openalex.org/works/W4281781753.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W30585784","https://openalex.org/W1230660382","https://openalex.org/W1496468608","https://openalex.org/W1505135855","https://openalex.org/W1515621470","https://openalex.org/W1523037784","https://openalex.org/W1563374593","https://openalex.org/W1589297860","https://openalex.org/W1599625180","https://openalex.org/W1608799719","https://openalex.org/W1636902686","https://openalex.org/W1750827721","https://openalex.org/W1987927249","https://openalex.org/W2010790229","https://openalex.org/W2037009101","https://openalex.org/W2058033966","https://openalex.org/W2068055184","https://openalex.org/W2098022036","https://openalex.org/W2104658241","https://openalex.org/W2104835568","https://openalex.org/W2108629523","https://openalex.org/W2109863363","https://openalex.org/W2122917953","https://openalex.org/W2149996206","https://openalex.org/W2435583538","https://openalex.org/W2461846980","https://openalex.org/W2547267640","https://openalex.org/W2565334366","https://openalex.org/W2577171054","https://openalex.org/W2625924363","https://openalex.org/W2753372626","https://openalex.org/W2768683713","https://openalex.org/W2776364995","https://openalex.org/W2904742893","https://openalex.org/W2904828193","https://openalex.org/W2914740438","https://openalex.org/W2954641079","https://openalex.org/W2963336730","https://openalex.org/W2964232059","https://openalex.org/W3033865919","https://openalex.org/W3100830552","https://openalex.org/W3107232269","https://openalex.org/W3115687070","https://openalex.org/W3119735665","https://openalex.org/W3166575995","https://openalex.org/W3176250057","https://openalex.org/W3209554355","https://openalex.org/W4226074206","https://openalex.org/W4242321992","https://openalex.org/W4298195558"],"related_works":["https://openalex.org/W2132137594","https://openalex.org/W2069783012","https://openalex.org/W2085967955","https://openalex.org/W4256335355","https://openalex.org/W3098612666","https://openalex.org/W2138867060","https://openalex.org/W2023859141","https://openalex.org/W2182290077","https://openalex.org/W1499116563","https://openalex.org/W3207033120"],"abstract_inverted_index":{"We":[0,242],"present":[1],"a":[2,11,75,93,153,196,209,251],"novel":[3],"approach":[4,62,99,249],"to":[5,15,63,68,106,177,195],"differential":[6,64],"cost":[7,31,65,146,161,183,201,272],"analysis":[8,32,66],"that,":[9],"given":[10],"program":[12,28,77,90,104,128,164,188,254],"revision,":[13],"attempts":[14],"statically":[16],"bound":[17,133,180,198],"the":[18,26,38,54,83,88,103,121,125,134,144,157,182,186,200,204,222,258],"difference":[19,84,135,159],"in":[20,85,96,160,185,203,273],"resource":[21],"usage,":[22],"or":[23,52],"cost,":[24,227],"between":[25,87,162],"two":[27,89,137,163,168],"versions.":[29,91],"Differential":[30],"is":[33,67,100,116,229],"particularly":[34],"interesting":[35],"because":[36],"of":[37,56,127,136,170,211,247,253],"many":[39],"compelling":[40],"applications":[41],"for":[42,123,156,181,199,231],"it,":[43],"such":[44],"as":[45],"detecting":[46],"resource-use":[47],"regressions":[48],"at":[49],"code-review":[50],"time":[51],"proving":[53],"absence":[55],"certain":[57],"side-channel":[58],"vulnerabilities.":[59],"One":[60],"prior":[61],"apply":[69],"relational":[70,98],"reasoning":[71],"that":[72,117,175,193,233,263],"conceptually":[73],"constructs":[74],"product":[76],"on":[78,225,250,270],"which":[79],"one":[80],"can":[81,119,215],"over-approximate":[82],"costs":[86],"However,":[92],"significant":[94],"challenge":[95],"any":[97],"effectively":[101],"aligning":[102],"versions":[105,165],"get":[107],"precise":[108],"results.":[109],"In":[110,148],"this":[111],"paper,":[112],"our":[113,150,248,264],"key":[114],"insight":[115],"we":[118,132,261],"avoid":[120],"need":[122],"and":[124,189,238,260],"limitations":[126],"alignment":[129],"if,":[130],"instead,":[131],"cost-bound":[138,171],"summaries":[139],"rather":[140],"than":[141],"directly":[142],"bounding":[143],"concrete":[145],"difference.":[147],"particular,":[149],"method":[151,207,265],"computes":[152,266],"threshold":[154,223,268],"value":[155,224],"maximal":[158],"simultaneously":[166],"using":[167],"kinds":[169],"summaries---a":[172],"potential":[173],"function":[174,192],"evaluates":[176,194],"an":[178,190,245],"upper":[179],"incurred":[184,202],"first":[187],"anti-potential":[191],"lower":[197],"second.":[205],"Our":[206],"has":[208],"number":[210,252],"desirable":[212],"properties:":[213],"it":[214,219,228,239],"be":[216],"fully":[217],"automated,":[218],"allows":[220],"optimizing":[221],"relative":[226,271],"suitable":[230],"programs":[232],"are":[234],"not":[235],"syntactically":[236],"similar,":[237],"supports":[240],"non-determinism.":[241],"have":[243],"evaluated":[244],"implementation":[246],"pairs":[255],"collected":[256],"from":[257],"literature,":[259],"find":[262],"tight":[267],"values":[269],"most":[274],"examples.":[275]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}