{"id":"https://openalex.org/W7166708768","doi":"https://doi.org/10.1145/3797097","title":"Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code","display_name":"Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code","publication_year":2026,"publication_date":"2026-06-30","ids":{"openalex":"https://openalex.org/W7166708768","doi":"https://doi.org/10.1145/3797097"},"language":"en","primary_location":{"id":"doi:10.1145/3797097","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797097","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3797097","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019585848","display_name":"Georgios-Petros Drosos","orcid":"https://orcid.org/0009-0007-2457-1421"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Georgios-Petros Drosos","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0009-0007-2457-1421","affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042949856","display_name":"Georgios Alexopoulos","orcid":"https://orcid.org/0009-0005-8947-2075"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Georgios Alexopoulos","raw_affiliation_strings":["National Infrastructures for Research and Technology, Athens, Greece","University of Athens, Athens, Greece"],"raw_orcid":"https://orcid.org/0009-0005-8947-2075","affiliations":[{"raw_affiliation_string":"National Infrastructures for Research and Technology, Athens, Greece","institution_ids":[]},{"raw_affiliation_string":"University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090354733","display_name":"Thodoris Sotiropoulos","orcid":"https://orcid.org/0000-0002-9906-3073"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Thodoris Sotiropoulos","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-9906-3073","affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021658848","display_name":"Dimitris Mitropoulos","orcid":"https://orcid.org/0000-0002-5061-9018"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Dimitris Mitropoulos","raw_affiliation_strings":["National Infrastructures for Research and Technology, Athens, Greece","University of Athens, Athens, Greece"],"raw_orcid":"https://orcid.org/0000-0002-5061-9018","affiliations":[{"raw_affiliation_string":"National Infrastructures for Research and Technology, Athens, Greece","institution_ids":[]},{"raw_affiliation_string":"University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-2970-1391","affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.85398533,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"FSE","first_page":"1536","last_page":"1559"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.7353000044822693,"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/T11424","display_name":"Security and Verification in Computing","score":0.7353000044822693,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.05739999935030937,"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.05090000107884407,"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/software-portability","display_name":"Software portability","score":0.696399986743927},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6883000135421753},{"id":"https://openalex.org/keywords/backward-compatibility","display_name":"Backward compatibility","score":0.6881999969482422},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6288999915122986},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5394999980926514},{"id":"https://openalex.org/keywords/installation","display_name":"Installation","score":0.4611999988555908},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3871000111103058},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.3817000091075897},{"id":"https://openalex.org/keywords/compatibility","display_name":"Compatibility (geochemistry)","score":0.3621000051498413}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7373999953269958},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.696399986743927},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6883000135421753},{"id":"https://openalex.org/C20574231","wikidata":"https://www.wikidata.org/wiki/Q844605","display_name":"Backward compatibility","level":2,"score":0.6881999969482422},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6288999915122986},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5394999980926514},{"id":"https://openalex.org/C146778888","wikidata":"https://www.wikidata.org/wiki/Q836862","display_name":"Installation","level":2,"score":0.4611999988555908},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4284999966621399},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3871000111103058},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3817000091075897},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.3621000051498413},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3529999852180481},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3443000018596649},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34040001034736633},{"id":"https://openalex.org/C105446022","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy system","level":3,"score":0.3402000069618225},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.33709999918937683},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.3287999927997589},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.30140000581741333},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2957000136375427},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2939000129699707},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.2939000129699707},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.29019999504089355},{"id":"https://openalex.org/C22680326","wikidata":"https://www.wikidata.org/wiki/Q7444867","display_name":"Secure coding","level":5,"score":0.28870001435279846},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.2831000089645386},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2815000116825104},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.26809999346733093},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C109751979","wikidata":"https://www.wikidata.org/wiki/Q998767","display_name":"Failover","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C85687889","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy code","level":3,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3797097","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797097","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3797097","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797097","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6429494023323059,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W2402800985","https://openalex.org/W2407292968","https://openalex.org/W2534143033","https://openalex.org/W2955656327","https://openalex.org/W2993710525","https://openalex.org/W3088191102","https://openalex.org/W3090625769","https://openalex.org/W3096231857","https://openalex.org/W3118657661","https://openalex.org/W4312578982","https://openalex.org/W4313563645","https://openalex.org/W4384009698","https://openalex.org/W4387321514","https://openalex.org/W4388483637","https://openalex.org/W4394946189","https://openalex.org/W4396564044","https://openalex.org/W4398766423","https://openalex.org/W4399601909","https://openalex.org/W4400582494","https://openalex.org/W4403223353","https://openalex.org/W4404307372","https://openalex.org/W4404400703","https://openalex.org/W4405903187","https://openalex.org/W4406779522","https://openalex.org/W4410553379","https://openalex.org/W4411088258","https://openalex.org/W4415035879","https://openalex.org/W4415800657","https://openalex.org/W4417096110","https://openalex.org/W7133240551","https://openalex.org/W7153582458"],"related_works":[],"abstract_inverted_index":{"Modern":[0],"infrastructures":[1],"rely":[2],"on":[3,27,84,167,251],"Infrastructure":[4],"as":[5,46],"Code":[6],"(IaC)":[7],"systems":[8,236],"to":[9,131,158,226],"keep":[10],"complex":[11],"deployments":[12],"consistent,":[13],"reproducible,":[14],"and":[15,58,106,133,141,164,188],"scalable":[16],"at":[17],"production":[18],"scale.":[19],"The":[20,220],"reliability":[21],"of":[22,30,69,122,147,195,246],"these":[23,70],"infrastructures,":[24,101],"however,":[25],"depends":[26],"the":[28,63,81,87,115,169,243],"correctness":[29],"their":[31],"building":[32],"blocks,":[33],"which":[34],"are":[35,155],"reusable":[36],"components":[37,71],"(modules)":[38],"that":[39,258],"each":[40],"performs":[41],"a":[42,48,56,74],"dedicated":[43],"task,":[44],"such":[45],"installing":[47],"package,":[49],"managing":[50,176],"an":[51],"OS":[52,86],"user,":[53],"or":[54],"configuring":[55],"service,":[57],"reconciling":[59],"its":[60],"state":[61],"with":[62,216],"desired":[64],"specification.":[65],"A":[66],"central":[67],"promise":[68],"is":[72,94],"portability:":[73],"specification":[75],"written":[76],"once":[77],"should":[78],"correctly":[79],"manage":[80],"targeted":[82],"resource":[83],"every":[85],"IaC":[88,123,160,173],"component":[89],"supports.":[90],"When":[91],"this":[92,110],"property":[93],"violated,":[95],"defects":[96,229],"can":[97],"propagate":[98],"across":[99,144,180],"entire":[100],"causing":[102],"outages,":[103],"security":[104],"vulnerabilities,":[105],"costly":[107],"misconfigurations.":[108],"In":[109,191,207],"work,":[111],"we":[112,162],"introduce":[113],"crOSsible,":[114],"first":[116],"automated":[117],"framework":[118,174],"for":[119,175],"cross-OS":[120],"testing":[121],"modules.":[124],"crOSsible":[125,197,241],"leverages":[126],"large":[127],"language":[128],"models":[129],"(LLMs)":[130],"synthesize":[132],"repair":[134],"integration":[135],"tests":[136,260],"from":[137,224],"structured":[138],"module":[139],"documentation,":[140],"executes":[142],"them":[143,166],"13":[145],"versions":[146],"8":[148],"major":[149],"Linux":[150],"distributions.":[151],"While":[152],"our":[153],"techniques":[154],"generally":[156],"applicable":[157],"different":[159],"systems,":[161],"instantiate":[163],"evaluate":[165],"Ansible,":[168],"most":[170],"widely":[171],"used":[172],"individual":[177],"servers.":[178],"Evaluation":[179],"259":[181],"popular":[182],"Ansible":[183,247],"modules":[184,231,248],"demonstrates":[185],"both":[186],"effectiveness":[187],"real-world":[189],"impact.":[190],"just":[192],"12":[193],"hours":[194],"testing,":[196],"uncovered":[198],"36":[199],"previously":[200],"unknown":[201],"bugs,":[202],"including":[203],"22":[204],"portability":[205],"violations.":[206],"total,":[208],"27":[209],"issues":[210,222],"have":[211],"been":[212],"confirmed":[213],"by":[214,249],"maintainers,":[215],"17":[217],"already":[218],"fixed.":[219],"discovered":[221],"range":[223],"crashes":[225],"dangerous":[227],"soundness":[228],"where":[230],"reported":[232],"success":[233],"despite":[234],"leaving":[235],"misconfigured.":[237],"Beyond":[238],"bug":[239],"discovery,":[240],"improved":[242],"code":[244,256],"coverage":[245],"12.3%":[250],"average,":[252],"systematically":[253],"exercising":[254],"OS-specific":[255],"paths":[257],"existing":[259],"missed.":[261]},"counts_by_year":[],"updated_date":"2026-07-02T06:12:58.138171","created_date":"2026-07-01T00:00:00"}