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