• Sign in
  • Sign up
conf.researchr.org / Matthias Eichholz
  • ECOOP 2019 profile
  • PLDI 2022 profile
  • POPL 2022 profile
  • SPLASH 2016 profile
  • SPLASH 2019 profile
  • ‹Programming› 2018 profile
  • ‹Programming› 2021 profile
Matthias Eichholz

Registered user since Wed 3 Aug 2016

Name:Matthias Eichholz

Contributions

PLDI 2022 Author of (POPL 2022) Dependently-Typed Data Plane Programming within the SIGPLAN Track-track
POPL 2022 Author of Dependently-Typed Data Plane Programming within the POPL-track
‹Programming› 2021 Author of ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices within the Research Papers-track
REBLS 2019 Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track
ECOOP 2019 Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track
Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track
PASS 2018 Author of Towards Safe Modular Composition of Network Functions within the PASS 2018-track
SPLASH 2016 Author of Language Support for Verifiable SDNs within the Doctoral Symposium-track

Share
xThu 8 Jun 18:22
using conf.researchr.org (v1.60.0)
Support page
Sign Up