@article{pkfgrd-popl-2026,
  author={Xuanyu Peng and Dominic Kennedy and Yuyou Fan and Ben Greenman and John Regehr and Loris D'Antoni},
  title={Nice to Meet You: Synthesizing Practical {MLIR} Abstract Transformers},
  journal={{PACMPL}},
  volume={10},
  number={{POPL}},
  pages={80:1--80:29},
  doi={10.1145/3776722},
  year={2026}
}