5 citations · 7 across the 3 of their papers we have counts for
3 papers
CAIP: Detecting Router Misconfigurations with Context-Aware Iterative Prompting of LLMs
Xi Jiang, Aaron Gember-Jacobson, Nick Feamster
Model checkers and consistency checkers detect critical errors in router configurations, but these tools require significant manual effort to develop and maintain. LLM-based Q&A mo…
NetDiffusion: Network Data Augmentation Through Protocol-Constrained Traffic Generation
Xi Jiang, Shinan Liu, Aaron Gember-Jacobson +4
Datasets of labeled network traces are essential for a multitude of machine learning (ML) tasks in networking, yet their availability is hindered by privacy and maintenance concern…
Tiramisu: Fast and General Network Verification
Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella
Today's distributed network control planes support multiple routing protocols, filtering mechanisms, and route selection policies. These protocols operate at different layers, e.g.…