BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Java Memory Model - the Good\, the Bad and the Ugly - Jaroslav
  Sevcik
DTSTART:20070713T130000Z
DTEND:20070713T140000Z
UID:TALK7655@talks.cam.ac.uk
CONTACT:Tom Ridge
DESCRIPTION:We describe our formalisation of the data race free (DRF) guar
 antee provided by Java\, as captured by the semi-formal Java Memory Model 
 (JMM) research paper (Manson et al\, 2005) and published in the Java Langu
 age Specification. The DRF guarantee says that all data race free programs
  can only have sequentially consistent behaviours. Such behaviours can be 
 understood intuitively by programmers.  The formalisation revealed that no
 t all of the anticipated conditions in the JMM definition were actually ne
 cessary for the DRF guarantee. This allows us to suggest a quick fix to a 
 serious bug discovered by Cenciarelli et al (2007) without invalidating th
 e DRF guarantee. We will also overview other inconsistencies and bugs that
  we have found in the JMM. 
LOCATION:FW11
END:VEVENT
END:VCALENDAR