Control-Flow Integrity (CFI) is a software-hardening technique. It inlines checks into a
program so that its execution always follows a predetermined Control-Flow Graph (CFG). As …

This monograph grows out of nearly 40 years of experience in synchronization and
concurrent data structures. Though written primarily from the perspective of systems …

Transactional objects combine the performance of classical concurrent objects with the high-
level programmability of transactional memory. However, verifying the correctness of …

Herlihy and Koskinen's transactional boosting methodology addressed the challenge of
converting concurrent data structures into transactional ones. We present an optimistic …

Abstract We present Selective Multi-Versioning (SMV), a new STM that reduces the number
of aborts, especially those of long read-only transactions. SMV keeps old object versions as …

Thread mapping has been extensively used as a technique to efficiently exploit memory
hierarchy on modern chip-multiprocessors. It places threads on cores in order to amortize …

To tackle the microwrite issue in Internet-of-Things (IoT) applications, ie, massive small size
and concurrent random write requests, a straightforward approach is to establish cache …

Shape formation mechanism plays an essential role in many natural processes, involving
the formation and evolution of living or non-living structures, and shows potential …

Transactional memory (TM) is an intensively studied synchronisation paradigm with many
proposed implementations in software and hardware, and combinations thereof. However …

C++ has supported a provisional version of Transactional Memory (TM) since 2015, via a
technical specification. However, TM has not seen widespread adoption, and compiler …