Memory Model meeting, Cambridge, Wed 24 - Thur 25 September 2014

This is an small informal meeting to discuss the design of more satisfactory concurrent memory models for C/C++, Java, and similar programming languages, given the various difficulties (especially the thin-air issues) with the current (C/C++11 and JSR-133) memory models.

Location

Computer Laboratory, University of Cambridge, room FW11 (first floor)

Schedule

We aim for a discussion-heavy schedule rather than a solid block of talks. We'll order in sandwich lunches and likely go for dinner on Wednesday; maybe also Thursday).

Wednesday 24 September (mostly thin-air focussed)

Thursday 25 September (thin-air continued and GPGPU)

Context

The following describe our current state of knowledge about the thin-air problem, as far as I know.

Attendees

name coming?
Paul McKenney (IBM, Linux) y
Doug Lea (SUNY Oswego, Java) teleconf (Wed until 11amEDT, Thur until 8amEDT ?)
Hans Boehm (Google) y
Alan Jeffrey (Bell Labs) y
Viktor Vafeiadis (MPI-SWS) y
Olivier Giroux (Nvidia) y
Torvald Riegel (Red Hat, GCC) teleconf?
Gustavo Petri (Purdue) y
Mark Batty (Cambridge) y
Shaked Flur (Cambridge) y
Kyndylan Nienhuis (Cambridge) y
Jean Pichon (Cambridge) y
Peter Sewell (Cambridge) y
Ali Sezgin (Cambridge) y
Susmit Sarkar (St Andrews) y
Scott Owens (Kent) y
Carl Ritson (Kent) y (Wed only?)
Tim Harris (Oracle) y
Gavin Bierman (Oracle) y
Hakan Persson (ARM) y (25 and around 26 am)
Andrew Haley (Redhat) y
John Wickerson (Imperial)

Also on the mailing cc list:

Ohad Kammar (Cambridge) n
Francesco Zappa Nardelli (INRIA) n
Robin Morisset (INRIA)
Suresh Jagannathan (Purdue, DARPA) n
Richard Grisenthwaite (ARM)
Jem Davies (ARM) y for some ARM - esp.25th
Jeremy Manson (Google)
Jade Alglave (UCL) n
Luc Maranget (INRIA)
Jaroslav Sevcik (Google)
Alistair Donaldson (Imperial)