Transactional Memory (TM) promises both to provide a scalable mechanism for
synchronization in concurrent programs, and to offer ease-of-use benefits to programmers …

When designing concurrent data structures (CDSs), it can feel like programmers must
choose between performance and convenience. On one hand, Software Transactional …

Data-Centric Concurrency Control (DCCC) shifts the focus of synchronization from control
structures to data declaration. It provides a high-level mechanism that abstracts from the low …

Software transactional memory is an effective mechanism to avoid concurrency bugs in multi-
threaded programs. However, two problems hinder the adoption of traditional such systems …

It was an honor and a privilege to be asked to participate in the celebration, at PODC 2014,
of Maurice Herlihy's many contributions to the field of distributed computing—and …

In this paper, a new cybernetic control technology that can be used in complex software
systems will be introduced. In this approach, the software systems are governed by …

Few transactional memory implementations allow for condition synchronization among
transactions. The problems are many, most notably the lack of consensus about a single …

This thesis presents the ADT transverse instability detection system, the next generation of
instability detection in the LHC at CERN, Geneva. The system is presented after a thorough …

In order to use transactional memory (TM) in place of locks, it is necessary to design
linguistic mechanisms that enable transactions to achieve the same outcomes as lock-based …

Software transactional memory is an effective mechanism to avoid concurrency bugs in
multithreaded programs. However, two problems hinder the adoption of such traditional …