Symbolic range analysis of pointers. - Vitor Paisante; Maroua Maalej; Leonardo Barbosa e Oliveira; Laure Gonnord; Fernando Magno Quintão Pereira (CGO, 2016)

Pointer disambiguation via strict inequalities. - Maroua Maalej; Vitor Paisante; Pedro Ramos; Laure Gonnord; Fernando Magno Quintão Pereira (CGO, 2017)

Combining range and inequality information for pointer disambiguation. - Maroua Maalej; Vitor Paisante; Fernando Magno Quintão Pereira; Laure Gonnord (Sci. Comput. Program., 2018)