Publications by Nikola Knezevic

The Next 700 BFT Protocols

Rachid Guerraoui, Marko Vukolic, Nikola Knezevic

We present Abstract (ABortable STate mAChine replicaTion), a new abstraction for designing and reconfiguring generalized replicated state machines that are, unlike traditional state machines, allowed to abort executing a client's request if "something goes ...

Association for Computing Machinery2015

A High-Throughput Byzantine Fault-Tolerant Protocol

Nikola Knezevic

State-machine replication (SMR) is a software technique for tolerating failures and for providing high availability in large-scale systems, through the use of commodity hardware. A replicated state-machine comprises a number of replicas, each of which runs ...

EPFL2012

Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Dejan Kostic, Nikola Knezevic, Viktor Kuncak, Maysam Yabandeh

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

Association for Computing Machinery2010

The Next 700 BFT Protocols

Rachid Guerraoui, Marko Vukolic, Nikola Knezevic

Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20,000 lines of challenging C++ code encompassing synchronization, networking and cryptography. They are notoriously difficult to develop, test and prove. We present a ...

2010

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Dejan Kostic, Nikola Knezevic, Viktor Kuncak, Maysam Yabandeh

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

2009

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Dejan Kostic, Nikola Knezevic, Viktor Kuncak, Maysam Yabandeh

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

2009

Nikola Knezevic

Graph Chatbot

The Next 700 BFT Protocols

A High-Throughput Byzantine Fault-Tolerant Protocol

Predicting and Preventing Inconsistencies in Deployed Distributed Systems

The Next 700 BFT Protocols

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Towards a Cost-Effective Networking Testbed

Enabling DVD-like Features in P2P Video-on-demand Systems

Staged Deployment in Mirage, an Integrated Software Upgrade Testing and Distribution System