News10
Our paper “Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions” has been accepted at the 1st Symposium on Consistency Checking Principles (SCCP) 2026, co-located with VLDB 2026.
Our paper “Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions” has been accepted at the 1st Symposium on Consistency Checking Principles (SCCP) 2026, co-located with VLDB 2026.