# Theory of Distributed Systems (TDS)

 Kishori Konwar and Prakash Nayarana Moorthy: A Layered Architecture for Erasure-Coded Consistent Distributed StorageFriday, April 7, 2017 - 1:00pm to 2:30pmMotivated by emerging applications to the \emph{edge computing} paradigm, we introduce a two-layer erasure-coded fault-tolerant distributed storage system offering atomic access for read and write operations. Johannes Bill: Unsupervised learning in spiking neural networks with memristor synapsesFriday, March 24, 2017 - 1:00pm to 2:00pmAbstract: In an increasingly data-rich world, brain-inspired computing concepts operating neuromorphic hardware have shown great promise for processing large datasets within tight volume and power budgets. Nicholas Schiefer: Computation and Construction in the Chemical Reaction Network-Controlled Tile Assembly ModelFriday, December 9, 2016 - 1:00pm to 2:30pmTile-based self-assembly and chemical reaction networks provide two well-studied models of scalable molecular computation. Hsin-Hao Su: Distributed Degree Splitting, Edge Coloring, and OrientationsFriday, December 2, 2016 - 1:00pm to 2:30pmWe consider a family of closely-related distributed graph problems, which we call degree splitting, where roughly  speaking the objective is to partition (or orient) the edges such that each node's degree is split almost unifo Fernando Benavides: Introduction to Discrete Morse Theory for Distributed ComputingWednesday, November 16, 2016 - 11:00am to 12:30pmExplain what is discrete Morse theory and how to use it to analyse distributed read/write wait-free algorithms. Nisha Panwar: On the Fly Authentication in Vehicular NetworksTuesday, November 1, 2016 - 1:00pm to 2:30pmAutonomous vehicles will establish a spontaneous connection over a wireless radio channel while coordinating actions and information. Merav Parter and Cameron Musco: Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All NetworksFriday, October 21, 2016 - 1:00pm to 2:30pmWe initiate a line of investigation into biological neural networks from an algorithmic perspective. Alkida Balliu: Local Distribution VerificationMonday, October 17, 2016 - 11:00am to 12:00pmWe are considering distributed network computing, in which computing entities are connected by a network modeled as a connected graph. These entities are located at the nodes of the graph, and they exchange information by message-passing along its edges. Sergio Rajsbaum: Specifying Concurrent Problems: Beyond Linearizability and up to TasksFriday, September 30, 2016 - 1:00pm to 2:30pmTasks and objects are two predominant ways of specifying distributed problems. A task specifies for each set of processes (which may run concurrently) the valid outputs of the processes. An object specifies the outputs the object may produce when it is accessed sequentially. Gopal Pandurangan: Distributed Computation of Large-scale Graph ProblemsThursday, June 16, 2016 - 1:00pm to 2:30pmAbstract: Motivated by the increasing need for fast distributed processing of large-scale graphs such as the Web graph, biological networks and various social networks, we study a number of fundamental graph problems