Person
Zarko Milosevic
This person is no longer with EPFL
Related publications (14)
Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use
Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi
Tendermint is a deterministic consensus protocol and is one of the most mature implementations of its kind. This implementation is used as the core for building State Machine Replication (SMR) platforms with Byzantine fault-tolerant (BFT) guarantees. A not ...
IEEE2022Tolerating permanent and transient value faults
André Schiper, Martin Hutle, Zarko Milosevic
Transmission faults allow us to reason about permanent and transient value faults in a uniform way. However, all existing solutions to consensus in this model are either in the synchronous system, or require strong conditions for termination, that exclude ...
Springer Verlag2014Distal: A Framework for Implementing Fault-tolerant Distributed Algorithms
André Schiper, Pamela Isabel Delgado Borda, Zarko Milosevic, Martin Biely
We introduce Disal, a new framework that simplifies turning pseudocode of fault tolerant distributed algorithms into efficient executable code. Without proper tool support, even small amounts of pseudocode normally ends up in several thousands of lines of ...
2013Abstractions for Solving Consensus and Related Problems with Byzantine Faults
We become increasingly dependent on online services; therefore, their availability and correct behavior become increasingly important. Software replication is a popular technique for ensuring that computer systems continue to provide a correct service even ...
EPFL2013S-Paxos: Offloading the Leader for High Throughput State Machine Replication
André Schiper, Zarko Milosevic, Nuno Filipe de Sousa Santos, Martin Biely
Implementations of state machine replication are prevalently using variants of Paxos or other leader-based protocols. Typically these protocols are also leader-centric, in the sense that the leader performs more work than the non-leader replicas. Such prot ...
2012On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults
André Schiper, Martin Hutle, Zarko Milosevic
We investigate the reduction of atomic broadcast to consensus in systems with Byzantine faults. Among the several definitions of Byzantine consensus that differ only by their validity property, we identify those equivalent to atomic broadcast. Finally, we ...
2011Structured Derivation of Semi-Synchronous Algorithms
André Schiper, Martin Hutle, Zarko Milosevic, Fatemeh Borran, Hagit Albo Attiya
The semi-synchronous model is an important middle ground between the synchronous and the asynchronous models of distributed computing. In this model, processes can detect (timeout) when other processes fail. However, since detection is done by timing out, ...
2011Student mini-kernel project based on an FPGA board
André Schiper, Zarko Milosevic, Omid Shahmirzadi
The paper describes a mini-kernel project in the context of a Concurrent Programming course. The goal of the project is to implement Java monitors and interrupt handling. The platform for the project is an FPGA board developed initially at EPFL for Compute ...
Association for Computing Machinery2011On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults
André Schiper, Martin Hutle, Zarko Milosevic
We investigate the reduction of atomic broadcast to consensus in systems with Byzantine faults. Among the several definitions of Byzantine consensus that differ only by their validity property, we identify those equivalent to atomic broadcast. Finally, we ...
Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2011Generic construction of consensus algorithms for benign and Byzantine faults
André Schiper, Zarko Milosevic, Olivier Rütti
The paper proposes a generic consensus algorithm that highlights the basic and common features of known consensus algorithms. The parameters of the generic algorithm encapsulate the core differences between various consensus algorithms, including leader-ba ...
2010