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.

Publications

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: 5.

2019

Krude, Johannes ; Hofmann, Jaco ; Eichholz, Matthias ; Wehrle, Klaus ; Koch, Andreas ; Mezini, Mira (2019):
Online Reprogrammable Multi Tenant Switches.
In: 1st ACM CoNEXT Workshop on Emerging in-Network Computing Paradigms, Orlando, Florida, 09.12.2019, DOI: 10.1145/3359993.3366643,
[Online-Edition: https://www.comsys.rwth-aachen.de/fileadmin/papers/2019/2019...],
[Conference item]

Blöcher, Marcel ; Eichholz, Matthias ; Weisenburger, Pascal ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2019):
GRASS: generic reactive application-specific scheduling.
In: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2019, Athens Greece, In: REBLS 2019: 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Athens, Greece, Sun 20 - Fri 25 Oct., S. 21-30, ISBN 978-1-4503-6986-2,
DOI: 10.1145/3358503.3361274,
[Online-Edition: http://doi.acm.org/10.1145/3358503.3361274],
[Conference item]

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,
[Online-Edition: https://doi.org/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.
134In: Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, In: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), S. 12:1-12:28, ISSN 1868-8969, ISBN 978-3-95977-111-5,
DOI: 10.4230/LIPIcs.ECOOP.2019.12,
[Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2019/10804],
[Conference item]

2018

Eichholz, Matthias ; Salvaneschi, Guido ; Mezini, Mira (2018):
Towards Safe Modular Composition of Network Functions.
In: Programming'18 Companion, 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, S. 81-86, ISBN 978-1-4503-5513-1,
DOI: 10.1145/3191697.3213804,
[Online-Edition: http://doi.acm.org/10.1145/3191697.3213804],
[Conference item]

This list was generated on Mon Sep 21 05:51:19 2020 CEST.