Automatic Insertion of Copy Annotation in Data-Parallel Programs. - Gleison Souza Diniz Mendonca; Breno Campos Ferreira Guimarães; Péricles Rafael Oliveira Alves; Fernando Magno Quintão Pereira; Márcio Machado Pereira; Guido Araujo (SBAC-PAD, 2016)

Static placement of computation on heterogeneous devices. - Gabriel Poesia; Breno Campos Ferreira Guimarães; Fabricio Ferracioli; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2017)

DawnCC: Automatic Annotation for Data Parallelism and Offloading. - Gleison Souza Diniz Mendonca; Breno Campos Ferreira Guimarães; Péricles Alves; Márcio Machado Pereira; Guido Araujo; Fernando Magno Quintão Pereira (ACM Trans. Archit. Code Optim., 2017)

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

Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages. - Marcus Rodrigues; Breno Guimarães; Fernando Magno Quintão Pereira (CGO, 2019)

Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories. - Breno Campos Ferreira Guimarães; José Wesley de S. Magalhães; Anderson Faustino da Silva; Fernando M. Q. Pereira (SBLP, 2019)

Type Inference for C: Applications to the Static Analysis of Incomplete Programs. - Leandro T. C. Melo; Rodrigo Geraldo Ribeiro; Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (ACM Trans. Program. Lang. Syst., 2020)

ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. - Anderson Faustino da Silva; Bruno Conde Kind; José Wesley de Souza Magalhães; Jerônimo Nunes Rocha; Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (CGO, 2021)

Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need. - Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (CC, 2023)