Devon Loehr
Google (United States)(US)
Publications by Year
Research Areas
Software-Defined Networks and 5G, Network Packet Processing and Optimization, Parallel Computing and Optimization Techniques, Natural Language Processing Techniques, Software Engineering Research
Most-Cited Works
- → Lucid(2021)37 cited
- → NV: an intermediate language for verification of network control planes(2020)24 cited
- → Safe, modular packet pipeline programming(2022)5 cited
- → Saggitarius: A DSL for Specifying Grammatical Domains(2023)1 cited
- → Software Artifact for NV: An Intermediate Language for Verification of Network Control Planes(2020)1 cited
- → SwitchLog: A Logic Programming Language for Network Switches(2023)
- → Automated Optimization of Parameterized Data-Plane Programs with Parasol(2024)