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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 10.04.2026

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