Please login first
Patrick Eugster   Professor  Other 
Timeline See timeline
Patrick Eugster published an article in April 2018.
Top co-authors See all
Peter C. Hauser

172 shared publications

Department of Chemistry; University of Basel; Basel Switzerland

Assefa M. Melesse

154 shared publications

Department of Earth and Environment, Florida International University, Miami, USA

BenoƮt Garbinato

46 shared publications

Distributed Object Programming Laboratory, University of Lausanne, Switzerland

H.P. Herzig

43 shared publications

EPFL Lausanne, Lausanne 1015, Switzerland

Lukasz Ziarek

27 shared publications

Department of Computer Science and Engineering, SUNY Buffalo, Buffalo, USA

47
Publications
8
Reads
0
Downloads
64
Citations
Publication Record
Distribution of Articles published per year 
(2006 - 2018)
Total number of journals
published in
 
35
 
Publications See all
BOOK-CHAPTER 0 Reads 1 Citation A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, L... Published: 14 April 2018
Lecture Notes in Computer Science, doi: 10.1007/978-3-319-89884-1_28
DOI See at publisher website ABS Show/hide abstract
A key requirement for many distributed systems is to be resilient toward partial failures, allowing a system to progress despite the failure of some components. This makes programming of such systems daunting, particularly in regards to avoiding inconsistencies due to failures and asynchrony. This work introduces a formal model for crash failure handling in asynchronous distributed systems featuring a lightweight coordinator, modeled in the image of widely used systems such as ZooKeeper and Chubby. We develop a typing discipline based on multiparty session types for this model that supports the specification and static verification of multiparty protocols with explicit failure handling. We show that our type system ensures subject reduction and progress in the presence of failures. In other words, in a well-typed system even if some participants crash during execution, the system is guaranteed to progress in a consistent manner with the remaining participants.
Conference 1 Read 0 Citations Dependable Cloud Resources with Guardian Bara Abusalah, Derek Schatzlein, Julian James Stephen, Masou... Published: 01 June 2017
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), doi: 10.1109/icdcs.2017.158
DOI See at publisher website
Conference 0 Reads 1 Citation Secure data types Savvas Savvides, Julian James Stephen, Masoud Saeida Ardekan... Published: 01 January 2017
Proceedings of the 2017 Symposium on Cloud Computing - SoCC '17, doi: 10.1145/3127479.3129256
DOI See at publisher website
Conference 1 Read 0 Citations First-class reactive programs for CPS Christophe De Troyer, Jens Nicolay, Guido Salvaneschi, Wolfg... Published: 01 January 2017
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015, doi: 10.1145/3141858.3141862
DOI See at publisher website
Conference 1 Read 0 Citations A DSL for compensable and interruptible executions Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi, Guido Salv... Published: 01 January 2017
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015, doi: 10.1145/3141858.3141860
DOI See at publisher website
BOOK-CHAPTER 0 Reads 2 Citations A Type Theory for Robust Failure Handling in Distributed Systems Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, P... Published: 24 May 2016
Algorithms and Discrete Applied Mathematics, doi: 10.1007/978-3-319-39570-8_7
DOI See at publisher website
Top