BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lipton's Reduction for TSO  - Ali Sezgin
DTSTART:20141105T130000Z
DTEND:20141105T140000Z
UID:TALK56015@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION: This talk is about adopting Lipton's reduction theory\, a wel
 l-known SC analysis technique almost 40 years old\, to TSO program analysi
 s. I will argue that the explicit inclusion of store buffer flushes in mov
 er analysis results in a natural framework for TSO program analysis. As an
  illustrating example\, I will talk about how one can obtain SC-summaries 
 of TSO programs (possibly with triangular races) within the TSO-Reduction 
 framework.\n
LOCATION:FW11
END:VEVENT
END:VCALENDAR