Multithreaded programs are hard to get right. A key reason is that the contract between
developers and runtimes grants exponentially many schedules to the runtimes. We present …

Systems code must obey many rules, such as" opened files must be closed." One approach
to verifying rules is static analysis, but this technique cannot infer precise runtime effects of …

Cloud services inevitably fail: machines lose power, networks become disconnected, pesky
software bugs cause sporadic crashes, and so on. Unfortunately, failure recovery itself is …

Cloud-management stacks have become an increasingly important element in cloud
computing, serving as the resource manager of cloud platforms. While the functionality of …

Modern scalable distributed systems are designed to be partition-tolerant. They are often
required to support increasing load in service requests elastically, and to provide seamless …

Abstract We harden the Hadoop Distributed File System (HDFS) against fail-silent (non fail-
stop) behaviors that result from memory corruption and software bugs using a new …

In this paper, we demonstrate the feasibility of annotating a process model with assertions to
detect errors in cloud provisioning in near real time. Our proposed workflow is: a) construct a …

Systematic testing, first demonstrated in small, specialized cases 15 years ago, has matured
sufficiently for large-scale systems developers to begin to put it into practice. With actual …

Mutation testing is a well‐established method for measuring and improving the quality of test
suites. A major cost of mutation testing is the time required to execute the test suite on all the …

Abstract Unified Parallel C (UPC) is a language used to write parallel programs for
distributed memory parallel computers. UPC-CHECK (http://hpcgroup. public. iastate …