Distributed systems are notorious for harboring subtle bugs. Verification can, in principle,
eliminate these bugs a priori, but verification has historically been difficult to apply at full …

Distributed systems are difficult to implement correctly because they must handle both
concurrency and failures: machines may crash at arbitrary points and networks may reorder …

In large-scale data management systems, failure is practically a certainty. Fault-tolerant
protocols and components are notoriously difficult to implement and debug. Worse still …

The Paxos algorithm is famously difficult to reason about and even more so to implement,
despite having been synonymous with distributed consensus for over a decade. The …

With majority of the world's data and computation handled by cloud-based systems, cloud
management stacks such as Apache's CloudStack, VMware's vSphere and OpenStack have …

Many networked systems today, ranging from home automation networks to global wide-
area networks, are operated using centralized control programs. Bugs in such programs …

The Internet of Things (IoT) demands tailor-made security solutions. Today, there are a
number of proposals able to meet IoT's demands in the context of attacks from outsiders. In …

Leslie Lamport, known for his seminal work in distributed systems, famously said," A
distributed system is one in which the failure of a computer you didn't even know existed can …

Network programs are difficult to test, especially under the large space of network program
behavior defined by packet dynamics such as packet delay and packet loss. It is unlikely for …

US9038048B2 - Methods, systems, and media for protecting applications from races - Google
Patents US9038048B2 - Methods, systems, and media for protecting applications from races …