BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sequentializing the Value State Dependence Graph - Alan Lawrence
DTSTART:20080314T151500Z
DTEND:20080314T161500Z
UID:TALK11187@talks.cam.ac.uk
CONTACT:Alan Mycroft
DESCRIPTION:Abstract: The VSDG (Value State Dependence Graph) is a new com
 piler Intermediate Representation which is both more abstract and more nor
 malizing than existing IRs such as the CFG (Control Flow Graph) and PDG (P
 rogram Dependence Graph). However\, VSDG compilers have been held back by 
 the difficulty of _sequentializing_ the VSDG back into a CFG. In this talk
  I will:\n\n * review how a program is represented in the VSDG\, and how t
 his differs from CFG and PDG\;\n\n * present our architecture for sequenti
 alization via the PDG\;\n\n * show how the central task of VSDG-to-PDG con
 version is\n equivalent to selecting an evaluation strategy and (if time p
 ermits) specifying how computations of the values dynamically occurring in
  an expression are\nshared between static occurrences in the resulting PDG
  (and later CFG).\n
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR