3rd ACM SIGPLAN Workshop on Transactional Computing

TRANSACT 2008

To be held in conjunction with PPoPP 2008

February 23, 2008, Salt Lake City, Utah, USA
 
Overview
Topics
Venue
Committees
Program
Submissions
Registration
 
Contact
 
 

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):

  • Runtime 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

Papers should present original research and should provide sufficient background material to make them accessible to the broader community. Papers focused on foundations should indicate how the work can be used to advance practice; papers on experiences and applications should indicate how the experiments reinforce principles.