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

Bolsista de Produtividade do CNPq Nível 2

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