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: ENCP '19, Orlando, Florida, ACM, 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.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&c...],
[Conference item]

Blöcher, Marcel ; Eichholz, Matthias ; Weisenburger, Pascal ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2019):
GRASS: Generic Reactive Application-specific Scheduling.
In: REBLS 2019 : Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, New York, NY, USA, 21.10.2019, 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.
In: Leibniz International Proceedings in Informatics (LIPIcs), 134, 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 Dec 9 05:56:36 2019 CET.