@article{Schwarzwitnessvalidation2027,
  title = {Validating Concurrent Correctness Witnesses by Thread-Modular Abstract Interpretation},
  author = {Schwarz, Michael and Ang, Zhendong and Mathur, Umang},
  journal = {Proceedings of the ACM on Programming Languages},
  year = {2027},
  number = {POPL},
  note = {To appear}
}