We present a novel technique for static race detection in Java programs, comprised of a
series of stages that employ a combination of static analyses to successively reduce the …

Hardware transactional memory should support unbounded transactions: transactions of
arbitrary size and duration. We describe a hardware implementation of unbounded …

Bugs in multi-threaded programs often arise due to data races. Numerous static and
dynamic program analysis techniques have been proposed to detect data races. We …

Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The
multicore technology trend worsens this problem. Most previous concurrency bug detection …

Ensuring the correctness of multithreaded programs is difficult, due to the potential for
unexpected interactions between concurrent threads. Much previous work has focused on …

Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent
programs are prone to bugs. Among different types of concurrency bugs, atomicity violation …

Cryptocurrencies share a broad overall purpose, enabling distributed, decentralized and
trustless transfers of value. Nevertheless, the various blockchains upon which each …

E-health systems have witnessed widespread usage in the last few years, mainly due to
advancements in health monitoring hardware and the availability of remote diagnostic …

A thorough and accessible introduction to a range of key ideas in type systems for
programming language. The study of type systems for programming languages now touches …

The shift from single to multiple core architectures means that programmers must write
concurrent, multithreaded programs in order to increase application performance …