Table of Contents: “... Memory in the Actor Model -- Heterogeneous Resource Selection for Arbitrary HPC Applications in the Cloud -- Practical Evaluation of Large Scale Applications -- Cheap and Cheerful: Trading Speed and Quality for Scalable Social-Recommenders -- Replication...”

Full text 

Table of Contents: “...-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...”

Full text 

Table of Contents: “... Elimination for Dynamic Race Detectors -- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines -- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? -- Analysis and Verification -- Joins: A Case Study in Modular...”

Full text 

Full text 

Table of Contents: “... Theorem Proving -- Modeling and Verification of Probabilistic Actor Systems Using pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste of Separation Logic in First-OrderLogic -- The Confinement Problem in the Presence...”

Full text