{"id":"https://openalex.org/W7157530629","doi":"https://doi.org/10.1145/3805621.3807644","title":"RIVA: Leveraging LLM Agents for Reliable Configuration Drift Detection","display_name":"RIVA: Leveraging LLM Agents for Reliable Configuration Drift Detection","publication_year":2026,"publication_date":"2026-04-27","ids":{"openalex":"https://openalex.org/W7157530629","doi":"https://doi.org/10.1145/3805621.3807644"},"language":null,"primary_location":{"id":"doi:10.1145/3805621.3807644","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3805621.3807644","pdf_url":null,"source":null,"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 Sixth European Workshop on Machine Learning and Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3805621.3807644","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124418500","display_name":"Sami Abuzakuk","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Sami Abuzakuk","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0009-0003-6207-5905","affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128054268","display_name":"Lucas Crijns","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lucas Crijns","raw_affiliation_strings":["armasuisse, Thun, Switzerland"],"raw_orcid":"https://orcid.org/0009-0003-9233-9860","affiliations":[{"raw_affiliation_string":"armasuisse, Thun, Switzerland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031849486","display_name":"Anne-Marie Kermarrec","orcid":"https://orcid.org/0000-0001-8187-724X"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Anne-Marie Kermarrec","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0001-8187-724X","affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128066873","display_name":"Rafael Pires","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Rafael Pires","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-7826-1599","affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010233454","display_name":"Martijn de Vos","orcid":"https://orcid.org/0000-0003-4157-4847"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Martijn de Vos","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-4157-4847","affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5124418500"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.96355465,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"499","last_page":"509"},"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.3610999882221222,"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.3610999882221222,"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/T12761","display_name":"Data Stream Mining Techniques","score":0.10490000247955322,"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.05209999904036522,"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/task","display_name":"Task (project management)","score":0.6514999866485596},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5697000026702881},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5507000088691711},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5432999730110168},{"id":"https://openalex.org/keywords/provisioning","display_name":"Provisioning","score":0.44769999384880066},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.40610000491142273},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.3637000024318695}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.708299994468689},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6514999866485596},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5697000026702881},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5507000088691711},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5432999730110168},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.47589999437332153},{"id":"https://openalex.org/C172191483","wikidata":"https://www.wikidata.org/wiki/Q1071806","display_name":"Provisioning","level":2,"score":0.44769999384880066},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4169999957084656},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.40610000491142273},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3637000024318695},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35359999537467957},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3504999876022339},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.34929999709129333},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.34850001335144043},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C29852176","wikidata":"https://www.wikidata.org/wiki/Q373338","display_name":"Critical infrastructure","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.2809999883174896},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.267300009727478},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2531999945640564},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3805621.3807644","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3805621.3807644","pdf_url":null,"source":null,"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 Sixth European Workshop on Machine Learning and Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3805621.3807644","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3805621.3807644","pdf_url":null,"source":null,"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 Sixth European Workshop on Machine Learning and Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6532001495361328,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W2883411629","https://openalex.org/W3157440142","https://openalex.org/W4400484653","https://openalex.org/W4403223353","https://openalex.org/W4404385440","https://openalex.org/W4404792967","https://openalex.org/W4409325865","https://openalex.org/W4409737900","https://openalex.org/W4410553379","https://openalex.org/W4411232812","https://openalex.org/W4413014960"],"related_works":[],"abstract_inverted_index":{"Infrastructure":[0,124],"as":[1],"code":[2],"(IaC)":[3],"tools":[4,71,139],"automate":[5,45],"cloud":[6,229],"provisioning":[7],"but":[8],"verifying":[9],"that":[10,69,132,158,176,215],"deployed":[11],"systems":[12,43,66],"remain":[13],"consistent":[14],"with":[15],"the":[16,29,46,58,70,172,179],"IaC":[17,30,135],"specifications":[18],"remains":[19],"challenging.":[20],"Such":[21],"configuration":[22,61],"drift":[23,108],"occurs":[24],"because":[25],"of":[26,48,51,60,181,217],"bugs":[27],"in":[28,178,227],"specification,":[31],"manual":[32],"changes,":[33],"or":[34,99,109,142],"system":[35,131],"updates.":[36],"Large":[37],"language":[38],"model":[39],"(LLM)-based":[40],"agentic":[41,65],"AI":[42],"can":[44],"analysis":[47],"large":[49],"volumes":[50],"telemetry":[52],"data,":[53],"making":[54,78],"them":[55,79],"suitable":[56],"for":[57],"detection":[59],"drift.":[62],"However,":[63],"existing":[64],"implicitly":[67],"assume":[68],"they":[72],"invoke":[73],"always":[74],"return":[75],"correct":[76],"outputs,":[77],"vulnerable":[80],"to":[81,196,206],"erroneous":[82,182,209],"tool":[83,92,155,166,183,210,219],"responses.":[84,211],"Since":[85],"agents":[86],"cannot":[87],"distinguish":[88],"whether":[89],"an":[90],"anomalous":[91],"output":[93],"reflects":[94],"a":[95,100,128,150,154,192],"real":[96],"infrastructure":[97,225],"problem":[98],"broken":[101],"tool,":[102],"such":[103],"errors":[104],"may":[105],"cause":[106],"missed":[107],"false":[110],"alarms,":[111],"reducing":[112],"reliability":[113],"precisely":[114],"when":[115,138,190],"it":[116],"is":[117],"most":[118],"needed.":[119],"We":[120],"introduce":[121],"RIVA":[122,145,200],"(Robust":[123],"by":[125],"Verification":[126],"Agents),":[127],"novel":[129],"multi-agent":[130],"performs":[133],"robust":[134],"verification":[136,226],"even":[137],"produce":[140],"incorrect":[141],"misleading":[143],"outputs.":[144],"employs":[146],"two":[147],"specialized":[148],"agents,":[149],"verifier":[151],"agent":[152,195],"and":[153,165],"generation":[156],"agent,":[157],"collaborate":[159],"through":[160],"iterative":[161],"cross-validation,":[162],"multi-perspective":[163],"verification,":[164],"call":[167],"history":[168],"tracking.":[169],"Evaluation":[170],"on":[171,198],"AIOpsLab":[173],"benchmark":[174],"demonstrates":[175],"RIVA,":[177],"presence":[180],"responses,":[184],"recovers":[185],"task":[186,203],"accuracy":[187,204],"from":[188],"27.3%":[189],"using":[191],"baseline":[193],"ReAct":[194],"50.0%":[197],"average.":[199],"also":[201],"improves":[202],"28%":[205],"43.8%":[207],"without":[208],"Our":[212],"results":[213],"show":[214],"cross-validation":[216],"diverse":[218],"calls":[220],"enables":[221],"more":[222],"reliable":[223],"autonomous":[224],"production":[228],"environments.":[230]},"counts_by_year":[],"updated_date":"2026-04-30T06:11:10.768123","created_date":"2026-04-30T00:00:00"}
