Browsing by Author Beckett, Ryan
Showing results 1 to 8 of 8
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Dec-2019 | Abstract interpretation of distributed network control planes | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| 2020 | Contra: A Programmable System for Performance-aware Routing | Hsu, Kuo-Feng; Beckett, Ryan; Chen, Ang; Rexford, Jennifer; Tammana, Praveen; et al |
| Aug-2018 | Control plane compression | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| Nov-2019 | Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming | Beckett, Ryan; Mahajan, Ratul; Millstein, Todd; Padhye, Jitendra; Walker, David |
| 2019 | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement | Giannarakis, Nick; Beckett, Ryan; Mahajan, Ratul; Walker, David |
| Aug-2017 | A general approach to network configuration verification | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| Aug-2019 | NV: An intermediate language for network verification | Beckett, Ryan; Giannarakis, Nick; Loher, Devon; Walker, David |
| Jun-2016 | Temporal NetKAT | Beckett, Ryan; Greenberg, Michael; Walker, David |