May 28, 2012 – June 8, 2012

MSR India 2012 Summer School on Distributed Algorithms, Systems, and Programming

Location: Bangalore, India

Week 1

Day 1 Day 2 Day 3 Day 4 Day 5
28-May 29-May 30-May 31-May 01-Jun
Monday Tuesday Wednesday Thursday Friday
Travel to IISc Campus
Distributed Computing: Introduction and Background Material (Part I), G. Ramalingam (opens in new tab) Peter Druschel: Distributed Hash Tables: Part I (opens in new tab) Miguel Castro: Practical Consensus (opens in new tab) Miguel Castro: Byzantine Fault Tolerance (opens in new tab) Prof. S. Sudarshan: Concurrency and Consistency in Distributed Database/Storage Systems: Part 2 (opens in new tab)
 Break  Break  Break  Break  Break

Distributed Computing: Introduction and Background Material (Part II), Kaushik Rajan

 Robbert van Renesse: Group membership, atomic broadcast, gossip protocols Part II (A) (opens in new tab) Rebecca Isaacs: BarrellFish: A Study in Distributed Operating Systems on Multicore architectures (A) Tim Harris: Transactional memory: composability & basic algorithms  Peter Druschel: Special topic: Accountability (opens in new tab)
Lunch Lunch Lunch Lunch Lunch
Robbert van Renesse: Group membership, atomic broadcast, gossip protocols Part I (A) (opens in new tab) Robbert van Renesse: Group membership, atomic broadcast, gossip protocols Part II (B) (opens in new tab) Rebecca Isaacs: BarrellFish: A Study in Distributed Operating Systems on Multicore architectures (B) Tim Harris: Transactional memory: language integration Tim Harris: Special topic: AC – composable asynchronous IO for native languages
Break Break Break Break Break
Robbert van Renesse: Group membership, atomic broadcast, gossip protocols Part I (B) (opens in new tab) Rebecca Isaacs: Distributed Operating Systems on loosely and tightly coupled architectures Peter Druschel: Distributed Hash Tables: Part II (opens in new tab) Prof. S. Sudarshan: Concurrency and Consistency in Distributed Database/Storage Systems: Part 1 (opens in new tab) Rebecca Isaacs: Special topic: Naiad
Travel to Hotel Miguel Castro: Special topic: Annotations on multi-threaded C programs (opens in new tab)

 

Week 2

Day 6 Day 7 Day 8 Day 9 Day 10
04-Jun 05-Jun 06-Jun 07-Jun 08-Jun
Monday Tuesday Wednesday Thursday Friday
Travel to IISc Campus Travel to IISc Campus Travel to IISc Campus Travel to IISc Campus Travel to IISc Campus
Marcos K. Aguilera: Fundamental Algorithms in Distributed Computing: Part I Marcos K. Aguilera: Fundamental Algorithms in Distributed Computing: Part II Mike Dahlin: Distributed File Systems: Part I (opens in new tab) Kapil Vaswani – Generalized Lattice Agreement (opens in new tab) Mike Dahlin: Distributed File Systems: Part II (opens in new tab)
 Break  Break  Break  Break  Break
Lorenzo Alvisi: Reasoning with MAD Distributed Systems: Part I (A) (opens in new tab) Lorenzo Alvisi: Reasoning with MAD Distributed Systems: Part I (A) (opens in new tab) Liuba Shrira: Concurrency and transactions in distributed Object Systems: Part II (A) (opens in new tab) Lorenzo Alvisi: Reasoning with MAD Distributed Systems: Part II (A) (opens in new tab) Marcos K. Aguilera: Geo-Replication
Lunch Lunch Lunch Lunch Lunch
Tim Harris: Transactional memory: STM in the small (opens in new tab) Lorenzo Alvisi: Reasoning with MAD Distributed Systems: Part I (B) (opens in new tab) Liuba Shrira : Concurrency and transactions in distributed Object Systems: Part II (B) (opens in new tab) Lorenzo Alvisi: Reasoning with MAD Distributed Systems: Part II (B) (opens in new tab) free time / travel back to hotel / flights / trains etc.
Break Break Travel to MSRI Lab Break
Maurice Herlihy: Linearizability, lock-/wait-/obstruction-free data structures: Part I (opens in new tab) Liuba Shrira: Concurrency and transactions in distributed Object Systems: Part I (opens in new tab) MSRI Lab Visit + high tea Maurice Herlihy: Linearizability, lock-/wait-/obstruction-free data structures: Part II (opens in new tab)
Travel to Hotel Travel to Hotel Travel to Hotel Travel to Hotel