WTTM 2013 - The 5th Workshop on the Theory of Transactional Memory

The 5th Workshop on the Theory of Transactional Memory is a forum (TM) to foster exchanges, discussions, and disseminations among researchers on theoretical challenges and recent achievements in the context of speculative concurrent computing with emphasis on transactional memory.
Transactional memory (TM) is a programming paradigm that appears promising for simplifying concurrent programming. This 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:
transactional models
safety and liveness in speculative computing
TM algorithms and limitations
speculative-friendly and transaction-friendly data structures and algorithms
concurrent programming, synchronization and shared memory
multiprocessor and multi-core architectures and algorithms
models for the analysis of multiprocessor and multi-core algorithms
TM verification
TM computing in clusters of workstations and message-passing systems
Invited speakers
Hagit Attiya - Technion, Israel
Costas Busch - Louisiana State University, US
Danny Hendler - Ben-Gurion University, Israel
Michel Raynal - IRISA/University of Rennes 1, France
Serdar Tasiran - Koç University, Turkey