@article{JungRitterHack_2021,
title={PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations},
author={Jung, Tina and Ritter, Fabian and Hack, Sebastian},
issn={1544-3973},
doi={http://dx.doi.org/10.22028/D291-34529},
series={4},
volume={18},
publisher={ACM},
journal={ACM Transactions on Architecture and Code Optimization},
year={2021}
}