Dejan Kostic

This person is no longer with EPFL

About
Privacy
Disclaimer

Graph Chatbot

Related publications (48)

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

Opis: Reliable Distributed Systems in OCaml

Dejan Kostic, Viktor Kuncak, Pierre-Evariste Dagand

Concurrency and distribution pose algorithmic and implementation challenges in developing reliable distributed systems, making the field an excellent testbed for evaluating programming language and verification paradigms. Several specialized domain-specifi ...

2009

High-bandwidth Data Dissemination for Large-scale Distributed Systems

Dejan Kostic

2008

Improving the Throughput of Distributed Hash Tables Using Congestion-Aware Routing

Jean-Yves Le Boudec, Karl Aberer, Fabius Klemm, Dejan Kostic

Advanced applications for Distributed Hash Tables (DHTs), such as Peer-to-Peer Information Retrieval, require a DHT to quickly and efficiently process a large number (in the order of millions) of requests. In this paper we study mechanisms to optimize the ...

2007

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

Olivier Crameri, Willy Zwaenepoel, Ricardo Bianchini, Dejan Kostic, Nikola Knezevic

2007

A High Throughput Atomic Storage Algorithm

Rachid Guerraoui, Ron Levy, Dejan Kostic

This paper presents an algorithm to ensure the atomicity of a distributed storage that can be read and written by any number of clients. In failure-free and synchronous situations, and even if there is contention, our algorithm has a high write throughput ...

2007

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

Dejan Kostic, Nikola Knezevic, Nevena Vratonjic, Priya Gupta

2007

Improving the Throughput of Distributed Hash Tables Using Congestion-Aware Routing

Jean-Yves Le Boudec, Karl Aberer, Dejan Kostic

2007

Page 3 of 3