Bibtex:

@inproceedings{ygcpdkc2026,
  AUTHOR    = { Yang, Zhenning },
  TITLE     = { {NSync}: Automated Cloud Infrastructure-as-Code Reconciliation with {AI} Agents },
  BOOKTITLE = { International Symposium on Software Testing and Analysis (ISSTA) },
  YEAR      = { 2026 },
  PAGES     = { 687--709 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.