{"id":"https://openalex.org/W4404400703","doi":"https://doi.org/10.1145/3694715.3695974","title":"Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs","display_name":"Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs","publication_year":2024,"publication_date":"2024-11-04","ids":{"openalex":"https://openalex.org/W4404400703","doi":"https://doi.org/10.1145/3694715.3695974"},"language":"en","primary_location":{"id":"doi:10.1145/3694715.3695974","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3694715.3695974","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3694715.3695974","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3694715.3695974","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101886757","display_name":"Yiming Qiu","orcid":"https://orcid.org/0009-0003-9328-3205"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yiming Qiu","raw_affiliation_strings":["University of Michigan, Ann Arbor, US"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, US","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011886573","display_name":"Patrick Tser Jern Kon","orcid":"https://orcid.org/0000-0003-4944-8706"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick Tser Jern Kon","raw_affiliation_strings":["University of Michigan, Ann Arbor, US"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, US","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075133765","display_name":"Ryan Beckett","orcid":"https://orcid.org/0000-0001-7844-2026"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Beckett","raw_affiliation_strings":["Microsoft, Redmond, US"],"affiliations":[{"raw_affiliation_string":"Microsoft, Redmond, US","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082276670","display_name":"Ang Chen","orcid":"https://orcid.org/0009-0003-8326-8124"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ang Chen","raw_affiliation_strings":["University of Michigan, Ann Arbor, US"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, US","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101886757"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":1.0798,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79995993,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"574","last_page":"589"},"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.9952999949455261,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7983113527297974},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.654143214225769},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5823423862457275},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.49947333335876465},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3220069408416748},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1893647015094757}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7983113527297974},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.654143214225769},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5823423862457275},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.49947333335876465},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3220069408416748},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1893647015094757},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3694715.3695974","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3694715.3695974","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3694715.3695974","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3694715.3695974","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3694715.3695974","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3694715.3695974","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6000000238418579,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2152798237","display_name":null,"funder_award_id":"CNS-2106751","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4252214659","display_name":"CAREER: Programmable In-network Security","funder_award_id":"1942219","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4662746506","display_name":null,"funder_award_id":"CNS-2214272","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5807264171","display_name":"Collaborative Research: CNS Core: Large: Runtime Programmable Networks","funder_award_id":"2214272","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6088554862","display_name":"Collaborative Research: CNS Core: Medium: Reconfigurable Kernel Datapaths with Adaptive Optimizations","funder_award_id":"2106751","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6730742900","display_name":null,"funder_award_id":"CNS-2106388","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7819159490","display_name":"Collaborative Research: CNS Core: Medium: Movement of Computation and Data in Splitkernel-disaggregated, Data-intensive Systems","funder_award_id":"2106388","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7832383565","display_name":null,"funder_award_id":"CNS-1942219","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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/F4320316785","display_name":"VMware","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404400703.pdf","grobid_xml":"https://content.openalex.org/works/W4404400703.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W1573585357","https://openalex.org/W1975413145","https://openalex.org/W2010895736","https://openalex.org/W2110908283","https://openalex.org/W2130136915","https://openalex.org/W2489690523","https://openalex.org/W2742515467","https://openalex.org/W2761268990","https://openalex.org/W2773588639","https://openalex.org/W2782622643","https://openalex.org/W2797067769","https://openalex.org/W2816958343","https://openalex.org/W2938295127","https://openalex.org/W2955835447","https://openalex.org/W2960656136","https://openalex.org/W3002832602","https://openalex.org/W3027879771","https://openalex.org/W3047848029","https://openalex.org/W3138063364","https://openalex.org/W3153274897","https://openalex.org/W3156223343","https://openalex.org/W3160638507","https://openalex.org/W3173563914","https://openalex.org/W3181779015","https://openalex.org/W3184529109","https://openalex.org/W3207613969","https://openalex.org/W4226087539","https://openalex.org/W4237865316","https://openalex.org/W4241531852","https://openalex.org/W4284706564","https://openalex.org/W4311887664","https://openalex.org/W6794371675","https://openalex.org/W6856572599"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4244478748","https://openalex.org/W4223488648","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W1997222214","https://openalex.org/W2560439919","https://openalex.org/W4389340727"],"abstract_inverted_index":{"Cloud":[0],"infrastructures":[1],"are":[2],"increasingly":[3],"managed":[4],"by":[5,126],"Infrastructure-as-Code":[6],"(IaC)":[7],"frameworks":[8,12],"(e.g.,":[9],"Terraform).":[10],"IaC":[11,37,39,75,110,130],"enable":[13],"cloud":[14,31,135],"users":[15],"to":[16,26,104,122],"configure":[17],"their":[18],"resources":[19,124],"in":[20,54],"a":[21,63,73,88,133],"declarative":[22],"manner,":[23],"without":[24],"having":[25],"directly":[27],"work":[28],"with":[29,35],"low-level":[30],"API":[32],"calls.":[33],"However,":[34],"today's":[36],"tooling,":[38],"programs":[40,69],"that":[41,59,90],"pass":[42],"the":[43],"compilation":[44],"phase":[45],"may":[46,77],"still":[47],"incur":[48],"errors":[49,161],"at":[50],"deployment":[51,146],"time,":[52],"resulting":[53],"significant":[55],"disruption.":[56],"We":[57,118],"observe":[58],"this":[60,83],"stems":[61],"from":[62,108],"fundamental":[64],"semantic":[65,94,140],"gap":[66],"between":[67],"IaC-level":[68,93],"and":[70,112,132,158],"cloud-level":[71,79,97],"requirements---even":[72],"syntactically-correct":[74],"program":[76],"violate":[78],"expectations.":[80],"To":[81],"bridge":[82],"gap,":[84],"we":[85,151],"develop":[86],"Zodiac,":[87],"tool":[89],"can":[91],"unearth":[92],"checks":[95,107,141],"on":[96],"requirements.":[98],"It":[99],"provides":[100],"an":[101],"automated":[102],"pipeline":[103],"mine":[105],"these":[106,149],"online":[109],"repositories":[111],"validate":[113],"them":[114],"using":[115],"deployment-based":[116],"testing.":[117],"have":[119,152],"applied":[120],"Zodiac":[121],"Terraform":[123,156],"offered":[125],"Microsoft":[127],"Azure---a":[128],"leading":[129,134],"framework":[131],"vendor---where":[136],"it":[137],"found":[138],"500+":[139],"where":[142],"violation":[143],"would":[144],"produce":[145],"failures.":[147],"With":[148],"checks,":[150],"identified":[153],"200+":[154],"buggy":[155],"projects":[157],"helped":[159],"fix":[160],"within":[162],"official":[163],"Azure":[164],"provider":[165],"usage":[166],"examples.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}