Speed and Precision in Range Analysis. - Victor Hugo Sperle Campos; Raphael Ernani Rodrigues; Igor Rafael de Assis Costa; Fernando Magno Quintão Pereira (SBLP, 2012)

A fast and low-overhead technique to secure programs against integer overflows. - Raphael Ernani Rodrigues; Victor Hugo Sperle Campos; Fernando Magno Quintão Pereira (CGO, 2013)

Restrictification of function arguments. - Victor Hugo Sperle Campos; Péricles Rafael Oliveira Alves; Henrique Nazaré Santos; Fernando Magno Quintão Pereira (CC, 2016)