BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Denotational Semantics of SSA - Jad Ghalayini (University of C
 ambridge)
DTSTART:20250127T130000Z
DTEND:20250127T140000Z
UID:TALK226354@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:Static Single Assignment (SSA) form has been a dominant compil
 er intermediate representation for decades\, yet it is often treated only 
 informally. To support more rigorous reasoning about SSA\, we present an i
 nductive formulation of SSA that can be equipped with a type theory robust
  enough to validate a variety of control-flow and data-flow transformation
 s. We then define a categorical semantics for SSA and show that our type t
 heory is sound and complete with respect to this semantics.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR