Breno Campos Ferreira Guimaraes
Universidade Federal de Minas Gerais
9 Papers
23 Citations
Breno Campos Ferreira Guimaraes is an academic researcher from Universidade Federal de Minas Gerais. The author has contributed to research in topics: Compiler & Source code. The author has an hindex of 4, co-authored 8 publications.
Author Tools
Chat about Author
Papers
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 Guimaraes,Fernando Magno Quintão Pereira +5 more
- 27 Feb 2021
TL;DR: In this paper, a combination of web crawling and type inference is used to find good training sets for the C programming language, which can be used to train compilers for code size reduction.
63
DawnCC: Automatic Annotation for Data Parallelism and Offloading
Gleison Souza Diniz Mendonca,Breno Campos Ferreira Guimaraes,Péricles Alves,Marcio Machado Pereira,Guido Araujo,Fernando Magno Quintão Pereira +5 more
TL;DR: A suite of compiler-related methods based on symbolic range analysis, a well-known static technique, to achieve two purposes: populate source code with data transfer primitives and to disambiguate pointers that could hinder automatic parallelization due to aliasing.
43
Automatic Insertion of Copy Annotation in Data-Parallel Programs
Gleison Souza Diniz Mendonca,Breno Campos Ferreira Guimaraes,Péricles Alves,Fernando Magno Quintão Pereira,Marcio Machado Pereira,Guido Araujo +5 more
- 01 Oct 2016
TL;DR: A static program analysis is introduced that infers the bounds of memory regions referenced in source code that allow us to automatically insert data-transfer primitives, which are needed when the parallelized code is meant to be executed in an accelerator device, such as a GPU.
16
Generation of in-bounds inputs for arrays in memory-unsafe languages
Marcus Rodrigues,Breno Campos Ferreira Guimaraes,Fernando Magno Quintão Pereira +2 more
- 16 Feb 2019
TL;DR: A technique to generate in-bounds inputs for arrays used in memory-unsafe programming languages, such as C and C++ and how symbolic range analysis can be used to establish contracts between the arguments of a function and the arrays used within that function is presented.
5
More than meets the eye: invisible instructions
Guilherme Vieira Leobas,Breno Campos Ferreira Guimaraes,Fernando Magno Quintão Pereira +2 more
- 20 Sep 2018
TL;DR: The notion of invisible instructions, which are present in the binary but are not visible in the program's compiler-generated intermediate representation, are introduced and it is shown that for some instruction types, up to 36% of their occurrences on average are invisible.
4