Personal information

No personal information available

Activities

Collapse all

Works (2)

What do LLMs need to Synthesize Correct Router Configurations?

2023-11-28 | Conference paper
DOI: 10.1145/3626111.3628194
Contributors: Rajdeep Mondal; Alan Tang; Ryan Beckett; Todd Millstein; George Varghese
Source: check_circle
Crossref

Lightyear: Using Modularity to Scale BGP Control Plane Verification

2023-09-10 | Conference paper
DOI: 10.1145/3603269.3604842
Contributors: Alan Tang; Ryan Beckett; Steven Benaloh; Karthick Jayaraman; Tejas Patil; Todd Millstein; George Varghese
Source: check_circle
Crossref
How many people are using ORCID?