The Caper tool for Automatic Verification for Fine-Grained Concurrency

Verification of memory management and mailbox module

CSim^2 compositional verification framework

Code release for DeepJudge (S&P'22)

Tool for checking whether two SQL queries are equivalent

Code release for RobOT (ICSE'21)

Cosette is an automated SQL solver.