DISC 2011
the 25th International Symposium on DIStributed Computing - September 20-22



Transform WTTM 2011 Workshop Program

THURSDAY, SEPTEMBER 22nd
LOCATION: Dipartimento di Informatica e Sistemistica - Via Ariosto 25
17:20-17:30 Introduction room:B2
17:30-19:10 Semantics and synchronization techniques

Michael Scott
"Semantics for Transactional Languages"

Maurice Herlihy
"On the Nature of Progress"

Panagiota Fatourou
"Highly-Efficient Blocking Synchronization Techniques"

Idit Keidar
"On Locality and NUMA Effects in STM and Other Libraries"
room:B2
FRIDAY, SEPTEMBER 23rd
LOCATION: Dipartimento di Informatica e Sistemistica - Via Ariosto 25
9:00-11:00 Models and transaction-friendly abstractions

Nir Shavit and Alex Matveev
"Towards a Fully Pessimistic STM Model"

Faith Ellen
"A Wait-free, Transaction Friendly Universal Construction"

Sandeep Hans
"Exploring the relations between STM and DB consistency conditions"

Tyler Crain, Vincent Gramoli and Michel Raynal
"A Transaction-Friendly Binary Search Tree"

Discussion
room:B2
11:00-11:30 Coffee Break
11:30-13:00 Alessia Milani
"On disjoint access parallelism"

Masoud Saeida Ardekani, Pierre Sutra and Marc Shapiro
"The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs"

Sathya Peri and K.Vidyasankar
"Efficient Non-blocking Conflict Notion for Nested Transactions"
room:B2
13:00-14:00 Lunch
14:00-16:00 Scheduling, monitors, and speculation

Danny Hendler
"Scheduling-based Transactional Memory Contention Management"

Annette Bienussa and Thomas Fuhrmann
"Lifting the Barriers – Integration of Monitors into a Distributed Transactional Memory System"

Paolo Romano, Roberto Palmieri, Francesco Quaglia and Luis Rodrigues
"Boosting STM Replication via Speculation"

Discussion
room:B2
16:00-16:30 Coffee Break
16:30-18:45 Practical TM specifications and verification

Torvald Riegel
"Draft Specification of Transactional Language Constructs for C++"

Maged Michael
"How to Support Non-Blocking Transactions in Practical TM Specifications?"

Victor Luchangco
"Formal machine-checked verification of a real transactional memory algorithm"

Discussion and conclusion
room:B2


sponsored by:
logo sapienza         logo microsoft research        logo cini consorzio interuniversitario per l'informatica