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)
|
15h15 |
Break |
15h30 |
Session 4: Testing/verification (Chair: Dave Dice)
|
17h00 |
End of the workshop |
|