SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Fri 24 Oct 2014 10:30 - 12:00 at Salon H - Tutorial 10: Programming Distributed Algorithms

This tutorial gives an overview of methods and languages for programming distributed algorithms.  It includes (1) an introduction to distributed algorithms, including Paxos for distributed consensus at the core of distributed services; (2) a method for programming distributed algorithms with (a) high-level control flows that are easy to understand as in pseudo-code, and (b) precise semantics for rigorous analysis as in specification languages; (3) a language, DistAlgo, that minimally extends conventional object-oriented programming languages for such programming of distributed algorithms; and (4) demonstrations with an implementation of DistAlgo in Python.  DistAlgo has been used to easily implement distributed algorithms and services in dozens of course projects.

Fri 24 Oct

splash2014-tutorials
10:30 - 12:00: Tutorials - Tutorial 10: Programming Distributed Algorithms at Salon H
splash2014-tutorials141413940000010:30 - 12:00
Talk