The past five years have 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 fifth 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.
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
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.
Papers must be submitted in PDF format, and consist of one page giving the title and abstract, followed by no more than 6 pages in standard two-column SIGPLAN conference format, excluding bibliography (but including all figures, appendices, etc.). We emphasize that these formatting requirements are different from those of the preceding year. Shorter submissions are also most welcome. Submissions must be made through the on-line submission site.
Final papers will be available to participants electronically at the meeting, but to facilitate resubmission to more formal venues, no archival proceedings will be published, and papers will not be sent to the ACM Digital Library. Authors will have the option of having their final paper accessible from the workshop website. Authors must be familiar with and abide by SIGPLAN's republication policy, which forbids simultaneous submission to multiple venues and requires disclosing prior publication of closely related work.
At the discretion of the program committee and with the consent of the authors, particularly worthy papers may be recommended for a special journal issue.
|Submission deadline:||January 22, 2010, 11:59PM PST (deadline is firm but EXTENDED)|
|Author notification:||March 1, 2010|
|Final copy due:||April 2, 2010|
|Workshop:||April 13 , 2010|
General ChairPascal Felber , Université de Neuchâtel
Program ChairEliot Moss , University of Massachusetts Amherst
Babak Falsafi, EPFL
Pascal Felber, Université of Neuchâtel
Rachid Guerraoui, EPFL
Dan Grossman, University of Washington
Tim Harris, Microsoft Research
Maurice Herlihy, Brown University
Tony Hosking, Purdue University
Suresh Jagannathan, Purdue University
Doug Lea, SUNY Oswego
Maged Michael, IBM Research
Eliot Moss, University of Massachusetts
Michael Scott, University of Rochester
Jan Vitek, Purdue University
Craig Zilles, University of Illinois