| 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.
|