6th Workshop on the Theory of Transactional Memory
EuroTM WTTM 2014

July 15, 2014, Paris, France - in conjunction with PODC 2014

The workshop has received funding by the European Cooperation in Science and Technology (COST) Action IC1001 Euro-TM.

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:

Invited speakers

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

Celebration of Maurice Herlihy's Birthday

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.

Submissions

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

https://www.easychair.org/conferences/?conf=wttm2014

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.

Program Committee

   
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

Program

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.

Time Authors Paper
09h00Idit KeidarKeynote:
On Correctness of Concurrent Data Structures under Reads-Write Concurrency
09h25Claire Capdevielle, Colette Johnen and Alessia Milani Solo-fast Universal Constructions for Deterministic Abortable Objectspdf
09h45Hagit Attiya, Alexey Gotsman, Sandeep Hans and Noam Rinetzky Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficientslides
10h05Coffee break
10h20Maged MichaelKeynote:
Overview of Power HTM
slides
10h45Yehuda Afek, Alex Matveev and Nir ShavitReduced Hardware Lock Elisionpdf
11h05Dave Dice, Timothy L. Harris, Alex Kogan, Yossi Lev and Mark MoirPitfalls of lazy subscriptionpdf
11h25Hillel Avni and Yehuda AfekEvaluating the Addition of Non-Transactional Loads to HTM (TSX)pdf
11h45Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi and Nir ShavitInherent Limitations of Hybrid Transactional Memorypdf
12h05Lunch break
13h30Michael ScottKeynote:
Transactional Semantics with Zombies
pdf
13h55Konrad Siek and Pawel T. WojciechowskiZen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind pdf
14h15 Shlomi DolevKeynote
Scheduling based transactional memory
14h40Vincent Gramoli, Petr Kuznetsov and Srivatsan RaviForget about Performance, Think about Concurrency
15h00Coffee break
15h20Chao Wang, Yujie Liu and Michael SpearA New API For Transactional Condition Synchronizationpdf
15h40Maciej Kokocinski, Tadeusz Kobus and Pawel T. WojciechowskiOn Safety of Replicated Transactional Memorypdf
16h00Maurice Herlihy's birthday ceremony (starting with Michael Scott - TM Today)
16h30Joining the rest of Maurice Herlihy's birthday ceremony

Important dates

   
EXTENDED Submission deadline:   22 May 2014   (anywhere on earth)
Acceptance notification: 22 June 2014
Workshop date: 15 July 2014

Registration

The WTTM 2014 is a Euro-TM Cost Action initiative, supported by the European Commission.

Registration for WTTM is mandatory but free. To register for the workshop send an email until *June 13th* with your name and institution with subject "WTTM'14 Registration" to the following addresses: Euro-TM can provide a limited number of travel grants. If you intend to apply for a grant, this shall be clearly indicated in your registration email. Please, specify also: People who attend *exclusively* WTTM will not need to register to the PODC workshops or conference.

Organizing Committee