About me

I am currently a final-year PhD student at Princeton, where I’m a member of the Programming Languages Group, advised by Dave Walker. I graduated from Swarthmore College in 2018 with High Honors, with majors in Mathematics and Computer Science. I’m one of the authors of Lucid, a high-level dataplane programming language. Recently, I have worked on developing a hardware model for SmartNICs.

Research Interests

My interests include language design, type systems, and network programming. I’m particularly interested in settings with heavy or unusual restrictions, such as computer networks, since these provide novel and engaging design challenges. A particular focus of my work has been designing abstractions which are expressive, easy to use, and provide useful feedback to users when things go wrong.

Publications

• SwitchLog: A Logic Programming Language for Network Switches.
  Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker
  PADL 2023. Pdf
• Safe, Modular Packet Pipeline Programming
  Devon Loehr, David Walker
  POPL 2022. Github (same as Lucid). Pdf. Slides: pdf, pptx
• Lucid: A Language for Control in the Data Plane
  John Sonchack, Devon Loehr, Jennifer Rexford, David Walker
  SIGCOMM 2021. Github. Pdf.
• NV: An intermediate language for network verification
  Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
  PLDI 2020. Github. Pdf.

Dissertation

My thesis documents my work on the Lucid programming language.
Pdf. Defense.