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

Bolsista de Produtividade do CNPq Nível 2

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