BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards architectural emulators for multiprocessors: PPCMEM2 statu
 s  - Peter Sewell
DTSTART:20141022T120000Z
DTEND:20141022T130000Z
UID:TALK55646@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:I'll briefly summarise the status of our work towards an archi
 tectural\nemulator for multiprocessors with relaxed memory models\, integr
 ating\nan instruction semantics derived from the IBM Power vendor\nspecifi
 cation with an extension of our previous operational\nconcurrency model.\n
 \nIn this talk I'll focus mostly on some interesting questions about the\n
 interface between the instruction semantics and the concurrency model\;\ns
 ome of these raise new questions about what the architectural\nspecificati
 on should be. \n\nThis is work by Kathryn Gray\, Stephen Kell\, Gabriel Ke
 rneis\,\nDominic Mulligan\, Christopher Pulte\, Susmit Sarkar\, and Peter 
 Sewell.\n
LOCATION:FW11
END:VEVENT
END:VCALENDAR