Automatic array property detection via static analysis. - Alisa J. Maas (SPLASH (Companion Volume), 2015)

Array length inference for C library bindings. - Alisa J. Maas; Henrique Nazaré; Ben Liblit (ASE, 2016)