BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Soteria and Compositional Symbolic Execution à la Carte - Sacha-
 Élie Ayoun
DTSTART:20251124T130000Z
DTEND:20251124T140000Z
UID:TALK241183@talks.cam.ac.uk
CONTACT:Rini Banerjee
DESCRIPTION:My research focuses on symbolic execution and a variant called
  compositional symbolic execution (CSE) where function bodies can be repla
 ced by their separation-logic specifications.\nIn this talk\, I present an
  overview of two of my recent contributions to that field: CSE à la carte
 \, a combinator approach for modularly building the model of state during 
 symbolic execution allowing to construct various memory models as well as 
 analysis-specific features such as user-defined predicates or bi-abduction
 \; and Soteria\, monadic approach to writing the engine itself.\n
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR