01-22 SIGMOD'22-Ad Hoc Transactions through the Looking Glass——An Empirical Study of Application-Level Transactions in Web Applications
09-18 PLDI'23-Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
07-02 PLDI'21-Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification