5th ACM SIGPLAN Workshop on Transactional Computing TRANSACT 2010 To be held in conjunction with EuroSys 2010 April 13, 2010, Paris, France Call for Papers 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. 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 * 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 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. Important Dates 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 Chair Pascal Felber , Université de Neuchâtel Program Chair Eliot Moss , University of Massachusetts Amherst Program Committee TBA Steering Committee 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