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

2023

Symposium on Practical Aspects of Declarative Languages

  • Author of SwitchLog: A Logic Programming Language for Network Switches within the PADL 2023-track

SPLASH

  • Author of Saggitarius: A DSL for Specifying Grammatical Domains within the OOPSLA-track

2022

PLDI

  • Author of (POPL 2022) Safe, Modular Packet Pipeline Programming within the SIGPLAN Track-track

POPL

  • Author of Safe, Modular Packet Pipeline Programming within the POPL-track

2020

PLDI

  • Author of NV: An Intermediate Language for Verification of Network Control Planes within the PLDI Research Papers-track
Share
xMon 19 May 11:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up