TY  - RPRT
TI  - Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
AU  - Xuanyu Peng
AU  - Dominic Kennedy
AU  - Yuyou Fan
AU  - Ben Greenman
AU  - John Regehr
AU  - Loris D'Antoni
PY  - 2025
UR  - https://arxiv.org/abs/2512.06442
ID  - 2512.06442
ER  -