18
Publications
835
Citations
15
H-Index
2014
Active since
Ryan Beckett is an author at Princeton University specializing in computer science, engineering, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringNetwork AnalysisEdge ComputingFormal MethodsFormal VerificationSystems EngineeringVerificationCloud Computing
Publications per year
2014–2023
18
18
A General Approach to Network Configuration Verification
Ryan Beckett, Aarti Gupta, Ratul Mahajan et al. · 2017 · 220 citations
Cluster Computing, Network Configuration Verification, Engineering +21
Ryan Beckett, Ratul Mahajan, Todd Millstein et al. · 2016 · 124 citations · Full text
Ryan Beckett, Aarti Gupta, Ratul Mahajan et al. · 2018 · 61 citations · Full text
What do LLMs need to Synthesize Correct Router Configurations?
Rajdeep Mondal, Alan Tang, Ryan Beckett et al. · 2023 · 59 citations · Full text
Network configuration synthesis with abstract topologies
Ryan Beckett, Ratul Mahajan, Todd Millstein et al. · 2017 · 52 citations · Full text
Engineering, Fault-tolerance Requirements, Concrete Topologies +18
Rows per page
1–5 of 18