Devon Loehr

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Control Structures

Application Domains

Predicate Argument

Complex Domains

Top Venues

Proc. ACM Program. Lang.

Publications

Mary Hogan, Devon Loehr, John Sonchack, Shir Landau Feibish, Jennifer Rexford, David Walker
Automated Optimization of Parameterized Data-Plane Programs with Parasol. CoRR (2024)
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. CoRR (2023)
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker
SwitchLog: A Logic Programming Language for Network Switches. PADL (2023)
Devon Loehr, David Walker
Safe, modular packet pipeline programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
John Sonchack, Devon Loehr, Jennifer Rexford, David Walker
Lucid: A Language for Control in the Data Plane. CoRR (2021)
John Sonchack, Devon Loehr, Jennifer Rexford, David Walker
Lucid: a language for control in the data plane. SIGCOMM (2021)
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
NV: an intermediate language for verification of network control planes. PLDI (2020)
Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
NV: An intermediate language for network verification. NetPL@SIGCOMM (2019)