Theory of Distributed Systems (TDS)

Theory of Distributed Systems Seminars


Spring 2020

February 28, 2020: Saptaparni Kumar: Fault-tolerant atomic storage in truly-dynamic message-passing systems

Fall 2019

December 18, 2019: Quanquan Liu: A Lower Bound for Byzantine Agreement and Consensus for Adaptive Adversaries using VDFs

December 13, 2019: Lewis Tseng: Exact Byzantine Consensus under Local Broadcast Model

October 18, 2019: Lili Su: Learning with Distributed Systems: Adversary-Resillience and Neural Networks

October 11, 2019: Brabeeba Wang: The First at All-Time Convergence Analysis for Biological Oja's Rule to Solve Streaming PCA

Summer 2019

July 26, 2019: Yael Hitron: Counting to Ten with Two Fingers: Compressed Counting with Spiking Neurons

Spring 2019

May 10, 2019: Nicole Wein: Lower Bounds for Dynamic Distributed Task Allocation

May 3, 2019: Radhika Nagpal: Talk about Collective Transport and Navigation in Ants

March 8, 2019: Brabeeba Wang: Integrating Temporal Information to Spatial Information in a Neural Circuit


Fall 2018

December 14, 2018: Quanquan Liu: On Bioelectric Algorithms: A Novel Application of Theoretical Computer Science to Core Problems in Developmental Biology

December 7, 2018: Lewis Tseng: Resilient Causal Memory in Client-Server Model

November 30, 2018: Rati Gelashvili: Why Extension-based Proofs Fail

November 16, 2018: Hoa Vu: Toward the Locality of Vizing's Theorem

October 12, 2018: Adam Alon: Deterministic Abortable Mutual Exclusion with Sublogarithmic Adaptive RMR Complexity

September 14, 2018: Kishori Konwar: FLECKS-Fast Lean Erasure-coded Consistent Key-value Store

Spring 2018

May 18, 2018: Nancy Lynch: An Algorithmic Theory of Brain Networks 

May 11, 2018: Siddhartha Jayanti: An Optimal Amortized Algorithm for Abortable Mutual Exclusion

May 4, 2018:  Ren Ling: Efficient Synchronous Byzantine Consensus

April 11, 2018: Mohsen Ghaffari: Improved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex Cover

March 23, 2018: Lewis Tseng: Asynchronous Crash-Tolerant Consensus in Directed Graphs

March 16, 2018: Lili Su: Collaboratively Learning the Best Option, using Bounded Memory

March 9, 2018: Frederik Mallmann-Trenn: Self-Stabilizing Task Allocation in Spite of Noise

March 2, 2018: Dominik Pajak: Broadcast in stochastically varying networks

Fall 2017

December 8, 2017: Lili Su: Distributed Statistical Machine Learning in Adversarial Settings: Byzantine Gradient Descent

November 17, 2017: Kishori Konwar: RECS: Reconfigurable, Erasure coded, Consistent Storage

November 9, 2017: Shlomi Dolev: Encountering Challenges in Computer Science, Including, Quantum Safe Public Key Infrastructure

October 27, 2017: Siddartha Jayanti: Concurrent Disjoint Set Union

October 13, 2017: Lewis Tseng: Fault-Tolerant Consensus in Directed Networks

October 6, 2017: Slobodan Mitrovic: MapReduce and approximate Maximal Matchings

September 22, 2017: Dominik Pajak: Speedup in Graph Exploration with Multiple Walkers

September 15, 2017: Lilika Markatou: Leader Election in the SINR Model with Arbitrary Power Control

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.