UPMARC Workshop on Memory Models (MM'15)

      23 - 24 February 2015, Uppsala, Sweden

Foto: Othamne Rezine

Venue

The talks will take place at Campus Polacksbacken in the conference room ITC/4308. The dinner on Monday 23rd of February and lunches are covered by the workshop for only registered participants.


Program

Monday, February 23, 2015

Opening
8:45-9:50 Opening
8:50-9:00 UPMARC Presentation
Bengt Jonsson
Session 1
09:00-09:45 Tractable Refinement Checking for Concurrent Objects (abstract) (slides)
Constantin Enea
09:45-10:30 Analysing and Optimising Parallel Snapshot Isolation (abstract)
Alexey Gotsman
Coffee break (10:30-11:00)
Session 2
11:00-11:45 Scalable consistency for replicated data (abstract) (slides)
Annette Bieniusa
11:45-12:30 TSO-CC: Consistency-directed Cache Coherence for TSO (abstract) (slides)
Vijay Nagarajan
Lunch Break (12:30-14:00)
Session 3
14:00-14:45 Memory Subsystem & Consistency Verification in gem5 (abstract)
Daryl Stewart
14:45-15:30 Callbacks: taking care of races in self-invalidation coherence protocols (abstract)
Stefanos Kaxiras
Coffee break (15:30-16:00)
Session 4
16:00-16:30 Fast&Furious: A Tool for Detecting Covert Racing (abstract)
Alberto Ros
16:30-17:15 Owicki-Gries for weak memory consistency (abstract) (slides)
Viktor Vafeiadis
17:15-17:45 A Generic Process Calculus Approach to Relaxed-Memory Consistency (abstract) (slides)
Tjark Weber
Dinner (19.30) at Peppar Peppar

Tuesday, February 24, 2015

Session 5
09:00-09:45 Herding Cats (abstract)
Jade Alglave
09:45-10:30 Stateless Model Checking for TSO and PSO (abstract) (slides)
Carl Leonardsson
Coffee break (10:30-11:00)
Session 6
11:00-11:45 Robustness against Relaxed Memory Models (abstract) (slides)
Roland Meyer
11:45-12:30 The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (abstract) (slides)
Tuan Phong Ngo
Lunch Break (12:30-14:00)



UPMARC

  Important dates:

  Workshop:
   23 - 24 February 2015