Parameter Based Constant Propagation. - Péricles Rafael Oliveira Alves; Igor Rafael de Assis Costa; Fernando Magno Quintão Pereira; Eduardo Magno Lages Figueiredo (SBLP, 2012)

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)

Just-in-time value specialization. - Igor Rafael de Assis Costa; Henrique Nazaré Santos; Péricles Rafael Oliveira Alves; Fernando Magno Quintão Pereira (Comput. Lang. Syst. Struct., 2014)