Making TransactionIsolation Checking Practical

Jian Zhang, Shuai Mu, Cheng Tan

Checking whether database transactions adhere to isolation levels is a crucial yet challenging problem. We present Boomslang, the first general-purpose checking framework capable o…