High Performance Payload Conversion Method. - Frank Li 004; Alan Tang (Bell Labs Tech. J., 2013)

Finding Network Misconfigurations by Automatic Template Inference. - Siva Kesava Reddy K.; Alan Tang; Ryan Beckett; Karthick Jayaraman; Todd D. Millstein; Yuval Tamir; George Varghese (NSDI, 2020)

Campion: debugging router configuration differences. - Alan Tang; Siva Kesava Reddy Kakarla; Ryan Beckett; Ennan Zhai; Matt Brown; Todd D. Millstein; Yuval Tamir; George Varghese (SIGCOMM, 2021)

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. - Alan Tang; Ryan Beckett; Karthick Jayaraman; Todd D. Millstein; George Varghese (CoRR, 2022)

What do LLMs need to Synthesize Correct Router Configurations? - Rajdeep Mondal; Alan Tang; Ryan Beckett; Todd D. Millstein; George Varghese (HotNets, 2023)

Lightyear: Using Modularity to Scale BGP Control Plane Verification. - Alan Tang; Ryan Beckett; Steven Benaloh; Karthick Jayaraman; Tejas Patil; Todd D. Millstein; George Varghese (SIGCOMM, 2023)

Exploiting Modularity to Scale Verification of Network Router Configurations - Alan Tang (2023)

LLM-Based Config Synthesis requires Disambiguation. - Rajdeep Mondal; Nikolaj S. Bjørner; Todd D. Millstein; Alan Tang; George Varghese (CoRR, 2025)