ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

WTTM 2016 - 8th Workshop on the Theory of Transactional Memory

Date2016-07-25

Deadline2016-05-13

VenueChicago, Illinois, USA - United States USA - United States

Keywords

Websitehttp://www.gsd.inesc-id.pt/~salaa/wttm20...

Topics/Call fo Papers

The 8th 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 (e.g., C, C++) and leading open source compilers (e.g., GCC).
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

Last modified: 2015-12-27 11:01:51