Devon Loehr

Orcid: 0000-0003-1127-8932

According to our database1, Devon Loehr authored at least 7 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automated Optimization of Parameterized Data-Plane Programs with Parasol.
CoRR, 2024

2023
Saggitarius: A DSL for Specifying Grammatical Domains.
Proc. ACM Program. Lang., October, 2023

SwitchLog: A Logic Programming Language for Network Switches.
Proceedings of the Practical Aspects of Declarative Languages, 2023

2022
Safe, modular packet pipeline programming.
Proc. ACM Program. Lang., 2022

2021
Lucid: a language for control in the data plane.
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.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
NV: An intermediate language for network verification.
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019


  Loading...