+--------------------------------------------------------------------+
|        3rd ACM SIGPLAN Workshop on Transactional Computing         |
|                                                                    |
|                          TRANSACT 2008                             |
|                                                                    |
|                   http://www.unine.ch/transact08                   |
|                                                                    |
|             To be held in conjunction with PPoPP 2008              |
|            February 23, 2008, Salt Lake City, Utah, USA            |
+--------------------------------------------------------------------+

                           CALL FOR PAPERS

The past few 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 third 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. Experience reports are also welcome.

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.

SUBMISSIONS

Papers must be submitted in Postscript or PDF format, and must be no
more than 8 pages in length in standard two-column SIGPLAN conference
format. Shorter submissions are also welcome. Hard copies of final
papers (up to 10 pages in length) will be distributed at the meeting,
but to facilitate re-submission to more formal venues, no archival
proceedings will be published. Authors will have the option of having
electronic copy of their final paper accessible from the workshop
website or other on-line repository. 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.

IMPORTANT DATES
  Submission:    November 30, 2007
  Notification:  January 21, 2008
  Final copy:    February 11, 2008
  Workshop:      February 23, 2008

PROGRAM CHAIRS
  Babak Falsafi, CMU/EPFL
  Pascal Felber, U. Neuchatel

GENERAL CHAIR
  Maged Michael, IBM

PROGRAM COMMITTEE
  Ali-Reza Adl-Tabatabai, Intel
  Hagit Attiya, Technion
  George Candea, EPFL
  Christof Fetzer, TU-Dresden
  James Goodman, U. Auckland
  Goetz Graefe, HP Labs
  Christos Kozyrakis, Stanford
  Victor Luchangco, Sun Labs
  Milo Martin, U. Pennsylvania
  Ravi Rajwar, Intel
  Osman Unsal, BSC
  Thomas Wenisch, U. Michigan
  Emmett Witchel, UT-Austin
  David Wood, UW-Madison
  Peng Wu, IBM
  Craig Zilles, UIUC

STEERING COMMITTEE
  Rachid Guerraoui, EPFL
  Tim Harris, Microsoft
  Maurice Herlihy, Brown
  Tony Hosking, Purdue
  Suresh Jagannathan, Purdue
  Doug Lea, SUNY Oswego
  Eliot Moss, UMass
  Michael Scott, U. Rochester
  Jan Vitek, Purdue