Articles avec mandats d'accès public - Ryan BeckettEn savoir plus
Disponibles quelque part : 28
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation, US Department of Defense
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
Exigences : US Department of Defense
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation, US Department of Defense
{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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
Formal methods for network performance analysis
MT Arashloo, R Beckett, R Agarwal
20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
Modular control plane verification via temporal invariants
T Alberdingk Thijm, R Beckett, A Gupta, D Walker
Proceedings of the ACM on Programming Languages 7 (PLDI), 50-75, 2023
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
Synthesizing runtime programmable switch updates
Y Qiu, R Beckett, A Chen
20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023
Exigences : US National Science Foundation
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique