More than meets the eye: invisible instructions. - Guilherme V. Leobas; Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (SBLP, 2018)

Taskminer: automatic identification of tasks. - Pedro Ramos; Gleison Souza Diniz Mendonca; Guilherme V. Leobas; Fernando Magno Quintão Pereira (SBLP, 2018)

Static Prediction of Silent Stores. - Fernando Magno Quintão Pereira; Guilherme V. Leobas; Abdoulaye Gamatié (ACM Trans. Archit. Code Optim., 2019)

Semiring optimizations: dynamic elision of expressions with identity and absorbing elements. - Guilherme V. Leobas; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2020)

Guided just-in-time specialization. - Caio Lima; Junio Cezar R. da Silva; Guilherme V. Leobas; Erven Rohou; Fernando Magno Quintão Pereira (Sci. Comput. Program., 2020)