Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Breno Campos Ferreira Guimaraes"'
Autor:
Leandro T. C. Melo, Breno Campos Ferreira Guimaraes, Rodrigo Ribeiro, Fernando Magno Quintão Pereira
Publikováno v:
ACM Transactions on Programming Languages and Systems. 42:1-71
Type inference is a feature that is common to a variety of programming languages. While, in the past, it has been prominently present in functional ones (e.g., ML and Haskell), today, many object-oriented/multi-paradigm languages such as C# and C++ o
Autor:
Fernando Magno Quintão Pereira, José Wesley de Souza Magalhães, Anderson Faustino da Silva, Jerônimo Nunes Rocha, Bruno Conde Kind, Breno Campos Ferreira Guimaraes
Publikováno v:
CGO
A predictive compiler uses properties of a program to decide how to optimize it. The compiler is trained on a collection of programs to derive a model which determines its actions in face of unknown codes. One of the challenges of predictive compilat
Autor:
Gabriel Poesia, Breno Campos Ferreira Guimaraes, Fabrício Ferracioli, Fernando Magno Quintão Pereira
Publikováno v:
Proceedings of the ACM on Programming Languages. 1:1-28
Heterogeneous architectures characterize today hardware ranging from super-computers to smartphones. However, in spite of this importance, programming such systems is still challenging. In particular, it is challenging to map computations to the diff
Autor:
Guido Araujo, Marcio Machado Pereira, Breno Campos Ferreira Guimaraes, Péricles Alves, Gleison Souza Diniz Mendonca, Fernando Magno Quintão Pereira
Publikováno v:
ACM Transactions on Architecture and Code Optimization. 14:1-25
Directive-based programming models, such as OpenACC and OpenMP, allow developers to convert a sequential program into a parallel one with minimum human intervention. However, inserting pragmas into production code is a difficult and error-prone task,
Autor:
José Wesley de Souza Magalhães, Fernando Magno Quintão Pereira, Anderson Faustino da Silva, Breno Campos Ferreira Guimaraes
Publikováno v:
SBLP
Compilers are usually distributed with a test framework. This framework supports the task of tuning optimizations and static analyses. As an example, clang has a test suite that, in March 2019, counted 259 benchmarks. Although in principle a large co
Publikováno v:
SBLP
In modern software development, high-level languages are becoming progressively more feature-rich. The expressiveness and increased abstraction provided by these features allow programmers to be more productive and less concerned with low-level detai
Autor:
Péricles Alves, Gleison Souza Diniz Mendonca, Fernando Magno Quintão Pereira, Guido Araujo, Marcio Machado Pereira, Breno Campos Ferreira Guimaraes
Publikováno v:
SBAC-PAD
Directive-based programming models, such as OpenACC and OpenMP arise today as promising techniques to support the development of parallel applications. These systems allow developers to convert a sequential program into a parallel one with minimum hu