• Sign in
  • Sign up
conf.researchr.org / Devon Loehr
  • PLDI 2020 profile
  • PLDI 2022 profile
  • POPL 2022 profile
  • POPL 2023 profile
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

Share
xTue 28 Mar 13:33
using conf.researchr.org (v1.60.0)
Support page
Sign Up