• 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

2022

PLDI

  • Author of (POPL 2022) Dependently-Typed Data Plane Programming within the SIGPLAN Track-track

POPL

  • Author of Dependently-Typed Data Plane Programming within the POPL-track

2021

‹Programming›

  • Author of ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices within the Research Papers-track

2019

REBLS

  • Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track

ECOOP

  • 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

2018

PASS

  • Author of Towards Safe Modular Composition of Network Functions within the PASS 2018-track

2016

SPLASH

  • Author of Language Support for Verifiable SDNs within the Doctoral Symposium-track
Share
xWed 21 May 20:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up