WTTM 2015 - 7th Workshop on the Theory of Transactional Memory

The 7th Workshop on the Theory of Transactional Memory (WTTM) is a forum to foster exchanges, discussions, and disseminations among researchers on theoretical challenges and recent achievements in the context of concurrent computing, with an emphasis on transactional memory. Transactional Memory (TM) aims at making parallel programming more programmer friendly by providing an alternative synchronization mechanism to traditional lock-based concurrency. TM research has led to hardware TM implementations on both commodity and high performance computing microprocessors, as well as to TM integration in mainstream programming languages (like C, C++) and in the world's leading open source compiler.
From a theoretical perspective, the TM abstraction raises several challenges in the way we view synchronization as well as in the way we implement it. A major goal of the workshop is to explore new directions and approaches for reasoning about transactional memory.
Topics of interest include, but are not limited to:
Models and semantics for concurrent computing
Safety and liveness properties
Tradeoffs in TM and concurrent computing
TM algorithms and architecture
Impossibility results and lower bounds
TM performance and parallelism
Speculation-friendly and transaction-friendly data structures and their algorithms
formal methods, semantics and verification of TM and concurrent systems
TM for cluster, cloud, grid and high-performance computing
Concurrent computing, synchronization, and shared memory
Concurrent data structures and their algorithms
Multiprocessor and multi-core architectures and algorithms