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
1892017
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
1252016
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
682014
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
562020
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
522018
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
442017
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
292016
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
272019
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
232020
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
212020
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
152020
Efficient verification of network fault tolerance via counterexample-guided refinement
N Giannarakis, R Beckett, R Mahajan, D Walker
International Conference on Computer Aided Verification, 305-323, 2019
122019
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
112020
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
102020
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
82020
Putting network verification to good use
R Beckett, R Mahajan
Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 77-84, 2019
52019
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming
R Beckett, R Mahajan, T Millstein, J Padhye, D Walker
ACM SIGCOMM Computer Communication Review 49 (5), 104-106, 2019
52019
Network control plane synthesis and verification
RA Beckett
Princeton University, 2018
52018
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
32021
Kleene algebra modulo theories
M Greenberg, R Beckett, E Campbell
arXiv preprint arXiv:1707.02894, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20