Skip to main content

Browsing by Author Beckett, Ryan

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