[PLDI'23] Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation(…)

ACM SIGPLAN - [PLDI'23] Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation(…)