Most systems that support speculative parallelization, like hardware transactional memory
(HTM), do not support nested parallelism. This sacrifices substantial parallelism and …

Background: Programming language design is not usually informed by empirical studies. In
other fields similar problems have inspired an evidence-based paradigm of practice. Such a …

Transactional Memory (TM) is a promising technique that simplifies parallel programming for
shared-memory applications. To date, most TM systems have been designed to efficiently …

Transactional Memory (TM) provides a strong abstraction to tackle the challenge of
synchronizing concurrent tasks that access shared state. Yet, most TMs do not allow a single …

Exploiting the emerging reality of affordable multi-core architectures goes through providing
programmers with simple abstractions that would enable them to easily turn their sequential …

Programmers often combine different concurrency models in a single program, in each part
of the program using the model that fits best. Many programming languages, such as …

This paper investigates the problem of integrating two powerful abstractions for concurrent
programming, namely futures and transactional memory. Our focus is on specifying the …

In this paper, we propose to extend transactional memory with transaction communicators,
special objects through which concurrent transactions can communicate: changes by one …

Transactional Memory (TM) simplifies parallel programming by supporting parallel tasks that
execute in an atomic and isolated way. To achieve the best possible performance, TM must …

Software transactional memory (STM) has emerged as a promising technique for facilitating
concurrent programming to exploit the potential of multicore machines in a …