Matthias Eichholz

Matthias Eichholz M.Sc.

Matthias Eichholz

I am a PhD student in the Software Technology Group. I work on programming languages for Software-Defined Networks (SDN) and automatic verification of SDN applications.

Currently, I'm working on SafeP4, a domain-specific language for programmable data planes that is equipped with a precise semantics and a static type system that guarantees validity of all headers read or written by the program.


Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item type | No grouping
Jump to: 2019 | 2018
Number of items: 3.


Krude, Johannes ; Eichholz, Matthias ; Winck, Maximilian ; Wehrle, Klaus ; Mezini, Mira (2019):
Optimizing Data Plane Programs for the Network.
Beijing, China, In: NetPL '19: ACM SIGCOMM Workshop on Networking and Programming Languages, Beijing, China, 23.8.2019, ISBN 978-1-4503-6877-3/19/08,
DOI: 10.1145/3341561.3349590,
[Conference item]

Eichholz, Matthias ; Campbell, Eric ; Foster, Nate ; Salvaneschi, Guido ; Mezini, Mira (2019):
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, In: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), In: Leibniz International Proceedings in Informatics (LIPIcs), 134, ISSN 1868-8969,
ISBN 978-3-95977-111-5,
DOI: 10.4230/LIPIcs.ECOOP.2019.12,
[Conference item]


Eichholz, Matthias ; Salvaneschi, Guido ; Mezini, Mira (2018):
Towards Safe Modular Composition of Network Functions.
New York, NY, USA, ACM, In: Conference Companion of the 2Nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09 - 12, 2018, In: Programming'18 Companion, ISBN 978-1-4503-5513-1,
DOI: 10.1145/3191697.3213804,
[Conference item]

This list was generated on Wed Oct 23 05:33:56 2019 CEST.