PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
In this paper, we consider concurrent programs in which the shared nsists of instances of linearizable ADTs (abstract data types). We present an automated approach to concurrency ...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
Stream processing or data-flow programming is a compute paradigm that has been around for decades in many forms yet has failed garner the same attention as other mainstream langu...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
Hybrid MPI+Threads programming has emerged as an alternative model to the “MPI everywhere” model to better handle the increasing core density in cluster nodes. While the MPI s...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
Many applications feature a mix of irregular and regular computational structures. For example, codes using adaptive mesh refinement (AMR) typically use a collection of regular b...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
Software transactional memory offers an appealing alternative to locks by improving programmability, reliability, and scalability. However, existing STMs are impractical because t...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
We present a new, concurrent, lock-free priority queue that relaxes the delete-min operation to allow deletion of any of the ρ+1 smallest keys instead of only a minimal one, wher...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
We present the lazy happens-before relation (lazy HBR), which ignores mutex-induced edges to provide a more precise notion of state equivalence compared with the traditional happe...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
As hardware evolves, an increasingly effective approach to develop energy efficient, high-performance solvers, is to design them to work on many small and independent problems. I...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
In recent years, web applications have become pervasive. Their backbone is JavaScript, the only programming language supported by all major web browsers. Most browsers run on desk...
PPOPP
2015
ACM
8 years 7 months ago
2015
ACM
In the multicore era it was possible to exploit the increase in on-chip parallelism by simply running multiple MPI processes per chip. Unfortunately, manycore processors’ greatl...