The open-source and community-supported gem5 simulator is one of the most popular tools
for computer architecture research. This simulation infrastructure allows researchers to …

Shared memory platforms provide a memory consistency specification (MCS) so that
developers can reason about the behaviors of their parallel programs. Unfortunately …

As GPU availability has increased and programming support has matured, a wider variety of
applications are being ported to these platforms. Many parallel applications contain fine …

Modern memory consistency models are complex, and it is difficult to reason about the
relaxed behaviors that current systems allow. Programming languages, such as C and …

Even as most of today's computer systems have turned to parallelism to improve
performance, their documentation often remains informal, incomplete or even incorrect …

The increasing design complexity at the end of Moore's Law and Dennard Scaling presents
a new challenge for implementing modern systems correctly and securely. This dissertation …

Applications such as the Internet of Things (IoT), multimedia streaming and self driving cars
are drivers for explosive data growth. This data growth along with the slowdown of Moore's …

Memory consistency specifications (MCS) have been developed as a way to reason about
the interactions of shared memory across multiple cores. The simplest and most intuitive …

Heterogenous systems consisting of processors of varying nature which complement each
other's deficiencies are rapidly eclipsing the homogeneous systems of past. The consumer …