BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Plan B: A Buffered Memory Model for Java - David Pichardie - INRIA
  Rennes / Purdue University
DTSTART:20120117T130000Z
DTEND:20120117T140000Z
UID:TALK35464@talks.cam.ac.uk
CONTACT:William Denman
DESCRIPTION:The Java Memory Model (JMM) is an ambitious attempt to provide
  a\nsemantics for concurrent and\, possibly\, racy Java programs. It aims 
 to\nprovide a precise semantics that is portable across architectures and\
 nenables a variety of compiler optimizations. Unfortunately\, the JMM\nhas
  proven to be challenging for users to understand and for compiler\nwriter
 s to use. In fact\, the formal statement of the model is flawed\nand exist
 ing Java compilers do not comply with it. We propose to\ninvestigate an al
 ternative proposal that has a tractable definition\nand intuitive semantic
 s\, relates easily to existing architectures\, and\nwhile still enabling u
 seful optimizations.  To this end\, we introduce\na Buffered Memory Model 
 for Java.  Beyond its simplicity\nadvantages for the programmer\, the mode
 l is also amenable for formal\nreasoning and verification.\n\nJoint work w
 ith D. Demange\, V. Laporte\, L. Zhao\, S. Jagannathan and J. Vitek
LOCATION:Computer Laboratory\, William Gates Building\, Room GS15
END:VEVENT
END:VCALENDAR