Shengjie Xu Eric Liu Wei Huang 0027 David Lie MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking. 609-622 2023 RAID https://doi.org/10.1145/3607199.3607212 https://www.wikidata.org/entity/Q131020082 conf/raid/2023 db/conf/raid/raid2023.html#XuL0L23