BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:RGSep action inference - Viktor Vafeiadis (Microsoft Research Camb
 ridge)
DTSTART:20090217T130000Z
DTEND:20090217T140000Z
UID:TALK16356@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:I shall present action inference\, an automatic thread-modular
  procedure for verifying concurrent heap-manipulating programs.  Action i
 nference computes a set of RGSep actions\, which over-approximate the inte
 rference that each thread causes to its concurrent environment.\n\nUsing a
 ction inference\,  I was able to verify safety\, liveness\, and functiona
 l correctness properties of a collection of practical concurrent\nalgorith
 ms.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR