Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels. - Ahmed Bouajjani; Constantin Enea; Enrique Román-Calvo (Proc. ACM Program. Lang., 2023)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions. - Ahmed Bouajjani; Constantin Enea; Enrique Román-Calvo (CAV (4), 2025)