{"id":"https://openalex.org/W3207613969","doi":"https://doi.org/10.1145/3485517","title":"Static detection of silent misconfigurations with deep interaction analysis","display_name":"Static detection of silent misconfigurations with deep interaction analysis","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3207613969","doi":"https://doi.org/10.1145/3485517","mag":"3207613969"},"language":"en","primary_location":{"id":"doi:10.1145/3485517","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485517","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485517","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":null,"license_id":null,"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"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3485517","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100764602","display_name":"Jialu Zhang","orcid":"https://orcid.org/0009-0004-7114-3372"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jialu Zhang","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045794652","display_name":"Ru\u017eica Piska\u010d","orcid":"https://orcid.org/0000-0002-3267-0776"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruzica Piskac","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108657726","display_name":"Ennan Zhai","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ennan Zhai","raw_affiliation_strings":["Alibaba Group, USA"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, USA","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027605695","display_name":"Tianyin Xu","orcid":"https://orcid.org/0000-0003-4443-8170"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tianyin Xu","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100764602"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":2.7205,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.90525874,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9980999827384949,"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/T11719","display_name":"Data Quality and Management","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9110420942306519},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.597540020942688},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5622708797454834},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.534258246421814},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5095198750495911},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.44164830446243286},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.43796059489250183},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2885035276412964},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1421719789505005},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13671445846557617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9110420942306519},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.597540020942688},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5622708797454834},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.534258246421814},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5095198750495911},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.44164830446243286},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.43796059489250183},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2885035276412964},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1421719789505005},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13671445846557617}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3485517","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485517","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485517","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3485517","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485517","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485517","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":null,"license_id":null,"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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7099999785423279}],"awards":[{"id":"https://openalex.org/G1506952784","display_name":"CAREER:  Synthesis in a Live Programming Environment","funder_award_id":"1553168","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2374893308","display_name":null,"funder_award_id":"1956007","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4139285423","display_name":"SHF: Small: Science and Tools for Intelligent Developer Testing","funder_award_id":"1816615","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4598687675","display_name":"SHF: Small:  ConfigV: Automated Verification of Configuration Files","funder_award_id":"1715387","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G535700446","display_name":null,"funder_award_id":"CCF-1715387, CCF-1553168, CNS-1565208, SHF-1816615, CNS-1956007, CCF-2029049, CNS-2130560","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6483216003","display_name":null,"funder_award_id":"CNS-2130560","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7106123884","display_name":"Collaborative Research: CNS Core: Small: A new framework for building fail-slow fault-tolerant distributed systems","funder_award_id":"2130560","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7306246066","display_name":"TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness","funder_award_id":"1565208","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/W3207613969.pdf","grobid_xml":"https://content.openalex.org/works/W3207613969.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W134722953","https://openalex.org/W1607902447","https://openalex.org/W1829128469","https://openalex.org/W1924374923","https://openalex.org/W1970017388","https://openalex.org/W1994411654","https://openalex.org/W2003775793","https://openalex.org/W2029039689","https://openalex.org/W2030696252","https://openalex.org/W2041783719","https://openalex.org/W2048848542","https://openalex.org/W2073869982","https://openalex.org/W2085952809","https://openalex.org/W2098972600","https://openalex.org/W2129203600","https://openalex.org/W2130136915","https://openalex.org/W2133441575","https://openalex.org/W2148524997","https://openalex.org/W2151502039","https://openalex.org/W2153185479","https://openalex.org/W2154822035","https://openalex.org/W2156874421","https://openalex.org/W2180542140","https://openalex.org/W2225112801","https://openalex.org/W2261611353","https://openalex.org/W2402800985","https://openalex.org/W2407292968","https://openalex.org/W2489690523","https://openalex.org/W2493946278","https://openalex.org/W2585771236","https://openalex.org/W2613206411","https://openalex.org/W2734941459","https://openalex.org/W2755391279","https://openalex.org/W2760679152","https://openalex.org/W2761268990","https://openalex.org/W2898888361","https://openalex.org/W2914982603","https://openalex.org/W2962948349","https://openalex.org/W2964024585","https://openalex.org/W2964097228","https://openalex.org/W2965238907","https://openalex.org/W2986159792","https://openalex.org/W3014010732","https://openalex.org/W3021562338","https://openalex.org/W3030553796","https://openalex.org/W3042599370","https://openalex.org/W3046445220","https://openalex.org/W3090557936","https://openalex.org/W3100228586","https://openalex.org/W3107331477","https://openalex.org/W3108419307","https://openalex.org/W3108497073","https://openalex.org/W3117078320","https://openalex.org/W3181966798","https://openalex.org/W3190656508","https://openalex.org/W4246166885","https://openalex.org/W4246553962"],"related_works":["https://openalex.org/W2360139790","https://openalex.org/W2901649410","https://openalex.org/W1843794072","https://openalex.org/W4308823623","https://openalex.org/W4240545424","https://openalex.org/W2563096791","https://openalex.org/W2998602372","https://openalex.org/W2964781046","https://openalex.org/W2735834919","https://openalex.org/W2019168903"],"abstract_inverted_index":{"The":[0,112],"behavior":[1],"of":[2,22,76,89,109,159,193],"large":[3],"systems":[4],"is":[5,26,30,115,131],"guided":[6],"by":[7,176,245],"their":[8,178],"configurations:":[9],"users":[10],"set":[11,39],"parameters":[12,37,142,175],"in":[13,40,264],"the":[14,23,32,41,48,56,74,103,107,118,124,140,160,171,265,268,273],"configuration":[15,42,141,166,174],"file":[16],"to":[17,54,64,83,86,116,132,145,155,189,200,204],"dictate":[18],"which":[19,79,157],"corresponding":[20],"part":[21],"system":[24,49,161],"code":[25,125,162,180],"executed.":[27],"However,":[28],"it":[29],"often":[31],"case":[33],"that,":[34],"although":[35],"some":[36],"are":[38,80,163],"file,":[43],"they":[44,127],"do":[45],"not":[46],"influence":[47],"runtime":[50],"behavior,":[51],"thus":[52],"failing":[53],"meet":[55],"user\u2019s":[57],"intent.":[58],"Moreover,":[59],"such":[60],"misconfigurations":[61,78,240],"rarely":[62],"lead":[63,144],"an":[65,70],"error":[66],"message":[67],"or":[68],"raising":[69],"exception.":[71],"We":[72,182,229],"introduce":[73],"notion":[75],"silent":[77,110,146,227],"prohibitively":[81],"hard":[82],"identify":[84],"due":[85],"(1)":[87],"lack":[88],"feedback":[90],"and":[91,97,123,186,220,252,262],"(2)":[92],"complex":[93,119],"interactions":[94,120,138],"between":[95,121,139,173],"configurations":[96,122],"code.":[98],"This":[99],"paper":[100],"presents":[101],"ConfigX,":[102],"first":[104],"tool":[105],"for":[106,255],"detection":[108],"misconfigurations.":[111,147,228,257],"main":[113],"challenge":[114],"understand":[117],"that":[126,143],"affected.":[128],"Our":[129,258],"goal":[130],"derive":[133,190],"a":[134,191,232],"specification":[135,192],"describing":[136],"non-trivial":[137],"To":[148],"this":[149],"end,":[150],"ConfigX":[151,168,222,238,248],"uses":[152],"static":[153],"analysis":[154,188,199],"determine":[156],"parts":[158],"associated":[164,179],"with":[165,267],"parameters.":[167],"then":[169],"infers":[170],"connections":[172],"analyzing":[177],"blocks.":[181],"design":[183],"customized":[184],"control-":[185],"data-flow":[187],"configurations.":[194],"Additionally,":[195],"we":[196,236],"conduct":[197],"reachability":[198],"eliminate":[201],"spurious":[202],"rules":[203],"reduce":[205],"false":[206],"positives.":[207],"Upon":[208],"evaluation":[209],"on":[210,239,242],"five":[211],"real-world":[212,246],"datasets":[213],"across":[214],"three":[215],"widely-used":[216],"systems,":[217],"Apache,":[218],"vsftpd,":[219],"PostgreSQL,":[221],"detected":[223,250],"more":[224],"than":[225],"2200":[226],"additionally":[230],"conducted":[231],"user":[233,243],"study":[234],"where":[235],"ran":[237],"reported":[241],"forums":[244],"users.":[247],"easily":[249],"issues":[251],"suggested":[253],"repairs":[254],"those":[256],"solutions":[259],"were":[260],"accepted":[261],"confirmed":[263],"interaction":[266],"users,":[269],"who":[270],"originally":[271],"posted":[272],"problems.":[274]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}