Gallery
News
People
Publications
Work with us
Contact
Github
Light
Dark
Automatic
1
Live in the Express Lane
Patrick Jahnke
,
Vincent Riesop
,
Pierre-Louis Roman
,
Pavel Chuprikov
,
Patrick Eugster
Cite
URL
Switches for HIRE: Resource Scheduling for Data Center In-network Computing
Marcel Blöcher
,
Lin Wang
,
Patrick Eugster
,
Max Schmidt
Cite
DOI
URL
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
Rodrigo Otoni
,
Martin Blicha
,
Patrick Eugster
,
Antti E. J. Hyvärinen
,
Natasha Sharygina
Cite
DOI
URL
Accurate Smart Contract Verification Through Direct Modelling
Matteo Marescotti
,
Rodrigo Otoni
,
Leonardo Alt
,
Patrick Eugster
,
Antti E. J. Hyvärinen
,
Natasha Sharygina
Cite
DOI
URL
Consistent and Secure Network Updates Made Practical
James Lembke
,
Srivatsan Ravi
,
Pierre-Louis Roman
,
Patrick Eugster
Cite
DOI
URL
Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining
Marcel Blöcher
,
Ramin Khalili
,
Lin Wang
,
Patrick Eugster
Cite
DOI
URL
PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications
Bo Sang
,
Pierre-Louis Roman
,
Patrick Eugster
,
Hui Lu
,
Srivatsan Ravi
,
Gustavo Petri
Cite
DOI
URL
RoCC: Robust Congestion Control for RDMA
Parvin Taheri
,
Danushka Menikkumbura
,
Erico Vanini
,
Sonia Fahmy
,
Patrick Eugster
,
Tom Edsall
Cite
DOI
URL
GRASS: Generic Reactive Application-specific Scheduling
Marcel Blöcher
,
Matthias Eichholz
,
Pascal Weisenburger
,
Patrick Eugster
,
Mira Mezini
,
Guido Salvaneschi
Cite
DOI
URL
A Cryptographic Look at Multi-party Channels
Patrick Eugster
,
Giorgia Azzurra Marson
,
Bertram Poettering
Cite
DOI
URL
»
Cite
×