Serverless computing separates function execution from state management. Simple retry-
based fault tolerance might corrupt the shared state with duplicate updates. Existing …

Grey-box fuzzing is the lightweight approach of choice for finding bugs in sequential
programs. It provides a balance between efficiency and effectiveness by conducting a …

Distributed systems have become the backbone of cloud computing. Incorrect system
designs and implementations can greatly impair the reliability of distributed systems …

Modern cluster managers like Borg, Omega and Kubernetes rely on the state-reconciliation
principle to be highly resilient and extensible. In these systems, all cluster-management …

Go, a fast growing programming language, is often considered as “the programming
language of the cloud”. The language provides a rich set of synchronization primitives …

Companies today increasingly rely on microservice architectures to deliver service for their
large-scale mobile or web applications. However, not all developers working on these …

Distributed systems are difficult to design and implement correctly. In response, both
research and industry are exploring applications of formal methods to distributed systems. A …

Network partitions are inevitable in large-scale cloud systems. Despite developer's efforts in
handling network partitions throughout designing, implementing and testing cloud systems …

Implementation-level distributed system model checkers (DMCKs) have proven valuable in
verifying the correctness of real distributed systems. However, they primarily focus on state …

Delays are inevitable in complex distributed environments. Timeout mechanisms are
commonly used to handle unexpected failures in distributed systems. However, incorrect …