Follow
Ryan Beckett
Ryan Beckett
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
A general approach to network configuration verification
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the Conference of the ACM Special Interest Group on Data …, 2017
2752017
Don't mind the gap: Bridging network-wide objectives and device-level configurations
R Beckett, R Mahajan, T Millstein, J Padhye, D Walker
Proceedings of the 2016 ACM SIGCOMM Conference, 328-341, 2016
1612016
Contra: A programmable system for performance-aware routing
KF Hsu, R Beckett, A Chen, J Rexford, D Walker
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
942020
An assertion language for debugging SDN applications
R Beckett, XK Zou, S Zhang, S Malik, J Rexford, D Walker
Proceedings of the third workshop on hot topics in software defined …, 2014
802014
Control plane compression
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
712018
Network configuration synthesis with abstract topologies
R Beckett, R Mahajan, T Millstein, J Padhye, D Walker
Proceedings of the 38th ACM SIGPLAN conference on programming language …, 2017
642017
Abstract interpretation of distributed network control planes
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
452019
Adaptive weighted traffic splitting in programmable data planes
KF Hsu, P Tammana, R Beckett, A Chen, J Rexford, D Walker
Proceedings of the Symposium on SDN Research, 103-109, 2020
402020
Finding network misconfigurations by automatic template inference
SKR Kakarla, A Tang, R Beckett, K Jayaraman, T Millstein, Y Tamir, ...
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
332020
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
312016
Groot: Proactive verification of dns configurations
SKR Kakarla, R Beckett, B Arzani, T Millstein, G Varghese
Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020
282020
NV: An intermediate language for verification of network control planes
N Giannarakis, D Loehr, R Beckett, D Walker
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
252020
Campion: debugging router configuration differences
A Tang, SKR Kakarla, R Beckett, E Zhai, M Brown, T Millstein, Y Tamir, ...
Proceedings of the 2021 ACM SIGCOMM 2021 Conference, 748-761, 2021
172021
Aragog: Scalable runtime verification of shardable networked systems
N Yaseen, B Arzani, R Beckett, S Ciraci, V Liu
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
162020
{SCALE}: Automatically finding {RFC} compliance bugs in {DNS} nameservers
SKR Kakarla, R Beckett, T Millstein, G Varghese
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022
152022
A general framework for compositional network modeling
R Beckett, R Mahajan
Proceedings of the 19th ACM Workshop on Hot Topics in Networks, 8-15, 2020
142020
Efficient verification of network fault tolerance via counterexample-guided refinement
N Giannarakis, R Beckett, R Mahajan, D Walker
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
142019
Kleene algebra modulo theories: a framework for concrete KATs
M Greenberg, R Beckett, E Campbell
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
12*2022
What do LLMs need to Synthesize Correct Router Configurations?
R Mondal, A Tang, R Beckett, T Millstein, G Varghese
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 189-195, 2023
102023
Katra: Realtime verification for multilayer networks
R Beckett, A Gupta
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022
102022
The system can't perform the operation now. Try again later.
Articles 1–20