Fernando Magno Quintão Pereira


Bolsa de Produtividade CNPq: 2

Áreas de Pesquisa: Formação Acadêmica:

Doutor, University of California Los Angeles, EUA, 2008

Sala: 7322
Ramal: 5587
fernando@dcc.ufmg.br

Página pessoal     Lattes    Google scholar 


Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 21/04/2022

ORCID: https://orcid.org/0000-0002-0375-1657

Nome em citações bibliográficas: PEREIRA, Fernando Magno Quintão;Pereira, Fernando Magno Quintão;QUINTAO PEREIRA, FERNANDO MAGNO;QUINTÃO PEREIRA, FERNANDO MAGNO;MAGNO QUINTÃO PEREIRA, FERNANDO;QUINTÃO PEREIRA, FERNANDO M.;MAGNO QUINTAO PEREIRA, FERNANDO;PEREIRA, FERNANDO M. Q.;PEREIRA, FERNANDO MAGNO QUINTAO;QUINTAO, FERNANDO MAGNO PEREIRA;PEREIRA, FERNANDO M.Q.;PEREIRA, FERNANDO MAGNO Q.;PEREIRA, FERNANDO MAGNO QUINTO;PEREIRA, FERNANDO;PEREIRA, FERNANDO M Q;QUINTAO, FERNANDO MAGNO;QUINTÃO, FERNANDO MAGNO;QUINAO PEREIRA, FERNANDO MAGNO;PEREIRA, FERNANDO MAGNO QUINTAN


Projetos de pesquisa em andamento

2019 a AtualGeração de Código Energeticamente Eficiente
O objetivo deste projeto é projetar, implementar e testar técnicas de compilação de código que reduzam o consumo energético de programas que executam em placas de dispositivos embarcados.
Integrantes: Fernando Magno Quintão Pereira (coordenador), Junio Cezar, Gleison Souza, SOARES, LUIGI.
2019 a AtualSíntese de Gramáticas para Geradores de Logs
O objetivo deste projeto é identificar uma linguagem que reconheça o formato de um arquivo de log, produzir uma gramática para este arquivo, e usar esta gramática para obfuscar informações sigilosas no log.
Integrantes: Fernando Magno Quintão Pereira (coordenador), SAFFRAN, JOÃO, BARBOSA, HANIEL.
2015 a AtualTeste Automático de Código Embarcado
Esta linha de pesquisa existe como decorrência de uma cooperação científica que o candidato vem criando com uma empresa do ramo de rastreamento de veículos, a Maxtrack. Esta empresa foi criada por empreendedores mineiros, e hoje é líder em seu mercado no Brasil, tendo já projetado, implementado e distribuído rastreadores para veículos automotores e trens de carga. O objetivo dessa cooperação científica é projetar, implementar e instalar serviços de teste de software que possam ser usados para ativar, de forma automática, potenciais falhas de segurança em código feito para sistemas embarcados.
Integrantes: Fernando Magno Quintão Pereira (coordenador), Francisco Demontie, Marcus Rodrigues.

Projetos de desenvolvimento em andamento

2010 a AtualDivergence Analysis in the Ocelot compiler
This project consists in the implementation of a divergence analysis to the Ocelot compiler. We have been able to submit more than 10,000 lines of code to this compiler, which is publicly available and widely used by the industry. See the compiler's webpage at http://code.google.com/p/gpuocelot/
Integrantes: Fernando Magno Quintão Pereira (coordenador), Diogo Nunes Sampaio, Sylvain Collange, Elie Gideon.
2010 a AtualCode Specialization in the Mozilla Firefox Browser
This project consists in the implementation of extensions to the Mozilla Firefox JavaScript compiler. These extensions allow the JavaScript compiler to produce better code given the values that are manipulated at runtime. Part of the code is currently available in the IonMonkey compiler that is part of the Mozilla Firefox browser.
Integrantes: Fernando Magno Quintão Pereira (coordenador), Igor Rafael Assis Costa, Pericles Rafael Oliveira Alves.
Veja todos os projetos no Currículo Lattes

Últimas publicações

Artigos em periódicos

VESPA: static profiling for binary optimization
2021. Proceedings of the ACM on Programming Languages.
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs
2021. ACM Transactions on Embedded Computing Systems.
Instruction visibility in SPEC CPU2017
2021. JOURNAL OF COMPUTER LANGUAGES.
On-line synthesis of parsers for string events
2021. Journal of Computer Languages.
Semiring optimizations: dynamic elision of expressions with identity and absorbing elements
2020. ACM on Programming Languages.
Dynamic dispatch of context-sensitive optimizations
2020. ACM on Programming Languages.
Type Inference for C: Applications to the Static Analysis of Incomplete Programs
2020. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS.
Practical dynamic reconstruction of control flow graphs
2020. SOFTWARE-PRACTICE & EXPERIENCE.
Guided just-in-time specialization
2019. SCIENCE OF COMPUTER PROGRAMMING.
Qubit allocation as a combination of subgraph isomorphism and token swapping
2019. Proceedings of the ACM on Programming Languages.
Data-flow analysis and optimization for data coherence in heterogeneous architectures
2019. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING.
The computer for the 21st century: present security & privacy challenges
2018. JOURNAL OF INTERNET SERVICES AND APPLICATIONS.
Automatic parallelization of recursive functions with rewriting rules
2018. SCIENCE OF COMPUTER PROGRAMMING.
The Dinamica EGO virtual machine
2018. SCIENCE OF COMPUTER PROGRAMMING.
Static Prediction of Silent Stores
2018. ACM Transactions on Architecture and Code Optimization.
Arcademis: a Framework for Object Oriented Communication Middleware Development.
2006. Software, Practice & Experience.

Trabalhos completos em congressos

A polynomial time exact solution to the bit-aware register binding problem
2022. CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction.
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure
2021. SBLP'21: 25th Brazilian Symposium on Programming Languages.
Inlining for Code Size Reduction
2021. SBLP'21: 25th Brazilian Symposium on Programming Languages.
Hapi: A Domain-Specific Language for the Declaration of Access Policies
2021. SBLP'21: 25th Brazilian Symposium on Programming Languages.
Memory-Safe Elimination of Side Channels
2021. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction
2021. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Exploring the space of optimization sequences for code-size reduction: insights and tools
2021. CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction.
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs
2020. 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC).
YACOS
2020. SBLP '20: 24th Brazilian Symposium on Programming Languages.
AutoParBench
2020. ICS '20: 2020 International Conference on Supercomputing.
Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages
2019. 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Efficient and Precise Dynamic Construction of Control Flow Graphs
2019. the XXIII Brazilian Symposium.
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware
2019. 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories
2019. the XXIII Brazilian Symposium.
Modelo Multicamadas para Detecção de Ataques ROP
2018. XVIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.
From Java to FPGA: an Experience with the Intel HARP System
2018. 30th International Symposium on Computer. Architecture and High Performance Computing.
More than meets the eye
2018. the XXII Brazilian Symposium.
Taskminer
2018. the XXII Brazilian Symposium.
A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems
2018. 2018 13th International Symposium on Reconfigurable Communicationcentric SystemsonChip (ReCoSoC).
Qubit allocation
2018. the 2018 International Symposium.
Register Allocation by Puzzle Solving
2008. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI).
A Framework for End-to-End Verification and Evaluation of Register Allocators.
2007. The Fourteenth International Static Analysis Symposium (SAS 2007).
Register Allocation After Classical SSA Elimination is NP-Complete.
2006. Foundations of Software Science and Computation Structures.
Register Allocation via Coloring of Chordal Graphs.
2005. The Third Asian Symposium on Programming Languages and Systems..

Resumos expandidos em congressos

Compiler-assisted adaptive program scheduling in big.LITTLE systems
2019. the 24th Symposium.
RipRop: A Dynamic Detector of ROP Attacks
2015. CBSoft Tools.
FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo
2015. CBSoft Tools.
Etino: Colocação Automática de Computação em Hardware Heterogêneo
2015. CBSoft Tools.
Asymptus - A Tool for Automatic Inference of Loop Complexity
2015. CBSoft Tools.

Resumos em congressos

Paralelización del D-Index para Búsquedas en Espacios Métricos
2012. Workshop de Investigadores en Ciencias de la Computación.

Veja todas as publicações no Currículo Lattes

Orientações em andamento

Mestrado

Thaís Regina Damásio. Inlining for Code-Size Reduction. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Vinícius Silva Pacheco. An eBPF Back-End for the Elixir Programming Language. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Breno Ferreira Campos Guimarães. Synthesis of Benchmarks from Open Source Repositories. Início: 2018. Universidade Federal de Minas Gerais (Orientador principal)

Doutorado

Michael Canesche. A Polynomial Time Exact Solution to the Bitwidth-Aware Register Biding Problem. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Angélica Aparecida Moreira. Linearização de Programas Guiada por Profiling. Início: 2019. Universidade Federal de Minas Gerais (Orientador principal)

Veja todas as orientações no Currículo Lattes

Acesso rápido

Skip to content