Bachelor/Master Thesis

An extended, modular library of distributed protocols

DistAlgo [1] is a very high-level language based on Python for programming distributed algorithms. It allows to implementation of a distributed algorithm writing (almost) pseudocode. The code is then compiled to Python by the DistAlgo compiler. As an example, there is a description of how DistAlgo is used to describe the Paxos algorithm [2].

The main goal of this thesis is to extend an already existing library of distributed protocols implemented using DistAlgo. This library has been developed by the group and includes implementations of protocols from the book Introduction to Reliable and Secure Distributed Programming [3].


[1] DistAlgo

[2] Yanhong A. Liu, Saksham Chand, Scott D. Stoller: Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm.

[3] Christian Cachin, Rachid Guerraoui, Luís E. T. Rodrigues: Introduction to Reliable and Secure Distributed Programming (2. ed.). Springer 2011.

Contact Jovana Micic for more information.

Nature of the project: Theory 20%, Systems 80%.