Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Tutorial Summary: Paxos Explained from Scratch.- On Two-Party Communication through Dynamic Networks.- Eventual Leader Election in Evolving Mobile Networks.- Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs.- a-Register.- How (Not) to Shoot in Your Foot with SDN Local Fast Failover: A Load-Connectivity Tradeoff.- Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores.- Reputation-Based Mechanisms for Evolutionary Master-Worker Computing.- State-Driven Testing of Distributed Systems.- Self-stabilizing Resource Discovery Algorithm.- Hybrid Distributed Consensus.- Speculative Concurrent Processing with Transactional Memory in the Actor Model.- An Optimal Broadcast Algorithm for Content-Addressable Networks On Local Fixing.- A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention.- VirtuCast: Multicast and Aggregation with In-Network Processing: An Exact Single-Commodity Algorithm.- Mobile Byzantine Agreement on Arbitrary Network.- On Scheduling Algorithms for MapReduce Jobs in Heterogeneous Clouds with Budget Constraints.- Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors.