Fernando Magno Quintão Pereira http://lattes.cnpq.br/4608001746330875

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 08.08.2025

Nomes de citação: 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
  • Software (18)+
    • Ano
      2023
      Título
      Nisse: Profiler de Programas em LLVM
    • Ano
      2023
      Título
      Biblioteca para síntese de funções hash
    • Ano
      2019
      Título
      The AnghaBench Collection of Compilable Benchmarks
    • Ano
      2019
      Título
      Artifato para avaliação do compilador Enfield
    • Ano
      2018
      Título
      Taskminer
    • Ano
      2018
      Título
      Enfield
    • Ano
      2016
      Título
      DawnCC
    • Ano
      2016
      Título
      Function call re-vectorizer
    • Ano
      2016
      Título
      Psyche-c
    • Ano
      2015
      Título
      FlowTracker
    • Ano
      2009
      Título
      Register Allocation by Puzzle solving
    • Ano
      2008
      Título
      Wave Propagation and Deep Propagation for Pointer Analysis
    • Ano
      2003
      Título
      cFleo
    • Ano
      2003
      Título
      Arcademis
    • Ano
      2003
      Título
      RME: RMI for J2ME
    • Ano
      2002
      Título
      Implementação de PeerSpaces
    • Ano
      2002
      Título
      Simulador de Algoritmos Distribuídos em PeerSpaces
    • Ano
      2001
      Título
      Gerador de Interpretadores
  • Trabalho Técnico (33)+
    • Ano
      2025
      Título
      Membro do Comitê de Programa do 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2025)
    • Ano
      2025
      Título
      Membro do comitê de programa da 29ª edição do Simpósio Brasileiro de Linguagens de Programação
    • Ano
      2024
      Título
      Membro do Comitê de Programa de PACT
    • Ano
      2024
      Título
      Membro do Comitê de Programa de Computing Frontiers
    • Ano
      2024
      Título
      Membro do Comitê de Programa da Conference on Software Language Engineering
    • Ano
      2024
      Título
      Membro do Comitê de Programa do SBLP
    • Ano
      2023
      Título
      Programação Funcional em Python
    • Ano
      2022
      Título
      Membro do Comitê de Programa do International Symposium on Compiler Construction
    • Ano
      2022
      Título
      Membro do Comitê de Programa do Concurso de Teses e Dissertações da SBC
    • Ano
      2022
      Título
      Membro do Comitê de Programa de PACT
    • Ano
      2022
      Título
      Membro do Comitê de Programa do Simpósio Brasileiro de Linguagens de Programação
    • Ano
      2022
      Título
      Membro do Comitê de Programa CGO
    • Ano
      2021
      Título
      Membro de comitê de Programa PACT
    • Ano
      2021
      Título
      Membro do Comitê de Programa do SBSeg
    • Ano
      2021
      Título
      Membro do Comitê de Programa do SBLP
    • Ano
      2021
      Título
      Membro do Comitê de Programa do Workshop on Virtual Machines and Language Implementations (VMIL)
    • Ano
      2020
      Título
      Membro do comitê de programa do International Sympoisum on Compiler Construction
    • Ano
      2020
      Título
      Membro do comitê de programa do International Symposium on Code Generation and Optimization 2021
    • Ano
      2020
      Título
      Membro do comitê de programa de ECOOP 2021
    • Ano
      2020
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2019
      Título
      Membro do comitê de programa de PACT
    • Ano
      2019
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2018
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2017
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2012
      Título
      Introdução à Programação para a Plataforma Android
    • Ano
      2003
      Título
      Arcademis: um Arcabouço para o Desenvolvimento de Middleware
    • Ano
      2003
      Título
      A Three Layer view of Arcademis
    • Ano
      2003
      Título
      Arcademis: a Java-Based Framework for Middleware Development
    • Ano
      2003
      Título
      Uma Comparação entre Formalismos Utilizados para Especificações Semânticas
    • Ano
      2001
      Título
      Avaliação Parcial de Programas Usando CMIX/II
    • Ano
      2001
      Título
      Implementação de um Gerador de Interpretadores de Uso Geral
    • Ano
      2001
      Título
      Compilação de um programa escrito em linguagem qualquer para Haskell
    • Ano
      2001
      Título
      A Simulator for Ad Hoc Mobile Distributed Systems
Roberto da Silva Bigonha Mariza A S Bigonha Marco Tulio de Oliveira Valente Jens Palsberg Diogo Nunes Sampaio Mariza de Andrade da Silva Bigonha Sylvain Collange Fabrice Rastello Leonardo Barbosa CANESCHE, MICHAEL Renato Antonio Celso Ferreira Wagner Meira Junior Igor Rafael Assis Costa Breno Campos Ferreira Guimarães Gleison Souza Leonardo Barbosa e Oliveira BORIN, EDSON Bruno Rocha Coutinho Leandro T C Melo PACHECO, VINÍCIUS DA SILVA, ANDERSON FAUSTINO ARANHA, DIEGO F. GONNORD, LAURE Bruno Rodrigues Silva SIRAICHI, MARCOS YUKIO Pericles Rafael Oliveira Alves Raphael Ernani Rodrigues Victor Sperle Campos COLLANGE, SYLVAIN Douglas do Couto Rodrigo Geraldo Ribeiro MAALEJ, MAROUA PAISANTE, VITOR André Luiz Camargos Tavares HOLMQUIST, ALEXANDER Kezia Andrade Vladimir Oliveira de Iorio RIMSA, ANDREI RODRIGUES, RAPHAEL E. GAMATIÉ, ABDOULAYE Henrique Nazaré Santos Rafael Martins de Sousa Britaldo Silveira Soares-Filho Bruno Morais Ferreira OTTONI, GUILHERME SANTOS, VINÍCIUS FERNANDES DOS Gabriel Silva Quadros Michael Frank da Mata, Leonardo Luiz Padovani RAPOSO, CAIO FAUSTINO DA SILVA, ANDERSON NAZARÉ SANTOS, HENRIQUE Leonardo Barbosa Oliveira ALVES, PÉRICLES RAFAEL Christophe Guillon MOREIRA, RUBENS E. A. PARANAIBA VILELA NETO, OMAR FAUSTINO, ANDERSON Marcos Rodrigo Sol Souza Marcelo D'Amorim DAMÁSIO, THAÍS Andrei Alves Rimsa RAFAEL ALVES, PÉRICLES ARAUJO, GUIDO Daniel Berlin SOARES, LUIGI Jonathan K. Lee Mateus Tymburibá Rubens Emílio RAMOS, PEDRO Wagner Salazar Pires ALVES, PÉRICLES R.O. Hermann Rodrigues PETRUCCI, VINICIUS Frederico Ferreira Campos filho Junio Cezar LIU, JIE Cristiano Gato de Rezende Francisco Demontie Leonardo Trivelato Rolla ZAFRA SAGGIORO, LUIZ FELIPE LIAO, CHUNHUA AMARAL, JOSÉ NELSON BARBOSA, LEONARDO RODRIGUES, BRUNO POESIA, GABRIEL Maria Augusta Vieira Nelson Kécia Marques Hugo Sousa MISOCZKI, RAFAEL Matheus Silva Vilela GUIMARÃES, BRENO Eduardo Magno Lages Figueiredo MENDONÇA, GLEISON TEIXEIRA, FERNANDO A. GAMATIE, ABDOULAYE DA SILVA, JUNIO CEZAR RIBEIRO COLLANGE, CAROLINE BARBOSA OLIVEIRA, LEONARDO Márcio Pereira Tarsila Bessa FERREIRA, RICARDO AUGUSTO, KAEL SOARES MELO, LEANDRO Pedro Caldeira MAIA, ANTONIO FRENOT, LEON Teo Milanez EMANUEL, VITOR Marcus Rodrigues DE LIMA, BERNARDO N. B. BOTACIN, MARCUS CAMPOS FERREIRA GUIMARÃES, BRENO SPERLE CAMPOS, VICTOR HUGO Luiz Chaimowicz DAMASIO, THAIS Antonio Alfredo Ferreira Loureiro KIND, BRUNO Charles Ferreira Gonçalves COELHO, JOAO ROCHA, RODRIGO KIND, CECÍLIA TYMBURIBÁ, MATEUS NOGUEIRA, MICHELE ROSÁRIO, VANDERSON Diego Aranha Pedro Ramos NÁPOLI, OTÁVIO DA SILVA COSTA, LUCAS VICTOR SUMITANI, RAFAEL FONTES GOES, FABRÍCIO Tobias Grosser SILVA, LUCAS Alexandros Labrineas SUMITANI, RAFAEL SIMÕES, CELSO Johannes Doerfert BARBOSA E OLIVEIRA, LEONARDO LÚCIO, FLÁVIO Fabian Gruber MACHADO, GUSTAVO V. JULIÃO, VINÍCIUS Leonardo Rodrigues Ribeiro CAMPOS, FREDERICO F. Ricardo Ferreira FERREIRA GUIMARAES, BRENO CAMPOS Venkata Krishna Nandivada ROCHA, JERONIMO NUNES Antonio Maia DE SOUZA MAGALHAES, JOSE WESLEY Guilherme Leobas SILVA, ANDERSON FAUSTINO DA KIND, BRUNO CONDE NELSON AMARAL, JOSÉ ROHOU, ERVEN NETO, OMAR P. VILELA LEAO, LORENA Rodrigo Lima Carceroni VIEIRA LEOBAS, GUILHERME WU, MIN DA SILVA, JUNIO C. R. CEZAR, JUNIO SOARES-FILHO, BRITALDO SILVEIRA ZANELLA, ANDRÉ FELIPE LIMA, CAIO Vitor Mendes Paisante PEREIRA, MARCIO MENDONÇA, GLEISON SOUZA DINIZ SOUSA, RAFAEL NOGUEIRA, JOSÉ M. S. LEOBAS, GUILHERME VIEIRA Anderson Faustino da Silva FERREIRA, BRUNO MORAIS Cristiano Maciel da Silva Lucas Bragança DE ARAÚJO, MARCUS R. Philip Brisk MAGALHÃES, JOSÉ WESLEY DE S POUSA, CHRISTIANE RIBEIRO, RODRIGO G. Sebastian Hack GUIMARÃES, BRENO C F GÓES, LUÍS F.W. ROCHA, RODRIGO C.O. Abdoulaye Gamatié TYMBURIBA, MATEUS NACIF, JOSÉ SANTOS, HENRIQUE N. FERRACIOLI, FABRÍCIO Steven Blackburn GUIMARAES, BRENO WONG, HAO CHI PICCOLI, GUILHERME Michel Steuwer RODRIGUES, MARCUS MELO, LEANDRO T. C. Benoit Boissinot QUINTÃO, PEDRO Jingling Xue WANGHAM, MICHELLE Hao Chi Wong GULL, CHRISTOPHER Madan Musuvathi PETRUCCI, VINÍCIUS BORGES, FÁBIO Fernando Teixeira ARAÚJO, GUIDO NOVAES, MARCELO Izabela Kareninna ALVES, PÉRICLES José Nacif Guilherme Balena Wendell Figueiredo Taveira Jerônimo C Penha SANTOS, WILLER MARCOS SILVA NOGUEIRA, JOSE ERNANI RODRIGUES, RAPHEL GUIMARÃES, BRENO C. F. MAFFRA, IZABELA CHI WONG, HAO MENDES PAISANTE, VITOR LEOBAS, GUILHERME V. NAZARÉ, HENRIQUE MARCONDES FONSECA, PABLO ROSARIO, VANDERSON M. LEOBAS, GUILHERME NOGUEIRA, JOSÉ M.S. WONG, HAO-CHI Mario Marcelo Berón MENEZES VIEIRA, GUSTAVO NAPOLI, OTÁVIO OLIVEIRA SOUZA, GLEISON Norma Beatriz Perez AUGUSTO TEIXEIRA, FERNANDO QUEIROZ, NILTON LUIZ Pablo Marcondes DE SOUSA, RAFAEL MARTINS MAGALHÃES, JOSÉ WESLEY DE SOUZA Gustavo Vieira RAMOS, VINÍCIUS JULIÃO PEREIRA, MARCIO MACHADO Elie Gideon D'AMORIM, MARCELO SOUSA, RAFAEL CARDOSO FERNANDES Eduardo Lage Figueiredo MOREIRA, ANGÉLICA APARECIDA DA SILVA, JUNIO CEZAR R. LEÃO, LORENA BORGES, FABIO José Marcos Nogueira DO ROSARIO, VANDERSON MARTINS ÁLVARES, ANDREI RIMSA MOREIRA, RUBENS E.A. LI, XINLIANG DAVID VLADAMANI, SRINIVAS Guido Araújo LEMOS MAIA NETO, ANTONIO GRIEBLER, DALVAN BARBOSA, HANIEL NACIF, JOSÉ AUGUSTO FAÉ, LEONARDO G. SAFFRAN, JOÃO Pedro Góes Thiago Vilela HOFFMANN, RENATO B. Rodrigo Rocha TERRA CUNHA MELO, LEANDRO CASTRILLON, JERONIMO RIBEIRO, RODRIGO GERALDO Pedro Henrique Quintão Pereira MILANEZ, TEO Quentin Colombet VIEIRA, MARCOS A.
Compiler Static Analysis compilador GPU CUDA Security Java Just-in-time compilation Android Alocação de Registradores Análise estática Software Security dynamic analysis Energy Profiling Linguagens de Programação Linguagem de programação LLVM Automatic Code Generation Segurança Range Analysis Pointer Analysis Parallelism Code Optimization performance Arquitetura Heterogênea Optimization benchmark Register allocation Programming Language Haskell machine learning OpenACC Mobile Computing PeerSpaces Tainted variable attack Paralelização automática Middleware Sistemas distribuídos Teoria dos Grafos Otimização object-oriented Divergence Analysis Framework JavaScript Return Oriented Programming code specialization Remote Method Invocation Distributed System Information flow Coordination Type Inference Type System Invocação Remota de Métodos Computação Móvel geomodeling Pointer Disambiguation DINAMICA EGO Buffer Overflow Dynamic Languages Functional Programming Complexity analysis Distributed Algorithm padrões de projeto Side channel Static Single Assignment Form ROP Sistema de Tipos Alias Analysis Virtual Machine Ad Hoc network Trace Compilation measurement J2ME Plataforma de middleware script OpenMP Clonagem criptografia Cálculo Numérico Program Synthesis Elixir Quantic Computing LLM Address Leak Testing Automatic Parallelization Conference Overflow elimination carreira L-System Programação funcional Vectorization Programação CBSoft Optional typing Autômatos Finitos Determinísticos Embedded Device Python computer network Referential Transparency fractal Termination Detection avaliação parcial Configuration parameters PHP OpenGL Denotational Semantics Semântica Operacional Instruction Set Aprendizado de máquina Stream programming Garbage Collection Asymptotic Complexity Memory allocation Bounds Checks Puzzle Solving CMIX Semântica Denotacional FPGA hardware Quantum computing theory Análise de apontadores Espaço de Tuplas SBLP Qubit Allocation Graph NUMA Concurso Architecture obfuscation SIMD Inlining Memoization Não-terminação Data flow analysis Binary optimization SBMF Linguagem formal Scheduling metamorfismo algorithm Data protection Arcabouço Map-Reduce Statistical Regression Valgrind Prova formal flex Coherence Loop optimization Coordenação Arquitetura peer-to-peer Interpretador Interpreter CLDC Visualization Register Coalescing Localizacao Lattice prediction Intermediate Program Representation yacc Dependence Graph Desempenho Nvidia Abstraction synchronization SBES Tuple Space Tuple Spaces Lindenmayer Grammar Inference Intel PIN Programmability Polynomial Interpolation Plant rendering Silent Store Vírus de Computador Máquinas abstratas Middleware architecture Geographic inclusion Botanic lex Linguagem Funcional Access policy Java RMI Linda Tactics smartphone Language recognition Otimização de Código Dependent Types autômatos finitos Operating System Simulador Offloading análise de complexidade Theorem Convolution Kotlin ISPC Inclusion SBCars review middleware platforms CMIX/II Análise Dinâmica Integer Linear Programming cryptography Fuzzing Invocação Remota de Método formal verification algoritmo Finance Chair Simpósio DISSERTAÇÃO Static Single Information Form GPS FlowTracker Qubit profiler Repository DVFS Fluxo de informação Redes ad-hoc simulator Semantics pi-calculus Hash Middleware systems UFRGS Array ARM Domain specific language Semiring Dynamic Dispatch Ubiquitous computing Estágio Programming Languages kernel Scratchpad Teste de Software DOUTORADO SANDUICHE Computer Architecture Program slice Solar convection Processing-in-Memory análise de algoritmos Programação orientada a objetos natural language processing SSI Function call Distributed Systems Orientação por Objetos Algoritmo Distribuído Geração automática de código Chamada assíncrona Software Engineering Fortran Emulation telefonia móvel Evaluation Pi-Cálculo Simulation peer-to-peer Tecnologia pesquisa Estrutura de Dados diversity Congresso tese Token Swapping Parsing register Complexidade Computacional espaços métricos Verilog Mobile Systems Ad-hoc network mobility Geração de Código Arrays Hardware performance counters Design pattern Pattern mining Constraint Programming Malware Refactoring big.LITTLE Infinite text Profissão Static Assignment Form Kernel fusion
CTIT UFMG