3rd ACM SIGPLAN Workshop on Transactional Computing TRANSACT 2008 To be held in conjunction with PPoPP 2008 February 23, 2008, Salt Lake City, Utah, USA

Overview Topics Venue Committees Program Submissions Registration   Contact     SIGPLAN

Program February 22 18h30 TRANSACT reception   February 23 08h00 Breakfast 08h20 Welcome 08h30 Session 1: Applications/support for TM (Chair: Christof Fetzer) Applications of the Adaptive Transactional Memory Test Platform [slides] Dave Dice (Sun Microsystems), Maurice Herlihy (Brown University), Doug Lea (SUNY Oswego), Yossi Lev (Sun Microsystems & Brown University), Victor Luchangco, Wayne Mesard, Mark Moir, Kevin Moore and Dan Nussbaum (Sun Microsystems) OS Support for Virtualizing Hardware Transactional Memory [slides] Michael Swift, Haris Volos, Neelam Goyal, Luke Yen, Mark Hill and David Wood (University of Wisconsin–Madison) Checkpoints and Continuations instead of Nested Transactions [slides] Maurice Herlihy and Eric Koskinen (Brown University) 10h00 Break 10h15 Session 2: Interaction with locks (Chair: Michael Scott) Pathological Interaction of Locks with Transactional Memory [slides] Haris Volos, Neelam Goyal and Michael Swift (University of Wisconsin–Madison) Single Global Lock Semantics in a Weakly Atomic STM [slides] Vijay Menon (Intel Labs), Steven Balensiefer (University of Washington, Seattle), Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard Hudson, Bratin Saha and Adam Welc (Intel Labs) Dreadlocks: Efficient Deadlock Detection for STM [slides] Maurice Herlihy and Eric Koskinen (Brown University) Hybrid Transactional Memory to accelerate safe lock-based transactions [slides] Enrique Vallejo (University of Cantabria), Tim Harris (Microsoft Research, Cambridge), Adrian Cristal, Osman Unsal and Mateo Valero (Barcelona Supercomputing Center) 12h15 Lunch 13h45 Session 3: STM (Chair: Tim Harris) Inevitability Mechanisms for Software Transactional Memory [slides] Michael Spear (University of Rochester), Maged Michael (IBM T.J. Watson Research Center) and Michael Scott (University of Rochester) Making Object-Based STM Practical in Unmanaged Environments [slides] Torvald Riegel and Diogo Becker de Brum (Dresden University of Technology) Serializability of Transactions in Software Transactional Memory [slides] Utku Aydonat and Tarek Abdelrahman (University of Toronto) 15h15 Break 15h30 Session 4: Testing/verification (Chair: Dave Dice) Verification of Transactional Memories that Support Non-Transactional Memory Accesses [slides] Ariel Cohen, Amir Pnueli (New York University) and Lenore Zuck (University of Illinois at Chicago) The Adaptive Transactional Memory Test Platform: A Tool for Experimenting with Transactional Code for Rock [slides] Mark Moir, Kevin Moore and Dan Nussbaum (Sun Microsystems Laboratories) Dividing Transactional Memories by Zero [slides] Aleksandar Dragojevic, Rachid Guerraoui and Michal Kapalka (EPFL) 17h00 End of the workshop