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