Debugging in production cloud systems (or live debugging) is a critical yet challenging task
for on-call developers due to the financial impact of cloud service downtime and the inherent …

Software reliability has become more important than ever in recent years, as a wide
spectrum of software solutions are being used on various platforms. To this end, runtime …

Concurrent programs are hard to test because of the non-determinism inherit in them. Since
non-determinism is one of the major sources of bugs, it is important to to be tested. We …

Multicore hardware makes performance faster. With the pervasiveness of software and
hardware support, concurrent computing is widely applied. While enjoying its benefits, there …

Multicore hardware makes performance faster. With the pervasiveness of software and
hardware support, concurrent computing is widely applied. While enjoying its benefits, there …

Taking advantage of parallel processors often entails using concurrent software, where
multiple threads work simultaneously. However, concurrent software suffers from a bevy of …

In recent years, processor architecture is facing a transition from single cores to multiple
cores on a single die. The software industry is not isolated from the shift to multicore …