Devon Loehr

According to our database, Devon Loehr authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Lucid: A High-Level, Easy-To-Use Dataplane Programming Language

Devon Loehr

PhD thesis, 2024

Automated Optimization of Parameterized Data-Plane Programs with Parasol.

Mary Hogan, Devon Loehr, John Sonchack, Shir Landau Feibish, Jennifer Rexford, David Walker

CoRR, 2024

2023

Saggitarius: A DSL for Specifying Grammatical Domains.

Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker

Proc. ACM Program. Lang., October, 2023

SwitchLog: A Logic Programming Language for Network Switches.

Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

Safe, modular packet pipeline programming.

Devon Loehr, David Walker

Proc. ACM Program. Lang., 2022

2021

Lucid: a language for control in the data plane.

John Sonchack, Devon Loehr, Jennifer Rexford, David Walker

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020

NV: an intermediate language for verification of network control planes.

Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

NV: An intermediate language for network verification.

Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019