Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Eichholz
conf.researchr.org general profile
ECOOP 2019 profile
PLDI 2022 profile
POPL 2022 profile
SPLASH 2016 profile
SPLASH 2019 profile
‹Programming› 2018 profile
‹Programming› 2021 profile
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
x
Sat 21 Dec 14:46
