Theory of Distributed Systems (TDS)

Theory of Distributed Systems Seminars

Spring 2017

April 7, 2017: Kishori Konwar and Prakash Nayarana Moorthy: A Layered Architecture for Erasure-Coded Consistent Distributed Storage

March 24, 2017: Johannes Bill: Unsupervised learning in spiking neural networks with memristor synapses

March 17, 2017: Lili Su: Securing Distributed Systems Against Adversarial Attacks

Fall 2016

December 16, 2016: Merav Parter: Graph Algorithms for Distributed Networks

December 9, 2016: Nicholas Schiefer: Computation and Construction in the Chemical Reaction Network-Controlled Tile Assembly Model

December 2, 2016: Hsin-Hao Su: Distributed Degree Splitting, Edge Coloring, and Orientations

November 22, 2016: Nicholas Schiefer: Models of Distributed Computing in Molecular Programming

November 16, 2016: Fernando Benavides: Introduction to Discrete Morse Theory for Distributed Computing

November 1, 2016: Nisha Panwar: On the Fly Authentication in Vehicular Networks

October 21, 2016: Merav Parter and Cameron Musco: Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks

October 17, 2016: Alkida Balliu: Local Distribution Verification

September 30, 2016: Sergio Rajsbaum: Specifying Concurrent Problems: Beyond Linearizability and up to Tasks


Spring 2016

June 16, 2016: Gopal Pandurangan: Distributed Computation of Large-scale Graph Problems

April 1, 2016: Cameron Musco and Hsin-Hao Su: Ant-Inspired Density Estimation via Random Walk

March 18, 2016: Tsvi Kopelowitz: A Class of $O(\log\log^* N)$ Problems in Distributed Computing: Contention Resolution, Counting, and Leader Election

March 4, 2016: Mohsen Ghaffari and Merav Parter: Minimum Spanning Tree in Log-Star Rounds of Congested Clique

February 26, 2016: Mohsen Ghaffari and Hsin-Hao Su: Generalizing the Congested Clique

February 15, 2016: Jimmy Zhu: A Tight Space Bound for Consensus

Fall 2015

December 4, 2015: Kishori Konwar: Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems

November 6, 2015: Hsin-Hao Su: Distributed (Delta+1)-Coloring in Sublogarithmic Rounds

October 23, 2015: Mohsen Lesani: Certified Causally Consistent Distributed Key-Value Stores

October 9, 2015: Murat Demirbas:  Hybrid Clocks for High Auditability

September 25, 2015: Merav Parter: Fault Tolerant BFS Structures: A Reinforcement-Backup Tradeoff

September 18, 2015 Mohsen Ghaffari: An Improved Distributed Algorithm for Maximal Independent Set

Spring 2015

April 24, 2015: Erez Kantor: Computing in Additive Networks with Bounded-Information Codes

April 17, 2015: Mohsen Ghaffari: Distributed Broadcast Revisited: Towards Universal Optimality

April 10, 2015: Stephan Holzer: A Local Broadcast Layer for the SINR Network Model CONTINUED

April 3, 2015: Stephan Holzer: A Local Broadcast Layer for the SINR Network Model

March 20, 2015: Mira Radeva and/or Cameron Musco: Distributed House-Hunting in Ant Colonies

February 10, 2015: Hsin-Hao Su: Distributed Algorithms for the Lovász Local Lemma and Graph Colorin

Fall 2014

December 16, 2014: Kishori Mohan Konwar: Dependable Decentralized Cooperation with the Help of Reliability Estimation

December 5, 2014: Mohsen Lesani: Eventual Consistency

November 21, 2014: Zhiying Wang:  smallWig: Compression on RNA-seq Expression Data

November 14, 2014: Mira Radeva: Studying House-Hunting in the Temnothorax Ant Using Distributed Computing Theory

November 7, 2014: Cameron Musco: Linear Sketching and Applications to Distributed Computation

October 31, 2014: Stephan Holzer: The Power of a Leader in the Stone Age

September 19, 2014: Eli Gafni: Generalized Asynchronous Computability Theorem

Spring 2014

May 16, 2014: Grigory Yaroslavtsev: Beyond Set Disjointness: The Communication Complexity of Finding the Intersection

April 11, 2014: Christoph Lenzen: Distributed Steiner Forest Construction

April 4, 2014: Justin Holmgren: Bitcoin

March 14, 2014: Stephan Holzer: Efficient Local Multi-Aggregation and Applications 

March 7, 2014: Magnus M. Halldorsson: Algorithmic Models for Wireless Networks

February 28, 2014: Danupon Nanogkai: Distributed Approximation Algorithms for Weighted Shortest Paths

February 21, 2014: Mohsen Ghaffari and Erez Kantor: Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links

February 14, 2014: Mira Radeva: Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication

Fall 2013

December 13, 2013: Jonathan Ponniah: A System-Theoretic Clean Slate Approach to Provably Secure Ad Hoc

November 22, 2013: Alejandro Cornejo: Long-Lived Distributed Localization of Robot Swarms

November 15, 2013: Calvin Newport: Distributed Algorithms in a Wireless World

November 8, 2013: Vasileios Trigonakis: Everything you always wanted to know about synchronization, but were afraid to ask

October 25, 2013:  Dan Alistarh: A Practical Renaming Algorithm

October 4, 2013:  Erez Kantor: Minimizing Storage and Communication Costs in CDNs

October 11, 2013: Vinod Vaikuntanathan: Tools in Multiparty Communication Complexity, and a lower-bound for Set Disjointness

September 27 2013: Zhiyang Wang: Coding for Information Storage

September 20, 2013:  Viveck Cadambe: Coded Atomic Shared Memory Emulation for Message Passing Architectures

Click here for past seminars and more information.