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)

Compiler support for selective page migration in NUMA architectures. - Guilherme Piccoli; Henrique Nazaré Santos; Raphael Ernani Rodrigues; Christiane Pousa; Edson Borin; Fernando Magno Quintão Pereira (PACT, 2014)

Bounds Check Hoisting for AddressSanitizer. - Simon Moll 001; Henrique Nazaré; Gustavo Vieira Machado; Raphael Ernani Rodrigues (SBLP, 2014)

Real-World Loops Are Easy to Predict. - Raphael Ernani Rodrigues (SBLP, 2014)

A case for a fast trip count predictor. - Péricles Rafael Oliveira Alves; Raphael Ernani Rodrigues; Rafael Martins de Souza; Fernando Magno Quintão Pereira (Inf. Process. Lett., 2015)

The Alberta Workloads for the SPEC CPU 2017 Benchmark Suite. - José Nelson Amaral; Edson Borin; Dylan R. Ashley; Caian Benedicto; Elliot Colp; Joao Henrique Stange Hoffmam; Marcus Karpoff; Erick Ochoa; Morgan Redshaw; Raphael Ernani Rodrigues (ISPASS, 2018)