ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
Sat 3 May 2025 14:40 - 14:56 at 210 - Session 3 Chair(s): Jian Zhang

Infrastructure-as-code (IaC) is reshaping how cloud resources are managed. IaC users write high-level programs to define their desired infrastructure, and the underlying IaC platforms automatically deploy the constituent resources into the cloud. While proven powerful at creating greenfield deployments (i.e., new cloud deployments from scratch), existing IaC platforms provide limited support for managing brownfield infrastructure (i.e., transplanting an existing non-IaC deployment to an IaC platform). This hampers the migration from legacy cloud management approaches to an IaC workflow and hinders wider IaC adoption. Managing brownfield deployments requires techniques to lift low-level cloud resource states and translate them into corresponding IaC programs —— the reversal of the regular deployment process. Existing tools rely heavily on rule-based reverse engineering, which suffers from the lack of automation, limited resource coverage, and prevalence of errors. In this work, we lay out a vision for Lilac, a new approach that frees IaC lifting from extensive manual engineering. Lilac brings the best of both worlds: leveraging Large Language Models to automate lifting rule extraction, coupled with symbolic methods to control the cloud environment and provide correctness assurance. We envision that Lilac would enable the construction of an automated and provider-agnostic lifting tool with high coverage and accuracy.

Sat 3 May

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Session 3AIOps at 210
Chair(s): Jian Zhang Microsoft
14:00
40m
Keynote
Keynote2: AIOps in the Era of Large Language Models
AIOps
Wahab Hamou-Lhadj Concordia University, Montreal, Canada
14:40
16m
Talk
Automated Lifting for Cloud Infrastructure-as-Code Programs
AIOps
Jingjia Peng University of Michigan, Yiming Qiu University of Michigan, Patrick Tser Jern Kon University of Michigan, Pinhan Zhao University of Michigan, Yibo Huang University of Michigan, Zheng Guo University of California, San Diego, Xinyu Wang University of Michigan, Ang Chen University of Michigan
14:56
16m
Talk
Orchestrating Cross-Layer Anomaly Detection and Mitigation to Address Gray Failures in Large-Scale Cloud Infrastructure
AIOps
Ze Li Microsoft Azure, Chang Lou University of Virginia, Vignatha Yenugutala Microsoft Azure, Vivek Ramamurthy Microsoft Azure, Eion Blanchard Microsoft Azure, Minghua Ma Microsoft, Murali Chintalapati Microsoft Azure
15:12
18m
Talk
Automated Service Design with Cerulean (Project Showcase)
AIOps
Vaastav Anand , Alok Kumbhare Microsoft Research, n.n., Celine Irvene Microsoft, Chetan Bansal Microsoft Research, Gagan Somashekar Microsoft, Jonathan Mace Microsoft, Pedro Las-Casas Microsoft, Rodrigo Fonseca Microsoft Research
OSZAR »