Mechanizing Transactional Anomalous Patterns for Weak Isolation Levels

Long Gu, Si Liu, Hengfeng Wei

Recently proposed transactional anomalous patterns (TAPs) provide a semantic characterization of weak isolation levels and serve as the foundation for TAP-based isolation checking.…