conf.researchr.org / Devon Loehr
Devon Loehr

Registered user since Sun 3 Oct 2021

Name:Devon Loehr
Country:United States
Affiliation:Princeton University
Personal website:https://dkloehr.github.io/
GitHub:https://github.com/DKLOEHR
Research interests:Programming Language design, type systems

Contributions

PADL 2023 Author of SwitchLog: A Logic Programming Language for Network Switches within the PADL 2023-track
PLDI 2022 Author of (POPL 2022) Safe, Modular Packet Pipeline Programming within the SIGPLAN Track-track
POPL 2022 Author of Safe, Modular Packet Pipeline Programming within the POPL-track
PLDI 2020 Author of NV: An Intermediate Language for Verification of Network Control Planes within the PLDI Research Papers-track