TY  - RPRT
TI  - IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
AU  - Chujun Geng
AU  - Spyros Blanas
AU  - Michael D. Bond
AU  - Yang Wang
PY  - 2024
DO  - 10.1145/3656391
UR  - https://arxiv.org/abs/2404.04621
ID  - 2404.04621
ER  -