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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 29.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 CANESCHE, MICHAEL Diogo Nunes Sampaio Mariza de Andrade da Silva Bigonha DA SILVA, ANDERSON FAUSTINO Leonardo Barbosa Sylvain Collange Fabrice Rastello Wagner Meira Junior Renato Antonio Celso Ferreira Igor Rafael Assis Costa Gleison Souza Leonardo Barbosa e Oliveira BORIN, EDSON Breno Campos Ferreira Guimarães GONNORD, LAURE RIMSA, ANDREI SIRAICHI, MARCOS YUKIO COLLANGE, SYLVAIN Bruno Rodrigues Silva Pericles Rafael Oliveira Alves Raphael Ernani Rodrigues Victor Sperle Campos Douglas do Couto Bruno Rocha Coutinho ARANHA, DIEGO F. PACHECO, VINÍCIUS Leandro T C Melo Kezia Andrade AMARAL, JOSÉ NELSON RODRIGUES, RAPHAEL E. SANTOS, VINÍCIUS FERNANDES DOS GAMATIÉ, ABDOULAYE Henrique Nazaré Santos Rafael Martins de Sousa Britaldo Silveira Soares-Filho Bruno Morais Ferreira Gabriel Silva Quadros Michael Frank André Luiz Camargos Tavares Rodrigo Geraldo Ribeiro OTTONI, GUILHERME MAALEJ, MAROUA PAISANTE, VITOR Vladimir Oliveira de Iorio HOLMQUIST, ALEXANDER Leonardo Luiz Padovani da Mata Mateus Tymburibá Rubens Emílio PETRUCCI, VINICIUS MISOCZKI, RAFAEL ALVES, PÉRICLES R.O. Frederico Ferreira Campos filho Junio Cezar LIAO, CHUNHUA Francisco Demontie ZAFRA SAGGIORO, LUIZ FELIPE POESIA, GABRIEL TEIXEIRA, FERNANDO A. BARBOSA, LEONARDO COLLANGE, CAROLINE GUIMARÃES, BRENO MENDONÇA, GLEISON BARBOSA OLIVEIRA, LEONARDO Hugo Sousa Matheus Silva Vilela Maria Augusta Vieira Nelson Kécia Marques Eduardo Magno Lages Figueiredo GAMATIE, ABDOULAYE Leonardo Barbosa Oliveira DA SILVA, JUNIO CEZAR RIBEIRO RODRIGUES, BRUNO ARAUJO, GUIDO Márcio Pereira CASTRILLON, JERONIMO Christophe Guillon RAMOS, PEDRO Tarsila Bessa RAPOSO, CAIO Marcos Rodrigo Sol Souza Marcelo D'Amorim FAUSTINO DA SILVA, ANDERSON Andrei Alves Rimsa NAZARÉ SANTOS, HENRIQUE Hermann Rodrigues Daniel Berlin ALVES, PÉRICLES RAFAEL Jonathan K. Lee LIU, JIE Wagner Salazar Pires MOREIRA, RUBENS E. A. FAUSTINO, ANDERSON PARANAIBA VILELA NETO, OMAR SUMITANI, RAFAEL Cristiano Gato de Rezende DAMÁSIO, THAÍS Leonardo Trivelato Rolla RAFAEL ALVES, PÉRICLES SOARES, LUIGI Lucas Bragança Leonardo Rodrigues Ribeiro FERREIRA GUIMARAES, BRENO CAMPOS ROCHA, JERONIMO NUNES NACIF, JOSÉ PEREIRA, MARCIO DE SOUZA MAGALHAES, JOSE WESLEY KIND, BRUNO CONDE WANGHAM, MICHELLE SOUSA, RAFAEL BORGES, FÁBIO LEOBAS, GUILHERME VIEIRA LEAO, LORENA FERREIRA, BRUNO MORAIS DA SILVA, JUNIO C. R. DE ARAÚJO, MARCUS R. ZANELLA, ANDRÉ FELIPE SANTOS, WILLER RIBEIRO, RODRIGO G. MAFFRA, IZABELA GÓES, LUÍS F.W. MENDONÇA, GLEISON SOUZA DINIZ NAZARÉ, HENRIQUE ROCHA, RODRIGO C.O. NOGUEIRA, JOSÉ M.S. FERRACIOLI, FABRÍCIO Vitor Mendes Paisante WONG, HAO-CHI QUINTÃO, PEDRO NOGUEIRA, JOSÉ M. S. MAGALHÃES, JOSÉ WESLEY DE S Pablo Marcondes GULL, CHRISTOPHER GUIMARÃES, BRENO C F ARAÚJO, GUIDO TYMBURIBA, MATEUS ALVES, PÉRICLES POUSA, CHRISTIANE GUIMARAES, BRENO SANTOS, HENRIQUE N. RODRIGUES, MARCUS Anderson Faustino da Silva José Marcos Nogueira PICCOLI, GUILHERME Cristiano Maciel da Silva MARCOS SILVA NOGUEIRA, JOSE Benoit Boissinot PETRUCCI, VINÍCIUS Philip Brisk LEMOS MAIA NETO, ANTONIO CHI WONG, HAO Hao Chi Wong NOVAES, MARCELO Sebastian Hack NACIF, JOSÉ AUGUSTO MARCONDES FONSECA, PABLO Fernando Teixeira Abdoulaye Gamatié MENEZES VIEIRA, GUSTAVO Izabela Kareninna Steven Blackburn TERRA CUNHA MELO, LEANDRO AUGUSTO TEIXEIRA, FERNANDO Michel Steuwer DE SOUSA, RAFAEL MARTINS Guilherme Balena Jingling Xue José Nacif MILANEZ, TEO D'AMORIM, MARCELO Madan Musuvathi Jerônimo C Penha FERREIRA, RICARDO GUIMARÃES, BRENO C. F. Pedro Caldeira Charles Ferreira Gonçalves LEOBAS, GUILHERME V. Teo Milanez LEOBAS, GUILHERME DE LIMA, BERNARDO N. B. SANTANA, CAMILO Mario Marcelo Berón Wendell Figueiredo Taveira SOUZA, GLEISON SELIAYEU, DANILA Norma Beatriz Perez ERNANI RODRIGUES, RAPHEL ANDRADE ANANIAS, KAIO HENRIQUE MENDES PAISANTE, VITOR DE MEDEIROS, SÉRGIO QUEIROZ CREPALDE, MIRLAINE PEREIRA, MARCIO MACHADO Luiz Chaimowicz NOGUEIRA, MARCELO BORGES Elie Gideon MACIEL, RAISSA SOUSA, RAFAEL CARDOSO FERNANDES Antonio Alfredo Ferreira Loureiro DO ROSARIO, VANDERSON MARTINS Eduardo Lage Figueiredo GOMES, LUIZA DE MELO DA SILVA, JUNIO CEZAR R. ROCHA, RODRIGO LI, XINLIANG DAVID VIEIRA, JOÃO VICTOR AMORIM BORGES, FABIO Pedro Ramos GRIEBLER, DALVAN KIND, CECÍLIA CONDE MOREIRA, RUBENS E.A. Guido Araújo FAÉ, LEONARDO G. UPADRASTA, RAMAKRISHNA CAMPOS, FREDERICO F. HOFFMANN, RENATO B. KALYANASUNDARAM, SUBRAHMANYAM Pedro Góes Ricardo Ferreira P. S., RAGHUL Rodrigo Rocha BARBOSA E OLIVEIRA, LEONARDO RIBEIRO, RODRIGO GERALDO Thiago Vilela ANDALURI, YASHAS MACHADO, GUSTAVO V. VIEIRA, MARCOS A. DEY, SAYAN Pedro Henrique Quintão Pereira AUGUSTO, KAEL SOARES BANERJEE, SOUMYA MAFRA, AUGUSTO Quentin Colombet VENKATAKEERTHY, S. MELO, LEANDRO WONG, HAO CHI FRENOT, LEON MOREIRA, ANGÉLICA FRÖHLICH, ELISA MAIA, ANTONIO NOGUEIRA, MICHELE EMANUEL, VITOR ROSARIO, VANDERSON M. NAPOLI, OTÁVIO OLIVEIRA Marcus Rodrigues MELO, LEANDRO T. C. BOTACIN, MARCUS QUEIROZ, NILTON LUIZ SILVA, ANDERSON FAUSTINO DA CAMPOS FERREIRA GUIMARÃES, BRENO MAGALHÃES, JOSÉ WESLEY DE SOUZA DAMASIO, THAIS RAMOS, VINÍCIUS JULIÃO Antonio Maia KIND, BRUNO SPERLE CAMPOS, VICTOR HUGO NETO, OMAR P. VILELA COELHO, JOAO Venkata Krishna Nandivada MOREIRA, ANGÉLICA APARECIDA WU, MIN KIND, CECÍLIA LEÃO, LORENA ROSÁRIO, VANDERSON ÁLVARES, ANDREI RIMSA DA SILVA COSTA, LUCAS VICTOR NÁPOLI, OTÁVIO VLADAMANI, SRINIVAS TYMBURIBÁ, MATEUS SUMITANI, RAFAEL FONTES BARBOSA, HANIEL Diego Aranha SILVA, LUCAS GOES, FABRÍCIO Rodrigo Lima Carceroni SAFFRAN, JOÃO Guilherme Leobas Gustavo Vieira NELSON AMARAL, JOSÉ Tobias Grosser SOARES-FILHO, BRITALDO SILVEIRA SIMÕES, CELSO ROHOU, ERVEN Alexandros Labrineas LÚCIO, FLÁVIO VIEIRA LEOBAS, GUILHERME Johannes Doerfert CEZAR, JUNIO Fabian Gruber JULIÃO, VINÍCIUS LIMA, CAIO
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 Verilog Segurança Linguagem de programação Pointer Analysis Range Analysis LLVM Parallelism Machine Learning Program Synthesis performance Arquitetura Heterogênea Code Optimization Divergence Analysis Haskell Sistemas Distribuidos Register allocation OpenACC Mobile Computing Middleware Paralelização automática Tainted variable attack Teoria dos Grafos PeerSpaces object-oriented Otimização Elixir Remote Method Invocation Framework Distributed System Return Oriented Programming JavaScript code specialization Distributed Algorithm Type Inference geomodeling Dynamic Languages Information flow Vectorization Pointer Disambiguation padrões de projeto script Buffer Overflow Invocação Remota de Métodos DINAMICA EGO Complexity analysis Coordination Functional Programming Type System Computação móvel Alias Analysis Testing Trace Compilation Virtual Machine Fuzzing measurement fractal J2ME LLM Sistema de Tipos Plataforma de middleware Side channel Automatic Parallelization Ad Hoc network Quantic Computing OpenMP ROP Address Leak Clonagem Cálculo Numérico BPF criptografia Static Single Assignment Form Concurso Semântica Denotacional Embedded Device Python OpenGL computer network Programação funcional Conference Denotational Semantics Semântica Operacional aprendizado de máquina Garbage Collection Asymptotic Complexity CMIX Instruction Set Binary optimization Puzzle Solving PHP Termination Detection Configuration parameters profiler Bounds Checks L-System carreira Programação Autômatos Finitos Determinísticos CBSoft 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