{"id":"https://openalex.org/W4399851409","doi":"https://doi.org/10.1145/3656414","title":"Program Analysis for Adaptive Data Analysis","display_name":"Program Analysis for Adaptive Data Analysis","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399851409","doi":"https://doi.org/10.1145/3656414"},"language":"en","primary_location":{"id":"doi:10.1145/3656414","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656414","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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3656414","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099292364","display_name":"Jiawen Liu","orcid":"https://orcid.org/0009-0009-0900-9910"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiawen Liu","raw_affiliation_strings":["Boston University, Boston, USA"],"raw_orcid":"https://orcid.org/0009-0009-0900-9910","affiliations":[{"raw_affiliation_string":"Boston University, Boston, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089767901","display_name":"Weihao Qu","orcid":"https://orcid.org/0000-0003-1027-6556"},"institutions":[{"id":"https://openalex.org/I141450709","display_name":"Monmouth University","ror":"https://ror.org/01d6qxv05","country_code":"US","type":"education","lineage":["https://openalex.org/I141450709"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weihao Qu","raw_affiliation_strings":["Monmouth University, West Long Branch, USA"],"raw_orcid":"https://orcid.org/0000-0003-1027-6556","affiliations":[{"raw_affiliation_string":"Monmouth University, West Long Branch, USA","institution_ids":["https://openalex.org/I141450709"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021948795","display_name":"Marco Gaboardi","orcid":"https://orcid.org/0000-0002-5235-7066"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marco Gaboardi","raw_affiliation_strings":["Boston University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0002-5235-7066","affiliations":[{"raw_affiliation_string":"Boston University, Boston, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026719321","display_name":"Deepak Garg","orcid":"https://orcid.org/0000-0002-0888-3093"},"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":"Deepak Garg","raw_affiliation_strings":["MPI-SWS, MPI-SWS, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0888-3093","affiliations":[{"raw_affiliation_string":"MPI-SWS, MPI-SWS, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034669615","display_name":"Jonathan Ullman","orcid":"https://orcid.org/0000-0002-0323-5564"},"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":"Jonathan Ullman","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0002-0323-5564","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4036,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62332863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"8","issue":"PLDI","first_page":"914","last_page":"938"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9983999729156494,"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/T11424","display_name":"Security and Verification in Computing","score":0.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4841780960559845},{"id":"https://openalex.org/keywords/data-analysis","display_name":"Data analysis","score":0.42720603942871094},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1895149052143097}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4841780960559845},{"id":"https://openalex.org/C175801342","wikidata":"https://www.wikidata.org/wiki/Q1988917","display_name":"Data analysis","level":2,"score":0.42720603942871094},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1895149052143097}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3656414","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656414","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:oai:arXiv.org:2608.19575","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.19575","pdf_url":"https://arxiv.org/pdf/2608.19575","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.19575","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.19575","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1145/3656414","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656414","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":[{"id":"https://metadata.un.org/sdg/16","score":0.5799999833106995,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W110849379","https://openalex.org/W1515621470","https://openalex.org/W1523037784","https://openalex.org/W1555759181","https://openalex.org/W1563352283","https://openalex.org/W1636902686","https://openalex.org/W1967866549","https://openalex.org/W1977764760","https://openalex.org/W1982205631","https://openalex.org/W1982723861","https://openalex.org/W2016658465","https://openalex.org/W2066913862","https://openalex.org/W2077641783","https://openalex.org/W2119393363","https://openalex.org/W2120339017","https://openalex.org/W2122917953","https://openalex.org/W2128779711","https://openalex.org/W2129278597","https://openalex.org/W2144344516","https://openalex.org/W2144981148","https://openalex.org/W2159756689","https://openalex.org/W2225981128","https://openalex.org/W2322006099","https://openalex.org/W2461846980","https://openalex.org/W2577171054","https://openalex.org/W2753900993","https://openalex.org/W2762833920","https://openalex.org/W2795435272","https://openalex.org/W2910185446","https://openalex.org/W2971505611","https://openalex.org/W2978450740","https://openalex.org/W3027019508","https://openalex.org/W3194609232","https://openalex.org/W3212833711","https://openalex.org/W4376639596","https://openalex.org/W6911218818"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Data":[0],"analyses":[1,28,222,361],"are":[2,16,29,47,136,163],"usually":[3],"designed":[4,31,48],"to":[5,104,152,199,240,242,277,334,353],"identify":[6],"some":[7,96],"property":[8,259],"of":[9,53,101,112,118,129,147,176,188,194,196,206,254,260,269,302,321,357],"the":[10,14,20,51,68,75,78,99,110,139,145,173,185,189,204,251,266,279,303,312,319,340,355],"population":[11],"from":[12,67],"which":[13,102,195,233,238],"data":[15,22,27,55,61,83,161,211,221,271,304,360],"drawn,":[17],"generalizing":[18],"beyond":[19],"specific":[21],"sample.":[23],"For":[24],"this":[25,159,216,264,284,294],"reason,":[26],"often":[30,201],"in":[32],"a":[33,40,54,59,89,153,230,257,270,274,288,300,307,330],"way":[34],"that":[35,37,50,167,180,208,349],"guarantees":[36],"they":[38,46],"produce":[39],"low":[41],"generalization":[42,116,155,174,186,245],"error.":[43,156],"That":[44],"is,":[45],"so":[49],"result":[52,69],"analysis":[56,76,84,212,232,272,290,298,305,346],"run":[57,105],"on":[58,109,172,184,203,283,318,339],"sample":[60],"does":[62],"not":[63,168],"differ":[64],"too":[65],"much":[66],"one":[70],"would":[71],"achieve":[72],"by":[73,92,125],"running":[74],"over":[77],"entire":[79],"population.":[80],"An":[81],"adaptive":[82,210,220],"can":[85,122,142,213,234,325,351],"be":[86,123,326],"seen":[87],"as":[88,224,256,306],"process":[90],"composed":[91,190],"multiple":[93],"queries":[94,135,149,207],"interrogating":[95],"data,":[97],"where":[98,311],"choice":[100,193],"query":[103],"next":[106],"may":[107],"rely":[108],"results":[111],"previous":[113],"queries.":[114],"The":[115,192,296],"error":[117,187],"each":[119,323],"individual":[120],"query/analysis":[121],"controlled":[124],"using":[126],"an":[127,209,315,336],"array":[128],"well-established":[130],"statistical":[131],"techniques.":[132],"However,":[133],"when":[134],"arbitrarily":[137],"composed,":[138],"different":[140,148,363],"errors":[141,175],"propagate":[143],"through":[144],"chain":[146,205],"and":[150,227,328,347],"bring":[151],"high":[154],"To":[157],"address":[158],"issue,":[160],"analysts":[162],"designing":[164],"several":[165,358],"techniques":[166,198],"only":[169],"guarantee":[170,182,335],"bounds":[171,183],"single":[177],"queries,":[178],"but":[179],"also":[181],"analyses.":[191],"these":[197],"use,":[200],"depends":[202],"generate.":[214],"In":[215],"work,":[217],"we":[218,228,249,286],"consider":[219],"implemented":[223],"while-like":[225],"programs":[226],"design":[229,287],"program":[231,289,297,345],"help":[235,352],"with":[236,362],"identifying":[237],"technique":[239],"use":[241],"control":[243],"their":[244],"errors.":[246],"More":[247],"specifically,":[248],"formalize":[250],"intuitive":[252],"notion":[253],"adaptivity":[255,267,356,364],"quantitative":[258],"programs.":[261],"We":[262,342],"do":[263],"because":[265],"level":[268],"is":[273,314],"key":[275],"measure":[276],"choose":[278],"right":[280],"technique.":[281],"Based":[282],"definition,":[285],"for":[291],"soundly":[292],"approximating":[293],"quantity.":[295],"generates":[299],"representation":[301],"weighted":[308],"dependency":[309],"graph,":[310],"weight":[313],"upper":[316,337],"bound":[317,338],"number":[320],"times":[322],"variable":[324],"reached,":[327],"uses":[329],"path":[331],"search":[332],"strategy":[333],"adaptivity.":[341],"implement":[343],"our":[344],"show":[348],"it":[350],"analyze":[354],"concrete":[359],"structures.":[365]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-27T14:10:00.468798","created_date":"2025-10-10T00:00:00"}