Ryan Beckett

About me

Overview

I am a researcher in the Mobility and Networking group at Microsoft. My research interests lie primarily at the intersection of programming languages and networks, and I am broadly interested in topics spanning compilers, verification, static analysis, distributed systems, and networks. I currently have been focused on improving network reliability by both designing higher-level language abstractions for network automation as well as by applying ideas from formal methods to statically verify the correctness of networked systems.

Education

I have a B.S. in computer science and a B.A. in mathematics from the University of Virginia. I completed my Ph.D. in computer science at Princeton in 2018. My advisor during my time at Princeton was the incredible David Walker.

Quick Links

Here is my CV, and Thesis.

Recent News

  • I am honored to have won the ACM SIGCOMM 2018 dissertation award for work in computer networks!
  • Our paper "Efficient Verification of Network Fault-tolerance via Counterexample-guided Refinement." was accepted at CAV!
  • Joined the Mobility and Networking team at Microsoft Research in September of 2018.
  • Graduated from Princeton with my PhD in July 2018
  • Our paper "Control Plane Compression." was accepted at SIGCOMM 2018!
  • Gave talk at NANOG 76 in 2017. The slides are here

Publications

Thesis

Network Control Plane Synthesis and Verification.

Ryan Beckett, July 2018. [paper]

Chronological

Efficient Verification of Network Fault-tolerance via Counterexample-guided Refinement.

Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker. Computer Aided Verification (CAV), July 2019.

Control Plane Compression.

Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. ACM SIGCOMM, August 2018. [paper]

A General Approach to Network Configuration Verification.

Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. ACM SIGCOMM, August 2017. [paper]

Network Configuration Synthesis with Abstract Topologies.

Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, and David Walker. In PLDI, July 2017. [paper]

Kleene Algebra Modulo Theories.

Ryan Beckett, Eric Cambell, Michael Greenberg. Arxiv, July 2017. [paper]

Programming Distributed Control Planes: Invited Paper.

Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, and David Walker. SOSR, April 2017.

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations.

Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, and David Walker. ACM SIGCOMM, August 2016. Best paper award. [paper]

Temporal NetKAT.

Ryan Beckett, Michael Greenberg, and David Walker. 2016 In ACM SIGPLANN Conference on Programming Language Design and Implementation (PLDI ’16), June 2016. [paper]

Temporal NetKAT.

Ryan Beckett, Michael Greenberg, and David Walker. 2015 PLVNET 2015: 1st Workshop on Programming Languages and Verification Technology for Networking, January 2015. [paper]

An Assertion Language for Debugging SDN Applications.

Ryan Beckett, 2014 X. Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, and David Walker. ACM SIGCOMM HotSDN Workshop, August 2014. [paper]