TY  - RPRT
TI  - Making TransactionIsolation Checking Practical
AU  - Jian Zhang
AU  - Shuai Mu
AU  - Cheng Tan
PY  - 2026
UR  - https://arxiv.org/abs/2604.20587
ID  - 2604.20587
ER  -