NV: An intermediate language for network verification. - Ryan Beckett; Nick Giannarakis; Devon Loehr; David Walker 001 (NetPL@SIGCOMM, 2019)

NV: an intermediate language for verification of network control planes. - Nick Giannarakis; Devon Loehr; Ryan Beckett; David Walker 001 (PLDI, 2020)

Lucid: a language for control in the data plane. - John Sonchack; Devon Loehr; Jennifer Rexford; David Walker 001 (SIGCOMM, 2021)

Safe, modular packet pipeline programming. - Devon Loehr; David Walker 001 (Proc. ACM Program. Lang., 2022)

SwitchLog: A Logic Programming Language for Network Switches. - Vaibhav Mehta; Devon Loehr; John Sonchack; David Walker 001 (PADL, 2023)

Saggitarius: A DSL for Specifying Grammatical Domains. - Anders Miltner; Devon Loehr; Arnold Mong; Kathleen Fisher; David Walker 001 (Proc. ACM Program. Lang., 2023)

Automated Optimization of Parameterized Data-Plane Programs with Parasol. - Mary Hogan; Devon Loehr; John Sonchack; Shir Landau Feibish; Jennifer Rexford; David Walker 001 (CoRR, 2024)

Lucid: A High-Level, Easy-To-Use Dataplane Programming Language - Devon Loehr (2024)