Announcement_10

Created in December 20, 2024

2024

Our paper “Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions” was accepted at TACAS 2025!