{"id":"https://openalex.org/W3003240365","doi":"https://doi.org/10.1109/asew.2019.00034","title":"Synthesizing Mutable Configurations: Setting up Systems for Success","display_name":"Synthesizing Mutable Configurations: Setting up Systems for Success","publication_year":2019,"publication_date":"2019-11-01","ids":{"openalex":"https://openalex.org/W3003240365","doi":"https://doi.org/10.1109/asew.2019.00034","mag":"3003240365"},"language":"en","primary_location":{"id":"doi:10.1109/asew.2019.00034","doi":"https://doi.org/10.1109/asew.2019.00034","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asew.2019.00034","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079753562","display_name":"Tim Nelson","orcid":"https://orcid.org/0000-0002-9377-9943","observed_orcids":["https://orcid.org/0000-0002-9377-9943"]},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Nelson","raw_affiliation_strings":["Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033363730","display_name":"Natasha Danas","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Natasha Danas","raw_affiliation_strings":["Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039107980","display_name":"Theophilos Giannakopoulos","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210157070","display_name":"Systems and Technology Research (United States)","ror":"https://ror.org/055he9s77","country_code":"US","type":"company","lineage":["https://openalex.org/I4210157070"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Theophilos Giannakopoulos","raw_affiliation_strings":["Systems and Technology Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems and Technology Research","institution_ids":["https://openalex.org/I4210157070"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024394821","display_name":"Shriram Krishnamurthi","orcid":"https://orcid.org/0000-0001-5184-1975","observed_orcids":["https://orcid.org/0000-0001-5184-1975"]},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shriram Krishnamurthi","raw_affiliation_strings":["Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University","institution_ids":["https://openalex.org/I27804330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5045,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.60493633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"85"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9883000254631042,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9883000254631042,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.003700000001117587,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0032999999821186066,"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/counterexample-guided-synthesis","display_name":"counterexample-guided synthesis","score":0.7649999856948853},{"id":"https://openalex.org/keywords/state-machines","display_name":"state machines","score":0.6039999723434448},{"id":"https://openalex.org/keywords/kodkod","display_name":"Kodkod","score":0.7929999828338623},{"id":"https://openalex.org/keywords/privilege-escalation","display_name":"privilege escalation","score":0.9649999737739563},{"id":"https://openalex.org/keywords/network-device-configuration","display_name":"network device configuration","score":0.5540000200271606},{"id":"https://openalex.org/keywords/security-requirements","display_name":"security requirements","score":0.3799999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8073322176933289},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7121672630310059},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5977988839149475},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.5650606155395508},{"id":"https://openalex.org/C2780138299","wikidata":"https://www.wikidata.org/wiki/Q3404265","display_name":"Privilege (computing)","level":2,"score":0.4384075999259949},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4290333390235901},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4285932779312134},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.17930129170417786},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1697702407836914},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12923964858055115},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/asew.2019.00034","doi":"https://doi.org/10.1109/asew.2019.00034","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asew.2019.00034","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.6399999856948853}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W224714335","https://openalex.org/W1518705996","https://openalex.org/W1519503479","https://openalex.org/W1542106392","https://openalex.org/W1558473974","https://openalex.org/W1830944000","https://openalex.org/W1974514467","https://openalex.org/W1975041710","https://openalex.org/W1980599059","https://openalex.org/W1997862012","https://openalex.org/W2016206563","https://openalex.org/W2047406992","https://openalex.org/W2060307524","https://openalex.org/W2061520403","https://openalex.org/W2094878426","https://openalex.org/W2120900812","https://openalex.org/W2124430419","https://openalex.org/W2133496820","https://openalex.org/W2149236697","https://openalex.org/W2161159055","https://openalex.org/W2166029049","https://openalex.org/W2166602595","https://openalex.org/W2166768964","https://openalex.org/W2234078087","https://openalex.org/W2294286398","https://openalex.org/W2488197787","https://openalex.org/W2497820892","https://openalex.org/W2523146812","https://openalex.org/W2525665404","https://openalex.org/W2552298303","https://openalex.org/W2625764229","https://openalex.org/W2725434906","https://openalex.org/W2729767053","https://openalex.org/W2740310865","https://openalex.org/W2794901250","https://openalex.org/W2799070761","https://openalex.org/W2803063413","https://openalex.org/W2810327191","https://openalex.org/W2905812756","https://openalex.org/W2964240296","https://openalex.org/W3023554972","https://openalex.org/W3100123451","https://openalex.org/W4229621802","https://openalex.org/W4242364663","https://openalex.org/W4245822332","https://openalex.org/W6751276110"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2775700832","https://openalex.org/W2587222766","https://openalex.org/W17155033","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W4389574038","https://openalex.org/W1485337887"],"abstract_inverted_index":{"Numerous":[0],"devices,":[1],"from":[2],"network":[3],"switches":[4],"and":[5,39,51,122],"servers":[6],"to":[7,34],"industrial":[8],"control":[9],"systems,":[10],"can":[11,71,87],"be":[12,32],"unreliable":[13],"if":[14,21,74],"they":[15],"are":[16],"not":[17],"configured":[18,33],"properly.":[19],"Even":[20],"a":[22,60,97,128],"device's":[23],"implementation":[24],"has":[25],"been":[26],"proven":[27],"correct,":[28],"it":[29,115,125],"must":[30],"still":[31],"meet":[35],"the":[36,75,109,117],"specific":[37],"functional":[38],"security":[40],"requirements":[41],"of":[42,130],"its":[43],"stakeholders.":[44],"However,":[45],"manual":[46],"configuration":[47,57,79,111],"remains":[48],"labor":[49],"intensive":[50],"error-prone":[52],"even":[53],"for":[54],"experts.":[55],"Automated":[56],"synthesis":[58,99],"presents":[59],"promising":[61],"way":[62],"forward.":[63],"Unfortunately,":[64],"as":[65,92],"we":[66],"show,":[67],"existing":[68],"counterexample-guided":[69],"algorithms":[70],"perform":[72],"poorly":[73],"system":[76,110],"model":[77,120],"allows":[78],"changes":[80,86],"during":[81],"execution.":[82],"Yet":[83],"disallowing":[84],"such":[85,91],"hide":[88],"significant":[89],"problems,":[90],"privilege":[93],"escalation.":[94],"We":[95,113],"present":[96],"new":[98],"algorithm":[100],"that":[101,124],"exploits":[102],"structure":[103],"inherent":[104],"in":[105],"state-machine":[106],"models":[107],"where":[108],"changes.":[112],"implement":[114],"using":[116],"Kodkod":[118],"relational":[119],"finder,":[121],"show":[123],"favorably":[126],"solves":[127],"number":[129],"configuration-synthesis":[131],"tasks.":[132]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2025-10-10T00:00:00"}