Distributed Computing

Exploring Gafni’s Reduction Land: From ? k to Wait-Free Adaptive -Renaming Via k-Set Agreement.- Exploring Gafni’s Reduction Land: From ? k to Wait-Free Adaptive -Renaming Via k-Set Agreement.- Renaming in Message Passing Systems with Byzantine Failures.- Built-In Coloring for Highly-Concurrent Doubly-Linked Lists.- Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.- Fast Computation by Population Protocols with a Leader.- On Self-stabilizing Search Trees.- Efficient Dynamic Aggregation.- Groupings and Pairings in Anonymous Networks.- A New Proof of the GHS Minimum Spanning Tree Algorithm.- A Knowledge-Based Analysis of Global Function Computation.- Checking a Multithreaded Algorithm with ?+?CAL.- Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture.- Conflict Detection and Validation Strategies for Software Transactional Memory.- Transactional Locking II.- Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects.- One-Step Consensus Solvability.- Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.- On Consistency of Encrypted Files.- Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.- A Lazy Snapshot Algorithm with Eager Validation.- Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients.- Time and Communication Efficient Consensus for Crash Failures.- Subconsensus Tasks: Renaming Is Weaker Than Set Agreement.- Exact Distance Labelings Yield Additive-Stretch Compact Routing Schemes.- A Fast Distributed Approximation Algorithm for Minimum Spanning Trees.- On Randomized Broadcasting in Power Law Networks.- Distributed Approximation Algorithms in Unit-Disk Graphs.- The Weakest Failure Detectors to Boost Obstruction-Freedom.- Fully-Adaptive Algorithms for Long-Lived Renaming.- Constructing Shared Objects That Are Both Robust and High-Throughput.- Byzantine and Multi-writer K-Quorums.- On Minimizing the Number of ADMs in a General Topology Optical Network.- Robust Network Supercomputing with Malicious Processes.- Distributed Resource Allocation in Stream Processing Systems.- Low-latency Atomic Broadcast in the presence of contention.- Oblivious Gradient Clock Synchronization.- Brief Announcement: Abortable and Query-Abortable Objects.- Brief Announcement: Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers.- Brief Announcement: Convergence Analysis of Scalable Gossip Protocols.- Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules.- Brief Announcement: Many Slices Are Better Than One.- Brief Announcement: On Augmented Graph Navigability.- Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems.- Brief Announcement: Optimistic Algorithms for Partial Database Replication.- Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays.- Brief Announcement: Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.- Brief Announcement Monitoring of Linear Distributed Computations.- Brief Announcement: Communication-Optimal Implementation of Failure Detector Class .- Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks.- Invited Talks.- Provably Unbreakable Hyper-encryption Using Distributed Systems.- Time, Clocks, and the Ordering of My Ideas About Distributed Systems.- My Early Days in Distributed Computing Theory: 1979–1982.- Panel on the Contributions of the DISC Community to Distributed Computing: A Historical Perspective.- DISC at Its 20th Anniversary:Past, Present and Future.- Erratum.- DISC at Its 20th Anniversary: Past, Present and Future.