| 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 | 266 | 2017 |
| 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 | 160 | 2016 |
| 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 | 91 | 2020 |
| 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 | 80 | 2014 |
| 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 | 69 | 2018 |
| 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 | 63 | 2017 |
| 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 | 42 | 2019 |
| 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 | 40 | 2020 |
| Temporal netkat R Beckett, M Greenberg, D Walker Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 31 | 2016 |
| 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 | 30 | 2020 |
| 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 | 25 | 2020 |
| 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 | 25 | 2020 |
| 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 | 16 | 2020 |
| 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 | 15 | 2021 |
| {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 | 14 | 2022 |
| 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 | 14 | 2019 |
| 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 | 13 | 2020 |
| 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 |
| Lightyear: Using modularity to scale bgp control plane verification A Tang, R Beckett, S Benaloh, K Jayaraman, T Patil, T Millstein, ... Proceedings of the ACM SIGCOMM 2023 Conference, 94-107, 2023 | 9 | 2023 |
| Katra: Realtime verification for multilayer networks R Beckett, A Gupta 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022 | 9 | 2022 |
