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

Viktor Kuncak, Dejan Kostic, Maysam Yabandeh, Nikola Knezevic

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, Viktor Kuncak, Maysam Yabandeh, Nikola Knezevic

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

Viktor Kuncak, Dejan Kostic, Maysam Yabandeh, Nikola Knezevic

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

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

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