BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Closing the Gap between Transactional Consistency Models and Execu
 table Code using Separation Logic  - Anders A. Mathiasen
DTSTART:20250217T130000Z
DTEND:20250217T140000Z
UID:TALK228463@talks.cam.ac.uk
CONTACT:Dr Meven Lennon-Bertrand
DESCRIPTION:Prior work on formalizing transactional guarantees for databas
 es either focused on giving transactional consistency models which describ
 e the behavior of the database at a high abstraction level\,\nor focused o
 n verifying concrete database implementations without providing any formal
  relation to transactional consistency models. In this talk I will show ho
 w we can make a connection between transactional consistency models and da
 tabase implementations using separation logic. 
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR