June 15, 2015: The TRANSACT 2015 Workshop thanks Oracle Labs for its generous support.
June 1, 2015: The TRANSACT 2015 program is now available here.
June 1, 2015: Child care is available at FCRC. Please contact Shannon Cunningham for more information.
April 28, 2015: The list of accepted papers is now online.
March 4, 2015: FCRC Hotel Reservation Information is available here.
February 17, 2015: Due to multiple requests, the submission deadline has been extended to February 24, 2015.
February 15, 2015: The TRANSACT 2015 submission site is now live.
November 10, 2014: The TRANSACT 2015 website is now live.
The past decade has seen an explosion of interest in programming languages, systems, and hardware to support transactions, speculation, and related alternatives to classical lock-based concurrency. Recently, transactional memory has crossed two new thresholds. First, IBM and Intel are now shipping processors with hardware support for transactional memory. Second, the C++ Standard Committee has begun investigation into transactional memory as a new language feature. These developments highlight the demand for continued high quality TM research.
Transact 2015 will provide a forum to present and discuss the latest research on all aspects of transactional computing. The tenth in the series, it will extend over two days (rather than the usual one) during the Federated Computing Research Conference (FCRC). 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
- Applications, workloads, and test suites
- Experience reports
- Language mechanisms and semantics
- Memory models
- 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
Papers should present original research. As transactional memory spans many disciplines, papers 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 or reflect principles.
Please use EasyChair to submit a paper to TRANSACT!.
Papers must be submitted in PDF, and be no more than 8 pages in standard two-column SIGPLAN conference format including figures and tables but not including references. Shorter submissions are welcome. The submissions will be judged based on the merit of the ideas rather than the length. 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.
Please see the FCRC homepage for information about registration, hotels, local attractions, etc.
- Submission Deadline: February 19, 2015 February 24, 2015 (Tuesday)
- Author Notification: April 24, 2015 (Friday)
- Workshop: June 15 - 16, 2015 (Monday and Tuesday)
One of the goals this year is to increase the amount of discussion during Transact. As such, presenters should aim to give a 20-minute talk, leaving 5 minutes for questions and discussion. We will also have a breakout session in which we discuss what research directions we ought to pursue in the future. In addition, we have time set aside for "lightning talks" (see below for details).
Monday morning (9:00-11:00am)Session Chair: Justin Gottschlich
- Welcome
- An Opaque Hybrid Transactional Memory (pdf)
- An Update on Haskell H/STM (pdf) (slides)
- Refined Transactional Lock Elision (pdf)
- A Simple Deterministic Algorithm for Guaranteeing the Forward Progress of Transactions (pdf)
Session Chair: Stephan Diestelhorst
- Transactional Interference-less Balanced Tree (pdf)
- Chihuahua: A Concurrent Moving Garbage Collector Using Transactional Memory (pdf)
- Making Impractical Implementations Practical (pdf)
- Transactional Tools for the Third Decade (pdf)
- Research Directions for Transactional Memory: What we have "solved" and what we should focus on Intro and challenge (Maurice Herlihy) (slides)
- Breakout session
- Recap
Session Chair: Victor Luchangco
- Hardware Support for Local Memory Transactions on GPU Architectures (pdf)
- Between All and Nothing-Versatile Aborts for HTM (pdf) (slides)
- "Lightning talks" (slides) (slides) (slides) (slides) (slides) (slides)
Session Chair: Michael Spear
- Anatomy of a Meltdown: Non-Blocking Performance under High Contention
- The Correctness Criterion of Deferred Update Replication (pdf)
- Performance Analysis of Concurrent Red-Black Trees on HTM Platforms (pdf)
Session Chair: Michael Scott
- Invited talks: Perspectives on Transactional Memory (slides) (slides)
- "Lightning talks", part 2 (note: all lightning talk slides are listed above)
Anyone may sign up to give a lightning talk, which must be no more than 5 minutes, ideally shorter. To sign up ahead of time, send mail to the PC chair (victor.luchangco@oracle.com). You may sign up for multiple talks on different topics. If there is time, we will also allow signups during the workshop; hopefully some talks will be inspired by the breakout session on Monday afternoon.
Dan Alistarh and William Hasenplaugh
Todd Anderson, Melissa O'Neill and John Sarracino
Dave Dice, Alex Kogan and Yossi Lev
Stephan Diestelhorst, Martin Nowack, Michael Spear and Christof Fetzer
Ahmed Hassan, Roberto Palmieri and Binoy Ravindran
Matthew Kilgore, Stephan Louie, Chao Wang, Tingzhe Zhou, Wenjia Ruan, Yujie Liu and Michael Spear
Tadeusz Kobus, Maciej Kokocinski and Pawel T. Wojciechowski
Charles Leiserson
Melissa O'Neill and Christopher Stone
Wenjia Ruan and Michael Spear
Dimitrios Siakavaras, Konstantinos Nikas, Georgios Goumas and Nectarios Koziris
Alejandro Villegas, Angeles Navarro, Rafael Asenjo, Oscar Plata, Rafael Ubal and David Kaeli
Ryan Yates and Michael Scott
- Justin Gottschlich, Machine Zone
- Victor Luchangco, Oracle Labs
- Michael Spear, Lehigh University
- Cristiana Amza, University of Toronto
- Annette Bieniusa, Universitat Kaiserslautern
- Luke Dalessandro, Indiana University
- Dave Dice, Oracle Labs
- Stephan Diestelhorst, ARM
- Pascal Felber, University de Neuchatel
- Justin Gottschlich, Machine Zone
- Victor Luchangco, Oracle Labs (chair)
- Alessia Milani, Bordeaux Institute of Technology
- Binoy Ravindran, Virginia Tech
- Torvald Riegel, Red Hat
- Paolo Romano, University of Lisbon
- Michael Scott, University of Rochester
- Mike Spear, Lehigh University
- Osman Unsal, BSC-Microsoft Research Centre
- Pascal Felber, University de Neuchatel
- Justin Gottschlich, Machine Zone
- Dan Grossman, University of Washington
- Rachid Guerraoui, EPFL
- Tim Harris, Oracle Labs
- Maurice Herlihy, Brown University
- Eliot Moss, UMass
- Jan Vitek, Purdue University
- Michael Scott, University of Rochester
- Tatiana Shpeisman, Intel Labs
- Michael Spear, Lehigh University
TRANSACT 2015 was sponsored in part by:
Please contact the program chair