The past decade has seen an explosion of interest in programming languages, systems, and hardware to support transactions, speculation, and related alternatives to classical lock-based concurrency. This workshop, the sixth in its series, will provide a forum for the presentation of research on all aspects of transactional computing. The scope of the workshop is intentionally broad, with the goal of encouraging interaction across the languages, architecture, systems, database, and theory communities. Papers may address implementation techniques, foundational results, applications and workloads, or experience with working systems. Environments of interest include the full range from multithreaded or multicore processors to high-end parallel computing.

TRANSACT 2011 is part of the Federated Computing Research Conference (FCRC 2011), and is sponsored by ACM SIGPLAN.

Topics

The workshop seeks papers on topics related to all areas of software and hardware for transactional computing. Specific topics of interest include but are not limited to:

* Run-time systems
* Hardware support
* Memory models
* Language mechanisms and semantics
* Formal verification
* Speculative concurrency
* Conflict detection and contention management
* Debugging and tools
* Static analysis and compiler optimizations
* Checkpointing and failure atomicity
* Persistence and I/O
* Nesting and exceptions
* Applications, workloads, and test suites
* Experience reports