Closing the Gap between Transactional Consistency Models and Executable Code using Separation Logic

Add to your list(s) Download to your calendar using vCal

• Anders A. Mathiasen
• Monday 17 February 2025, 13:00-14:00
• FS07, Computer Laboratory.

If you have a question about this talk, please contact Dr Meven Lennon-Bertrand.

Prior work on formalizing transactional guarantees for databases either focused on giving transactional consistency models which describe the behavior of the database at a high abstraction level, or focused on verifying concrete database implementations without providing any formal relation to transactional consistency models. In this talk I will show how we can make a connection between transactional consistency models and database implementations using separation logic.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

• FS07, Computer Laboratory
• tcw57’s list

Note that ex-directory lists are not shown.