Ryan Beckett
Microsoft (United States)(US)Microsoft Research (United Kingdom)(GB)
Publications by Year
Research Areas
Software-Defined Networks and 5G, Software System Performance and Reliability, Software Testing and Debugging Techniques, Formal Methods in Verification, Network Packet Processing and Optimization
Most-Cited Works
- → A General Approach to Network Configuration Verification(2017)222 cited
- → Don't Mind the Gap(2016)126 cited
- → What do LLMs need to Synthesize Correct Router Configurations?(2023)63 cited
- → Control plane compression(2018)61 cited
- → Network configuration synthesis with abstract topologies(2017)52 cited
- → An assertion language for debugging SDN applications(2014)49 cited
- → Abstract interpretation of distributed network control planes(2019)39 cited
- → Adaptive Weighted Traffic Splitting in Programmable Data Planes(2020)37 cited
- → Contra: A Programmable System for Performance-aware Routing(2019)32 cited