1

Live in the Express Lane

Patrick Jahnke, Vincent Riesop, Pierre-Louis Roman, Pavel Chuprikov, Patrick Eugster

Switches for HIRE: Resource Scheduling for Data Center In-network Computing

Marcel Blöcher, Lin Wang, Patrick Eugster, Max Schmidt

Theory-Specific Proof Steps Witnessing Correctness of SMT Executions

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Accurate Smart Contract Verification Through Direct Modelling

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Consistent and Secure Network Updates Made Practical

James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster

Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining

Marcel Blöcher, Ramin Khalili, Lin Wang, Patrick Eugster

PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications

Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri

RoCC: Robust Congestion Control for RDMA

Parvin Taheri, Danushka Menikkumbura, Erico Vanini, Sonia Fahmy, Patrick Eugster, Tom Edsall

GRASS: Generic Reactive Application-specific Scheduling

Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi

A Cryptographic Look at Multi-party Channels

Patrick Eugster, Giorgia Azzurra Marson, Bertram Poettering