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