{"id":"https://openalex.org/W4412989653","doi":"https://doi.org/10.1145/3747516","title":"Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages","display_name":"Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages","publication_year":2025,"publication_date":"2025-08-05","ids":{"openalex":"https://openalex.org/W4412989653","doi":"https://doi.org/10.1145/3747516"},"language":"en","primary_location":{"id":"doi:10.1145/3747516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747516","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3747516","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086590600","display_name":"J. A. Carr","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. A. Carr","raw_affiliation_strings":["University of Chicago, Chicago, USA"],"raw_orcid":"https://orcid.org/0009-0000-7254-9607","affiliations":[{"raw_affiliation_string":"University of Chicago, Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016534383","display_name":"Benjamin Quiring","orcid":"https://orcid.org/0000-0002-6922-9706"},"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":"Benjamin Quiring","raw_affiliation_strings":["University of Maryland at College Park, College Park, USA"],"raw_orcid":"https://orcid.org/0000-0002-6922-9706","affiliations":[{"raw_affiliation_string":"University of Maryland at College Park, College Park, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030967328","display_name":"John Reppy","orcid":"https://orcid.org/0000-0002-5881-298X"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Reppy","raw_affiliation_strings":["University of Chicago, Chicago, USA"],"raw_orcid":"https://orcid.org/0000-0002-5881-298X","affiliations":[{"raw_affiliation_string":"University of Chicago, Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022683458","display_name":"Olin Shivers","orcid":"https://orcid.org/0000-0001-8171-386X"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Olin Shivers","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0001-8171-386X","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119221010","display_name":"Skye Soss","orcid":"https://orcid.org/0000-0002-9182-0084"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Skye Soss","raw_affiliation_strings":["University of Chicago, Chicago, USA"],"raw_orcid":"https://orcid.org/0000-0002-9182-0084","affiliations":[{"raw_affiliation_string":"University of Chicago, Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":null,"display_name":"Byron Zhong","orcid":"https://orcid.org/0009-0006-8671-3547"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Byron Zhong","raw_affiliation_strings":["University of Chicago, Chicago, USA"],"raw_orcid":"https://orcid.org/0009-0006-8671-3547","affiliations":[{"raw_affiliation_string":"University of Chicago, Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5067,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.86095984,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":"9","issue":"ICFP","first_page":"341","last_page":"370"},"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.9991000294685364,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6251614689826965},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5920390486717224},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3889523148536682},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3464892506599426},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.32317858934402466},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.2352866232395172}],"concepts":[{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6251614689826965},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5920390486717224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3889523148536682},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3464892506599426},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.32317858934402466},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.2352866232395172},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3747516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747516","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:doi:10.6082/p6sg9-60576","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15708994","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},{"id":"doi:10.6082/p6sg9-60576","is_oa":true,"landing_page_url":"https://doi.org/10.6082/p6sg9-60576","pdf_url":null,"source":{"id":"https://openalex.org/S7407053018","display_name":"University of Chicago","issn_l":null,"issn":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"JournalArticle"},{"id":"doi:10.6082/rxxyk-t5v17","is_oa":true,"landing_page_url":"https://doi.org/10.6082/rxxyk-t5v17","pdf_url":null,"source":{"id":"https://openalex.org/S7407053018","display_name":"University of Chicago","issn_l":null,"issn":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"JournalArticle"}],"best_oa_location":{"id":"doi:10.1145/3747516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747516","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1098522469","display_name":null,"funder_award_id":"2212537, 2212538","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":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W100466825","https://openalex.org/W1522000168","https://openalex.org/W1580664042","https://openalex.org/W1651122320","https://openalex.org/W1966975259","https://openalex.org/W1985450085","https://openalex.org/W1990810662","https://openalex.org/W1998466493","https://openalex.org/W1999336811","https://openalex.org/W2004944457","https://openalex.org/W2013885073","https://openalex.org/W2015003898","https://openalex.org/W2025846768","https://openalex.org/W2043100293","https://openalex.org/W2059416532","https://openalex.org/W2064694635","https://openalex.org/W2071457257","https://openalex.org/W2083878525","https://openalex.org/W2113757735","https://openalex.org/W2127501412","https://openalex.org/W2129566109","https://openalex.org/W2141662609","https://openalex.org/W2142797138","https://openalex.org/W2152540418","https://openalex.org/W2163672025","https://openalex.org/W2209684412","https://openalex.org/W2223685968","https://openalex.org/W2738478951","https://openalex.org/W2749168245","https://openalex.org/W2887637582","https://openalex.org/W2887798018","https://openalex.org/W2913888506","https://openalex.org/W2952100912","https://openalex.org/W3016921254","https://openalex.org/W3103744781","https://openalex.org/W3123143760","https://openalex.org/W3194625640","https://openalex.org/W4293813125","https://openalex.org/W4312287236","https://openalex.org/W4379512394","https://openalex.org/W4401597231","https://openalex.org/W4411267580","https://openalex.org/W6949587689"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"The":[0],"representation":[1],"of":[2,20,32,36,51,73,109,151,243],"functions":[3,66],"in":[4,40,139,223,265],"higher-order":[5,58,89],"languages":[6],"includes":[7],"both":[8,157],"the":[9,18,21,34,74,83,125,129,132,140,165,181,194,206,228,244],"function\u2019s":[10,22,38,75,111],"code":[11],"and":[12,119,159,169,204,231],"an":[13,256],"environment":[14,39,53,76,112,130],"structure":[15],"that":[16,105,154,226,260],"captures":[17],"bindings":[19],"free":[23],"variables.":[24],"This":[25],"paper":[26],"explores":[27],"caller-provided":[28,94,188,249],"environments,":[29,189],"where":[30,65],"instead":[31],"packaging":[33],"entirety":[35],"a":[37,43,49,88,101,110,149,224,235],"its":[41,52,55,117,120],"closure,":[42],"function":[44],"can":[45,127],"be":[46,80],"provided":[47,81],"with":[48],"portion":[50],"by":[54,82],"caller.":[56],"In":[57,96,122,177],"languages,":[59],"it":[60,155,179],"is":[61,156,201,263],"difficult":[62],"to":[63,79,92,131,192,208,219,233],"determine":[64],"are":[67,77,113],"called,":[68],"let":[69],"alone":[70],"what":[71],"pieces":[72,108],"available":[78],"caller,":[84],"thus":[85],"we":[86,99],"need":[87],"control-flow":[90],"analysis":[91,104,135,147,245],"enable":[93],"environments.":[95,250,270],"this":[97],"paper,":[98],"present":[100],"new":[102],"abstract-interpretation-based":[103],"discovers":[106],"which":[107],"always":[114],"shared":[115],"between":[116],"definition":[118],"callers.":[121],"such":[123],"cases,":[124],"caller":[126],"provide":[128],"callee.":[133],"Our":[134],"has":[136,205],"been":[137],"formalized":[138],"Rocq":[141],"proof":[142],"assistant.":[143],"We":[144,216,238,251],"evaluate":[145,252],"our":[146,253,261],"on":[148,197],"collection":[150],"programs":[152],"demonstrating":[153],"scalable":[158],"provides":[160],"significantly":[161],"better":[162,170],"information":[163,171],"over":[164,213],"common":[166],"syntactic":[167],"approach":[168,262],"than":[172],"lightweight":[173],"closure":[174],"conversion":[175],".":[176],"fact,":[178],"yields":[180],"theoretical":[182],"upper-bound":[183],"for":[184,269],"many":[185],"programs.":[186],"For":[187],"deciding":[190],"how":[191,218,232],"transform":[193,234],"program":[195,236],"based":[196],"these":[198,221],"revealed":[199],"facts":[200],"also":[202,239],"non-trivial":[203],"potential":[207],"incur":[209],"extra":[210,229],"runtime":[211],"cost":[212],"standard":[214],"strategies.":[215],"discuss":[217],"make":[220],"decisions":[222],"way":[225],"avoids":[227],"costs":[230],"accordingly.":[237],"propose":[240],"other":[241],"uses":[242],"results":[246],"beyond":[247],"enabling":[248],"transformation":[254],"using":[255],"instrumented":[257],"interpreter,":[258],"showing":[259],"effective":[264],"reducing":[266],"dynamic":[267],"allocations":[268]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-01T08:55:40.977307","created_date":"2025-10-10T00:00:00"}