@article{lepori-pointers,
  author={Andrea Lepori and Alexandru Calotoiu and Torsten Hoefler},
  title={{Iterating Pointers: Enabling Static Analysis for Loop-based Pointers}},
  journal={ACM Trans. Archit. Code Optim.},
  year={2025},
  month={Mar.},
  pages={4:1-4:25},
  volume={22},
  number={1},
  publisher={Association for Computing Machinery},
  issn={1544-3566},
  doi={10.1145/3701993},
}