4th ACM SIGPLAN Workshop on Transactional Computing

TRANSACT 2009

To be held in conjunction with PPoPP 2009

February 15, 2009, Raleigh, North Carolina, USA

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 fourth in its series, will provide a forum for the presentation of research on all aspects of transactional computing.

This year TRANSACT is co-located with PPoPP and HPCA.

Registration and Workshop Information

For online registration, hotel information, etc., see the PPoPP homepage.

Program

Welcome (8:20)

TMUNIT: Testing Transactional Memories (8:30)
     Derin Harmanci, Pascal Felber, Vincent Gramoli and Christof Fetzer

Strong Isolation is a Weak Idea (8:55)
    Luke Dalessandro and Michael Scott

Condition Variables and Transactional Memory: Problem or Opportunity? (9:20)
    Polina Dudnik and Michael Swift

Inherent Limitations on Transactional Memory Implementations (9:45)
    Hagit Attiya, Eshcar Hillel and Alessia Milani

Break (10:10)

A Case for using Value Prediction to improve performance of transactional memory (10:40)
    Salil Pant and Dr. Greg Byrd

Transactional Value Prediction (11:05)
    Fuad Tabba, Andrew W. Hay and James R. Goodman

Hardware support for serializable transaction: a study of feasibility and performance (11:30)
    Utku Aydonat and Tarek Abdelrahman

Lunch (12:00)

Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency (1:00)
    Takayuki Usui, Yannis Smaragdakis and Reimer Behrends

Concurrent Non-commutative Boosted Transactions (1:25)
    Eric Koskinen and Maurice Herlihy

The Xfork in the Road to Coordinated Sibling Transactions (1:50)
    Hany Ramadan and Emmett Witchel

RMS-TM: A Transactional Memory Benchmark for Recognition, Mining and Synthesis Applications (2:15)
    Gokcen Kestor, Srdjan Stipic, Osman Unsal, Adrian Cristal and Mateo Valero

Break (2:40)

Anatomy of a Scalable Software Transactional Memory (3:10)
    Yossi Lev, Victor Luchangco, Virendra Marathe, Mark Moir, Dan Nussbaum and Marek Olszewski

TLRW: Return of the Read-Write Lock (3:35)
    David Dice and Nir Shavit

Transacting Pointer-based Accesses in an Object-based Software Transactional Memory System (4:00)
    David Detlefs and Lingli Zhang

Transactional Mutex Locks (4:25)
    Michael Spear, Arrvindh Shriraman, Luke Dalessandro and Michael Scott

Wrap-up (4:50)

Questions?

Contact the program chair.

Previous Workshops

TRANSACT 2008, Salt Lake City, Utah
TRANSACT 2007, Portland, Oregon
TRANSACT 2006, Ottawa, Canada

Important Dates

Submission deadline: November 21, 2008, 11:59PM PST (deadline is firm)
Author notification: January 14, 2009
Final copy due: February 4, 2009
Workshop: February 15, 2009

Full call for papers:  html   pdf   text

Submit your paper

See the call for papers for submission specifications.

General Chair

Craig Zilles, University of Illinois at Urbana-Champaign

Program Chair

Dan Grossman, University of Washington

Program Committee

Hans-J. Boehm, HP Labs
Sandhya Dwarkadas, University of Rochester
Faith Ellen, University of Toronto
Rob Ennals, Intel Research
Christof Fetzer, Dresden University of Technology
Tom Henzinger, EPFL
Milo Martin, University of Pennsylvania
Maged Michael, IBM Research
Mark Moir, Sun Microsystems
Kevin Moore, Sun Microsystems
Tatiana Shpeisman, Intel
Michael Swift, University of Wisconsin–Madison
Serdar Tasiran, Koc University
Michal Young, University of Oregon

Steering Committee

Babak Falsafi, EPFL
Pascal Felber, University of Neuchatel
Rachid Guerraoui, EPFL
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