2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…