4th Workshop on the Theory of Transactional Memory
TransForm/EuroTM WTTM 2012

July 19, 2012, Madeira, Portugal - in conjunction with PODC 2012

The workshop has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement number 238639, ITN project TransForm and by the European Cooperation in Science and Technology (COST) Action IC1001 Euro-TM.

The 4th Workshop on the Theory of Transactional Memory is a forum to foster exchanges, discussions, and disseminations among researchers of speculative solutions for concurrent programming. The objective is to discuss new theoretical challenges and recent achievements in the context of transactional computing.

The transactional memory abstraction appears promising for democratizing concurrent programming. Its success lies in producing code that is extensible as atomicity is preserved under composition of transactions. This new abstraction raises several challenges such as the compliance of transactions with alternative synchronization techniques of legacy code and dedicated consistency models that favor concurrency.

As a major goal of the workshop is to explore new directions and approaches for reasoning about transactional memory, we especially encourage the submission of ongoing work, as well as position papers and case studies of existing verification projects.

The scope of the workshop includes, but is not limited to:

Invited speakers

   
Faith Ellen - University of Toronto The Theory of Transactional Memory: What's There and What's Not
Maurice Herlihy - Brown University Modular Integration of Type-Specific Concurency Control with Transactional Memory
Maged Michael - IBM Research Evaluation of the Blue Gene/Q HTM
Eliot Moss - University of Massachusetts  Designing Data Types for use in TransactionsDesigning Data Types for use in Transactions
Nir Shavit - MIT Pessimistic Software Lock-Elision

Submissions

We solicit submissions describing recent results and/or positions relevant to the theory of transactional memory to be presented and discussed (and defended) at the workshop. As a major goal of the workshop is to explore new directions and approaches for reasoning about transactional memory, we especially encourage the submission of ongoing work, as well as position papers and case studies of existing projects. Submissions should be in PDF and include title, author information, and a 3/4-page abstract. Please follow the following EasyChair submission link:

https://www.easychair.org/account/signin.cgi?conf=wttm2012

Program Committee

   
Annette Bieniusa LIP6, France
Aleksandar Dragojevic EPFL, Switzerland
Pascal Felber University of Neuchâtel, Switzerland
Vincent Gramoli (co-chair) EPFL and University of Sydney
Petr Kuznetsov TU Berlin/Deutsche Telekom Labs
Victor Luchangco Sun Labs, Oracle, MA
Alessia Milani (co-chair) LaBRI, France
Dmitri Perelman Technion, Israel
Michel Raynal Université de Rennes and IUF
Michael Spear Lehigh University, PA

Program

Time Authors Paper
9hOpening
Keynote
9h05Faith EllenThe Theory of Transactional Memory: What's There and What's Notabstract
Safety session
9h30Stephan Diestelhorst and Martin PohlackSafely accessing timestamps in transactionspdf
9h45Hagit Attiya, Sandeep Hans, Petr Kuznetsov and Srivatsan RaviWhat is safe in transactional memorypdf
10hCoffee break
Keynote
10h30Nir ShavitPessimistic transactional lock-elisionabstract
Concurrency
10h55Vincent Gramoli, Srivatsan Ravi and Petr KuznetsovSharing a sequential data structure: correctness definition and concurrency analysis pdf
11h10Nuno Diegues and João Cachopo On the design space of parallel nesting pdf
11h25Panagiota Fatourou, Mykhailo Iaremko, Eleftherios Kosmas and Giorgos E. Papadakis Reducing contention in STMpdf
11h40Discussion
12h15Lunch break
Keynotes
1h30Maurice HerlihyModular integration of type-specific concurency control with transactional memoryabstract
1h55Eliot MossDesigning data types for use in transactionsabstract
Verification
2h20Mohsen Lesani, Victor Luchangco and Mark MoirPutting Opacity in its Placepdf
2h35Annette Bieniusa and Peter ThiemannTracing snapshot isolation in transactionspdf
2:50Discussion
3h15Coffee break
Keynote
3h45Maged MichaelEvaluation of the Blue Gene/Q HTMabstract
Fault-tolerance
4h10Paweł Wojciechowski and Jan Kończak A Formal Model of Crash Recovery in Distributed Software Transactional Memorypdf
4h25Sebastiano Peluso, Paolo Romano and Francesco QuagliaGenuine replication, opacity and wait-free read transactions: can a STM get them all?pdf
4h40Victor Bushkov and Rachid Guerraoui Transactional memory repairpdf
4h55Discussion

Important dates

   
Submission deadline:   9 May 2012 (11:59PM Honolulu, Hawaii, time zone HAST)
Acceptance notification: 1 June 2012
Workshop date: 19 July 2012

Registration (registering to PODC is not required)

   
Early (before 15 June)  Late
Student   € 70 € 100
Regular ACM € 135 € 165
Regular non-ACM € 150 € 180

To register to WTTM4, please follow the link to the PODC registration. The WTTM organizers along with TransFrom and EuroTM encourage students and researchers to attend. To apply for reimbursement of your travel expenses please consult the WTTM4 Travel Grants document.

Organization