Patrick Eugster

Available identifiers

Publication	Date of Publication	Type
Forecasting inflation using sentiment	2024-05-07	Paper
Symbolic model checking for TLA+ made faster	2023-12-13	Paper
Co-Design and Verification of an Available File System	2020-07-07	Paper
A typing discipline for statically verified crash failure handling in distributed systems	2019-09-13	Paper
Admission control in shared memory switches	2019-08-08	Paper
From the Cloud to the Atmosphere: Running MapReduce across Data Centers	2017-06-20	Paper
A Type Theory for Robust Failure Handling in Distributed Systems	2016-10-19	Paper
Essential Traffic Parameters for Shared Memory Switch Performance	2016-01-08	Paper
Multicasting in the presence of aggregated deliveries	2013-08-22	Paper
Efficient sessions	2013-06-06	Paper
Cooperative aspect-oriented programming	2009-05-06	Paper
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees	2009-03-31	Paper
Composing atomic features	2006-12-14	Paper
Effective multicast programming in large scale distributed systems	2003-02-04	Paper
Experiences with object group systems	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4548220	2002-10-20	Paper

This page was built for person: Patrick Eugster