A Formally Verified Foundation for Compositional Heterogeneous Coherence

@article{zhang_pldi26,
  author       = {An Qi Zhang and
                  Andr{\'{e}}s Goens and
                  Daniel J. Sorin and
                  Vijay Nagarajan},
  title        = {A Formally Verified Foundation for Compositional Heterogeneous Coherence},
  journal      = {Proc. {ACM} Program. Lang.},
  number       = {{PLDI}},
  year         = {2026},
}