Cloud platform provides great flexibility and cost-efficiency for end-users and cloud
operators. However, low resource utilization in modern datacenters brings huge wastes of …

Energy harvesting enables novel devices and applications without batteries, but intermittent
operation under energy harvesting poses new challenges to memory consistency that …

We propose an axiomatic generic framework for modelling weak memory. We show how to
instantiate this framework for Sequential Consistency (SC), Total Store Order (TSO), C++ …

Non-volatile main memory, such as memristors or phase change memory, can revolutionize
the way programs persist data. In-memory objects can themselves be persistent without the …

\begin {abstract} Multithreaded programs are notoriously prone to race conditions. Prior work
on dynamic race detectors includes fast but imprecise race detectors that report false alarms …

Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of
automatic memory management. Its widely acclaimed successor, The Garbage Collection …

Exploiting the multiprocessors that have recently become ubiquitous requires high-
performance and reliable concurrent systems code, for concurrent data structures, operating …

Shared-memory concurrency in C and C++ is pervasive in systems programming, but has
long been poorly defined. This motivated an ongoing shared effort by the standards …

" I was fortunate indeed to have worked with a fantastic team on the design and
implementation of the concurrency features added to the Java platform in Java 5.0 and Java …

Despite many years of research, it has proven very difficult to develop a memory model for
concurrent programming languages that adequately balances the conflicting desiderata of …