@inproceedings{TAP:Festschrift2027,
  author = {Gu, Long and Liu, Si and Wei, Hengfeng},
  title = {Mechanizing Transactional Anomalous Patterns for Weak Isolation Levels},
  booktitle = {Festschrift and Workshop in Honour of David Basin},
  year = {2027},
  note = {To appear}
}