Personal information

No personal information available

Activities

Employment (1)

Technische Universität Darmstadt: Darmstadt, DE

2015-11 to present (Software Technology Group)
Employment
Source: Self-asserted source
Matthias Eichholz

Works (3)

Dependently-typed data plane programming

Proceedings of the ACM on Programming Languages
2022-01-16 | Journal article
Contributors: Matthias Eichholz; Eric Hayden Campbell; Matthias Krebs; Nate Foster; Mira Mezini
Source: check_circle
Crossref

ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices

The Art, Science, and Engineering of Programming
2020-10-30 | Journal article
Part of ISSN: 2473-7321
Contributors: Artur Sterz; Matthias Eichholz; Ragnar Mogk; Lars Baumgärtner; Pablo Graubner; Matthias Hollick; Mira Mezini; Bernd Freisleben
Source: Self-asserted source
Matthias Eichholz

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2019 | Journal article
Contributors: Matthias Eichholz; Eric Campbell; Nate Foster; Guido Salvaneschi; Mira Mezini
Source: Self-asserted source
Matthias Eichholz