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.