TRANSACT 2015 - 10th Workshop on Transactional Computing
Topics/Call fo Papers
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. Recently, transactional memory has crossed two new thresholds. First, IBM and Intel are now shipping processors with hardware support for transactional memory. Second, the C++ Standard Committee has begun investigation into transactional memory as a new language feature. These developments highlight the demand for continued high quality TM research.
Transact 2015 will provide a forum to present and discuss the latest research on all aspects of transactional computing. The tenth in the series, it will extend over two days (rather than the usual one) during the Federated Computing Research Conference (FCRC). 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.
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
Applications, workloads, and test suites
Experience reports
Language mechanisms and semantics
Memory models
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
Papers should present original research. As transactional memory spans many disciplines, papers 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 or reflect principles
Transact 2015 will provide a forum to present and discuss the latest research on all aspects of transactional computing. The tenth in the series, it will extend over two days (rather than the usual one) during the Federated Computing Research Conference (FCRC). 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.
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
Applications, workloads, and test suites
Experience reports
Language mechanisms and semantics
Memory models
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
Papers should present original research. As transactional memory spans many disciplines, papers 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 or reflect principles
Other CFPs
Last modified: 2015-05-04 08:39:57