@inproceedings{SemanticConformance:SCCP2026,
  author = {Xiong, Qiuhuan and Wei, Hengfeng and Liu, Si and Chen, Yuxing and Ge, Jidong},
  title = {Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels},
  booktitle = {The 1st Symposium on Consistency Checking Principles (SCCP 2026), co-located with VLDB 2026},
  year = {2026},
  url = {https://arxiv.org/abs/2607.16696}
}