The Second ACM SIGPLAN Workshop on Transactional Computing

ACM SIGPLAN logo

To be held in conjunction with PODC 2007
Portland, Oregon, August 16, 2007

Call for Papers  (PDF version)

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 second in its series (click here for TRANSACT’06), 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. 

Specific topics of interest include (but are not limited to): 

  • Runtime systems
  • Hardware support
  • Memory models
  • Persistence and I/O
  • Nesting and exceptions
  • Speculative concurrency
  • Formal verification
  • Debugging and tools
  • Language mechanisms and semantics
  • Static analysis and compiler optimizations
  • Conflict detection and contention management
  • Long-running or distributed transactions
  • Communication among transactions
  • Checkpointing and failure atomicity
  • Applications, workloads, and test suites
  • Interaction with lock-based or nonblocking code
  • Migration from legacy systems
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. 

PAPER SUBMISSION:

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.  Submissions must be made through the on-line submission site.  More detailed instructions are available at that site. 

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:

Submissions due:  April 15, 2007
Notification:  June 1, 2007
Final copy due:  July 1, 2007
Workshop:  August 16, 2007

GENERAL CHAIR:  Rachid Guerraoui, Ecole Polytechnique Fédérale de Lausanne

PROGRAM CHAIR:  Michael L. Scott, University of Rochester

PROGRAM COMMITTEE:

Ali-Reza Adl-Tabatabai, Intel Corporation
Anastassia Ailamaki, Carnegie Mellon University
Hagit Attiya, Technion
Goetz Graefe, HP Labs
Mark Hill, University of Wisconsin – Madison
Suresh Jagannathan, Purdue University
Christos Kozyrakis, Stanford University
Bradley C. Kuszmaul, MIT
Victor Luchangco, Sun Labs
Jan-Willem Maessen, Sun Labs
Martin Odersky, Ecole Polytechnique Fédérale de Lausanne
Simon Peyton-Jones, Microsoft Research
Ravi Rajwar, Intel Corporation
William N. Scherer III, Rice University

WEB TOOLS:  Arrvindh Shriraman, University of Rochester

STEERING COMMITTEE:

Tim Harris, Microsoft
Maurice Herlihy, Brown
Tony Hosking, Purdue
     Doug Lea, SUNY Oswego
Eliot Moss, UMass
Jan Vitek, Purdue