Alan Tang

According to our database, Alan Tang authored at least 7 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Exploiting Modularity to Scale Verification of Network Router Configurations

Alan Tang

PhD thesis, 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

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

What do LLMs need to Synthesize Correct Router Configurations?

Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

2022

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese

CoRR, 2022

2021

Campion: debugging router configuration differences.

Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020

Finding Network Misconfigurations by Automatic Template Inference.

Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2013

High Performance Payload Conversion Method.

Frank Li, Alan Tang

Bell Labs Tech. J., 2013