Bio

Overview:

I am a 3rd year PhD student at Princeton studying programming language theory with my advisor David Walker. I received Bachelors degrees in Computer Science and Mathematics from the University of Virginia. More recently, I have been working on applications of domain-specific languages to software-defined networking. My interests broadly include type theory, automata, verification, and program synthesis. [PDF iconCurrent CV]

Current Projects:

Propane: A language and compiler for writing high-level specifications of centralized routing policy and generating distributed, fault-tolerant, low-level router configurations. Propane extends the SDN model of network programming to both intra-domain and inter-domain routing, allowing programmers to write high-level constraints on the types of paths traffic may take through either their own network or other networks. The compiler generates device-by-device BGP configurations that run on traditional, unmodified network devices in such a way that the distributed implementation is guaranteed to remain policy-compliant even when any combinations of device/link failures occur in the network. 

[Home Page]

Propane

Temporal NetKAT: A network programming language that extends the NetKAT language with a richer set of temporal logic predicates for dynamically querying packet history. The addition of temporal queries allows Temporal NetKAT to express problems related to network programming, traffic monitoring, network debugging, security enforcement, and program verification in a single language. The metatheory extends the soundness and completeness results from the NetKAT language.

[Home Page]

Publications:

  • Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, David Walker. ACM SIGCOMM, August 2016. Best Paper Award. [Paper]
  • Temporal NetKAT. Ryan Beckett, Michael Greenberg, David Walker. In ACM SIGPLANN Conference on Programming Language Design and Implementation (PLDI), June, 2016. [Paper]
  • Temporal NetKAT. Ryan Beckett, Michael Greenberg, David Walker. PLVNET 2015: 1st Workshop on Programming Languages and Verification Technology for Networking, January 2015. [Paper]
  • An Assertion Language for Debugging SDN Applications. Ryan Beckett, Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker. ACM SIGCOMM HotSDN Workshop, August 2014. [Paper]