IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. - Chujun Geng; Spyros Blanas; Michael D. Bond; Yang Wang 009 (Proc. ACM Program. Lang., 2024)