BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Checking very long ARM traces - An informal introduction - Ali Sez
 gin\, University of Cambridge
DTSTART:20150909T120000Z
DTEND:20150909T130000Z
UID:TALK60678@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:We have been recently provided with a trace consisting of almo
 st half a million events (loads\, stores and barriers) by a formal methods
  group at ARM Sophia-Antipolis. The objective is to develop a conformance 
 checking algorithm\, which decides whether the given trace agrees with the
  architecture specification\, scalable enough to handle traces of at least
  hundreds of thousands of events.\nIn this rather informal talk\, I will \
 n* describe the problem in more detail\, \n* explain what the main challen
 ges are\, and \n* the ongoing work to tackle these challenges.
LOCATION:FW11
END:VEVENT
END:VCALENDAR