5^th Workshop on the Theory of Transactional Memory
TransForm/EuroTM WTTM 2013

October 14, 2013, Jerusalem, Israel - in conjunction with DISC 2013

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 5th Workshop on the Theory of Transactional Memory is a forum (TM) 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 programming paradigm that appears promising 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:

transactional models
safety and liveness in speculative computing
TM algorithms and limitations
speculative-friendly and transaction-friendly data structures and algorithms
concurrent programming, synchronization and shared memory
multiprocessor and multi-core architectures and algorithms
models for the analysis of multiprocessor and multi-core algorithms
TM verification
TM computing in clusters of workstations and message-passing systems

Invited speakers

"A Programming Language Perspective on Transactional Memory Consistency"

Hagit Attiya - Technion, Israel

"Transactional memory schedulers for diverse distributed computing environments"

Costas Busch - Louisiana State University, US

"STM contention management: from multiprocessors to distributed systems"

Danny Hendler - Ben-Gurion University, Israel

"Hybrid implementations of concurrent objects"

Michel Raynal - IRISA/University of Rennes 1, France

Submissions

We solicit submissions describing recent results and/or positions relevant to the theory of speculative computing with emphasis on transactional memory to be presented and discussed at the workshop. Submissions should be in PDF format and include title, authors' names and affiliations, and an up to four-pages abstract (references excluded). 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.

Please follow the following EasyChair submission link:

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

Program Committee

Panagiota Fatourou (co-chair)	FORTH, Greece
Vincent Gramoli	University of Sydney, Australia
Rachid Guerraoui	EPFL, Switzerland
Danny Hendler	Ben-Gurion University, Israel
Eshcar Hillel	Yahoo! Labs, Israel
Maged Michael	IBM TJ Watson Research Center, USA
Alessia Milani (co-chair)	Bordeaux Institute of Technology (IPB), France
Eliot Moss	University of Massachusetts Amherst, USA
Paolo Romano (co-chair)	INESC-ID, Portugal
Vasu Singh	BMW Munich, Germany

Program

Time	Authors	Paper
09h05	Welcome
	TM Semantics
09h10	Hagit Attiya	Keynote: A Programming Language Perspective on Transactional Memory Consistency	abstract slides
09h45	Mohsen Lesani and Jens Palsberg	Write-observation and Read-preservation TM Correctness Invariants	pdf
10h00	Mohsen Lesani, Victor Luchangco and Mark Moir	Specifying Transactional Memories with Nontransactional Operations	pdf
10h15	Wenjia Ruan, Yujie Liu and Michael Spear	On the Relationship Between Delaying Operators and Language-Level Semantics	pdf
10h30	Coffee break
	Contention Management: From multiprocessor to distributed TMs
11h00	Danny Hendler	Keynote: STM contention management: from multiprocessors to distributed systems	abstract slides
11h35	Costas Busch	Keynote: Transactional memory schedulers for diverse distributed computing environment	abstract slides
12h10	Christopher Rossbach and Jean-Philippe Martin	Distributed Optimistic Concurrency Considered Optimistic	pdf
12h35	Shlomi Dolev, Panagiota Fatourou and Eleftherios Kosmas	Abort Free SemanticTM by Dependency Aware Scheduling of Transactional Instructions	pdf
13h00	Lunch break
	Hybrid TM
14h30	Michel Raynal	Keynote: Hybrid implementations of concurrent objects	abstract slides
15h05	Alex Matveev and Nir Shavit	Reduced Hardware Transactions: A Hybrid NOREC	pdf
15h20	Lingxiang Xiang and Michael Scott	Composable Partitioned Transactions	pdf
15h35	Coffee break
	Parallelism
16h00	Victor Bushkov, Dmytro Dziuma, Panagiota Fatourou and Rachid Guerraoui	Snapshot Isolation Does Not Scale Either	pdf
16h15	Faith Ellen, Panagiota Fatourou, Eleftherios Kosmas, Alessia Milani and Corentin Travers	Wait-Free Universal Constructions that ensure Timestamp-Ignoring Disjoint-Access Parallelism	pdf
	Multiversion Transactional Memories
16h30	Nuno Diegues and Paolo Romano	Input Acceptance of Time-Warping Transactional Memory	pdf
16h45	Priyanka Kumar and Sathya Peri	Multiversion Conflict Notion	pdf

Important dates

EXTENDED Submission deadline:	30 July 2013
Acceptance notification:	20 August 2013
Workshop date:	14 October 2013

Registration

The participants who:

have applied for a Euro-TM's grant and,
plan to attend exclusively the WTTM Workshop (i.e., they will not attend the DISC workshop)

shall not register yet in the DISC's registration page. They will receive further instructions on how to proceed with the registration together with the notification of their grant application.

Organizing Committee

Alessia Milani (Bordeaux Institute of Technology (IPB), France), milani@labri.fr.
Panagiota Fatourou (FORTH, Greece), faturu@ics.forth.gr.
Paolo Romano (INESC-ID, Portugal), romano@inesc-id.pt.
Maria Couceiro (INESC-ID, Portugal).

5th Workshop on the Theory of Transactional MemoryTransForm/EuroTM WTTM 2013