The 6th Workshop on the Theory of Transactional Memory is a forum to foster exchanges, discussions, and disseminations among researchers on theoretical challenges and recent achievements in the context of speculative concurrent computing with emphasis on transactional memory. Transactional memory (TM) is a promising programming paradigm for simplifying concurrent programming. This abstraction raises several challenges in the way we view synchronization as well as in the way we implement it. A major goal of the workshop is to explore new directions and approaches for reasoning about transactional memory.
Topics of interest include, but are not limited to:
Prof. Shlomi Dolev, Ben Gurion University, Israel
Prof. Idit Keidar, Technion Haifa, Israel
Dr. Maged Michael, IBM Thomas J. Watson Research Center, USA
Prof. Michael Scott, Rochester University
This year WTTM will celebrate the birthday of Maurice Herlihy, as a token of gratitude for his seminal contributions to the area of Transactional Memory.
We solicit submissions describing recent results and/or position papers relevant to the theory of speculative computing with emphasis on transactional memory to be presented and discussed at the workshop. Submissions should be in English and in PDF format. Submissions have to include: a title, authors' name and affiliation, and an up to four-page abstract (additional materials may be added to an optional appendix). Papers are to be submitted electronically at
Final papers will be available to participants electronically during the workshop. However, to facilitate resubmission to more formal venues, no archival proceedings will be published. Authors will have the option to upload the final version of their papers on the workshop website.
|Panagiota Fatourou||Univ. Crete & FORTH, Greece|
|Pascal Felber||University of Neuchatel, Switzerland|
|Petr Kuznetsov||Telecom ParisTech, France|
|Vincent Gramoli (PC Chair)||NICTA & University of Sydney, Australia|
|Rachid Guerraoui||EPFL, Switzerland|
|Tim Harris||Oracle, UK|
|Maurice Herlihy||Brown University, USA|
|Alessia Milani||LABRI & Universite Bordeaux 1, France|
|Mark Moir||Oracle, USA|
|Eliot Moss||University of Massachusetts, USA|
|Paolo Romano||INESC-ID, Portugal|
|Nir Shavit||MIT, USA|
IMPORTANT NOTICE:Registration desk for workshops and coffee breaks are being held in the patio in front of Amphi 15 (Ground floor). The registration desk will open at 8:00. Workshop participants are expected to register before going to the workshop room.
WTTM is located in LJLL and can be accessed through Tower 15, in room 15-25-104 (that is, first floor from Tower 15, corridor 15-25, room 104).
Maps are available on the PODC website.
On Correctness of Concurrent Data Structures under Reads-Write Concurrency
|09h25||Claire Capdevielle, Colette Johnen and Alessia Milani||Solo-fast Universal Constructions for Deterministic Abortable Objects|
|09h45||Hagit Attiya, Alexey Gotsman, Sandeep Hans and Noam Rinetzky||Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient||slides|
Overview of Power HTM
|10h45||Yehuda Afek, Alex Matveev and Nir Shavit||Reduced Hardware Lock Elision|
|11h05||Dave Dice, Timothy L. Harris, Alex Kogan, Yossi Lev and Mark Moir||Pitfalls of lazy subscription|
|11h25||Hillel Avni and Yehuda Afek||Evaluating the Addition of Non-Transactional Loads to HTM (TSX)|
|11h45||Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi and Nir Shavit||Inherent Limitations of Hybrid Transactional Memory|
Transactional Semantics with Zombies
|13h55||Konrad Siek and Pawel T. Wojciechowski||Zen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind|
Scheduling based transactional memory
|14h40||Vincent Gramoli, Petr Kuznetsov and Srivatsan Ravi||Forget about Performance, Think about Concurrency|
|15h20||Chao Wang, Yujie Liu and Michael Spear||A New API For Transactional Condition Synchronization|
|15h40||Maciej Kokocinski, Tadeusz Kobus and Pawel T. Wojciechowski||On Safety of Replicated Transactional Memory|
|16h00||Maurice Herlihy's birthday ceremony (starting with Michael Scott - TM Today)|
|16h30||Joining the rest of Maurice Herlihy's birthday ceremony|