Alan Tang is an author at UCLA Health specializing in computer science, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringProgram AnalysisSoftware EngineeringEdge Computing
Publications per year
2021–2023
3
3
What do LLMs need to Synthesize Correct Router Configurations?
Rajdeep Mondal, Alan Tang, Ryan Beckett et al. · 2023 · 59 citations · Full text
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett et al. · 2021 · 19 citations · Full text
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh et al. · 2023 · 19 citations · Full text
Rows per page
1–3 of 3