{"id":"https://openalex.org/W2209684412","doi":"https://doi.org/10.1145/2837614.2837631","title":"Pushdown control-flow analysis for free","display_name":"Pushdown control-flow analysis for free","publication_year":2016,"publication_date":"2016-01-07","ids":{"openalex":"https://openalex.org/W2209684412","doi":"https://doi.org/10.1145/2837614.2837631","mag":"2209684412"},"language":"en","primary_location":{"id":"doi:10.1145/2837614.2837631","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2837614.2837631","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2837614.2837631","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2837614.2837631","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Thomas Gilray","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Thomas Gilray","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Steven Lyde","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven Lyde","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Michael D. Adams","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael D. Adams","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Matthew Might","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Might","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":null,"display_name":"David Van Horn","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Van Horn","raw_affiliation_strings":["University of Maryland, USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":7.5092,"has_fulltext":true,"cited_by_count":38,"citation_normalized_percentile":{"value":0.97132267,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"691","last_page":"704"},"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.9995999932289124,"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.641700029373169},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5708000063896179},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.448199987411499},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.2944999933242798},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.27090001106262207}],"concepts":[{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.641700029373169},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.614300012588501},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5708000063896179},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.448199987411499},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41350001096725464},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3772999942302704},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28780001401901245},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.25690001249313354},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.2551000118255615}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2837614.2837631","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2837614.2837631","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2837614.2837631","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1507.03137","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1507.03137","pdf_url":"https://arxiv.org/pdf/1507.03137","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/2837614.2837631","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2837614.2837631","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2837614.2837631","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2115998816","display_name":null,"funder_award_id":"FA8750-15-2-0092","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G2506076202","display_name":null,"funder_award_id":"FA8750-12-2-0106","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G3057193586","display_name":null,"funder_award_id":"1350344","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3631985941","display_name":null,"funder_award_id":"AFRL FA8750-15-2-0092 and FA8750-12-2-0106","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4935209912","display_name":null,"funder_award_id":"AFRL FA8750-15-2-0092","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"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/G750253582","display_name":null,"funder_award_id":"CAREER grant 1350344","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"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2209684412.pdf","grobid_xml":"https://content.openalex.org/works/W2209684412.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W60370665","https://openalex.org/W1990810662","https://openalex.org/W2013885073","https://openalex.org/W2014764321","https://openalex.org/W2043100293","https://openalex.org/W2046213250","https://openalex.org/W2046656770","https://openalex.org/W2073904768","https://openalex.org/W2112836639","https://openalex.org/W2121309409","https://openalex.org/W2140430779","https://openalex.org/W2610242999"],"related_works":[],"abstract_inverted_index":{"Traditional":[0],"control-flow":[1],"analysis":[2,123],"(CFA)":[3],"for":[4,108],"higher-order":[5],"languages":[6],"introduces":[7],"spurious":[8],"connections":[9],"between":[10],"callers":[11],"and":[12,14,44,49,73,96,124,143],"callees,":[13],"different":[15],"invocations":[16],"of":[17,111,146,149],"a":[18,39,62,83,117,144],"function":[19],"may":[20],"pollute":[21],"each":[22],"other's":[23],"return":[24],"flows.":[25],"Recently,":[26],"three":[27,57],"distinct":[28],"approaches":[29],"have":[30],"been":[31],"published":[32],"that":[33,86],"provide":[34],"perfect":[35],"call-stack":[36],"precision":[37,148],"in":[38,67,71,76,128],"computable":[40],"manner:":[41],"CFA2,":[42],"PDCFA,":[43],"AAC.":[45],"Unfortunately,":[46],"implementing":[47],"CFA2":[48,65],"PDCFA":[50,69],"requires":[51],"significant":[52],"engineering":[53],"effort.":[54],"Furthermore,":[55],"all":[56],"are":[58],"computationally":[59,97],"expensive.":[60],"For":[61],"monovariant":[63,130],"analysis,":[64],"is":[66,70,75,91,102],"O(2^n),":[68],"O(n^6),":[72],"AAC":[74],"O(n^8).":[77],"In":[78],"this":[79,137,150],"paper,":[80],"we":[81],"describe":[82],"new":[84],"technique":[85,114],"builds":[87],"on":[88,120],"these":[89],"but":[90],"both":[92],"straightforward":[93],"to":[94],"implement":[95],"inexpensive.":[98],"The":[99],"crucial":[100],"insight":[101],"an":[103],"unusual":[104],"state-dependent":[105],"allocation":[106],"strategy":[107],"the":[109,121,129,134,147],"addresses":[110],"continuations.":[112],"Our":[113],"imposes":[115],"only":[116,126],"constant-factor":[118],"overhead":[119],"underlying":[122],"costs":[125],"O(n^3)":[127],"case.":[131],"We":[132],"present":[133],"intuitions":[135],"behind":[136],"development,":[138],"benchmarks":[139],"demonstrating":[140],"its":[141],"efficacy,":[142],"proof":[145],"analysis.":[151]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":6}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2016-06-24T00:00:00"}