About me

I am currently a fourth-year PhD student at Princeton, where I’m a member of the Programming Languages Group. I graduated from Swarthmore College in 2018 with High Honors, with majors in Mathematics and Computer Science. I’m currently working with my advisor, Dave Walker, on Lucid, a language for programming network switches, as well as Saggitarius, a tool for synthesizing grammars from example text.

Research Interests

My interests tend towards programming language design, type theory, program transformations. I am particularly interested in work on languages for systems under heavy or unusual constraints, such as networking hardware.

Publications

• 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.