Alan Tang

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Experimental Study

Control Strategies

Top Venues

Bell Labs Tech. J.

Publications

Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese
Lightyear: Using Modularity to Scale BGP Control Plane Verification. SIGCOMM (2023)
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
What do LLMs need to Synthesize Correct Router Configurations? HotNets (2023)
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
What do LLMs need to Synthesize Correct Router Configurations? CoRR (2023)
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. CoRR (2022)
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese
Campion: debugging router configuration differences. SIGCOMM (2021)
Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese
Finding Network Misconfigurations by Automatic Template Inference. NSDI (2020)
Frank Li, Alan Tang
High Performance Payload Conversion Method. Bell Labs Tech. J. 18 (2) (2013)