We introduce Intel® Software Guard Extensions (Intel® SGX) SGX2 which extends the SGX
instruction set to include dynamic memory management support for enclaves. Intel® SGX is …

The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately,
writing correct concurrent programs is difficult. Addressing this challenge requires advances …

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

Testing multithreaded programs is a hard problem, because it is challenging to expose
those rare interleavings that can trigger a concurrency bug. We propose a new thread …

Concurrency bugs are hard to find, reproduce, and debug. They often escape rigorous in-
house testing, but result in large-scale outages in production. Existing concurrency-bug …

Many synchronizations in existing multi-threaded programs are implemented in an ad hoc
way. The first part of this paper does a comprehensive characteristic study of ad hoc …

Fixing concurrency bugs (or" crugs") is critical in modern software systems. Static analyses
to find crugs such as data races and atomicity violations scale poorly, while dynamic …

Any nontrivial program contains some errors in the source code. These “bugs” are annoying
for users if they lead to application crashes and data loss, and they are worrisome if they …

Many modern software systems are composed of multiple execution flows that run
simultaneously, spanning from applications designed to exploit the power of modern multi …

Concurrent programs are difficult to test due to their inherent non-determinism. To address
this problem, testing often requires the exploration of thread schedules of a program; this …