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 Fabrice Rastello Leonardo Barbosa CANESCHE, MICHAEL Sylvain Collange Renato Antonio Celso Ferreira Wagner Meira Junior Igor Rafael Assis Costa Breno Campos Ferreira Guimarães Gleison Souza Leonardo Barbosa e Oliveira BORIN, EDSON Pericles Rafael Oliveira Alves Raphael Ernani Rodrigues Victor Sperle Campos Douglas do Couto Bruno Rocha Coutinho PACHECO, VINÍCIUS Leandro T C Melo ARANHA, DIEGO F. GONNORD, LAURE DA SILVA, ANDERSON FAUSTINO SIRAICHI, MARCOS YUKIO Bruno Rodrigues Silva COLLANGE, SYLVAIN Gabriel Silva Quadros André Luiz Camargos Tavares Michael Frank Rodrigo Geraldo Ribeiro MAALEJ, MAROUA PAISANTE, VITOR OTTONI, GUILHERME Vladimir Oliveira de Iorio HOLMQUIST, ALEXANDER Kezia Andrade RIMSA, ANDREI RODRIGUES, RAPHAEL E. GAMATIÉ, ABDOULAYE SANTOS, VINÍCIUS FERNANDES DOS Henrique Nazaré Santos Rafael Martins de Sousa Britaldo Silveira Soares-Filho Bruno Morais Ferreira da Mata, Leonardo Luiz Padovani Leonardo Barbosa Oliveira Márcio Pereira Christophe Guillon RAPOSO, CAIO Tarsila Bessa Marcos Rodrigo Sol Souza Marcelo D'Amorim Maria Augusta Vieira Nelson FAUSTINO DA SILVA, ANDERSON Andrei Alves Rimsa Kécia Marques Eduardo Magno Lages Figueiredo NAZARÉ SANTOS, HENRIQUE ARAUJO, GUIDO ALVES, PÉRICLES RAFAEL Daniel Berlin Jonathan K. Lee RAMOS, PEDRO MOREIRA, RUBENS E. A. Wagner Salazar Pires Hermann Rodrigues FAUSTINO, ANDERSON PARANAIBA VILELA NETO, OMAR LIU, JIE DAMÁSIO, THAÍS Cristiano Gato de Rezende Leonardo Trivelato Rolla RAFAEL ALVES, PÉRICLES SOARES, LUIGI Mateus Tymburibá RODRIGUES, BRUNO Rubens Emílio PETRUCCI, VINICIUS ALVES, PÉRICLES R.O. Frederico Ferreira Campos filho Junio Cezar LIAO, CHUNHUA Francisco Demontie MISOCZKI, RAFAEL ZAFRA SAGGIORO, LUIZ FELIPE AMARAL, JOSÉ NELSON BARBOSA, LEONARDO TEIXEIRA, FERNANDO A. POESIA, GABRIEL COLLANGE, CAROLINE Hugo Sousa GUIMARÃES, BRENO BARBOSA OLIVEIRA, LEONARDO Matheus Silva Vilela MENDONÇA, GLEISON GAMATIE, ABDOULAYE DA SILVA, JUNIO CEZAR RIBEIRO Eduardo Lage Figueiredo DO ROSARIO, VANDERSON MARTINS DA SILVA, JUNIO CEZAR R. DE LIMA, BERNARDO N. B. LI, XINLIANG DAVID BORGES, FABIO GRIEBLER, DALVAN MOREIRA, RUBENS E.A. Luiz Chaimowicz FAÉ, LEONARDO G. Guido Araújo Anderson Faustino da Silva Antonio Alfredo Ferreira Loureiro HOFFMANN, RENATO B. Cristiano Maciel da Silva Charles Ferreira Gonçalves CASTRILLON, JERONIMO Pedro Góes Philip Brisk ROCHA, RODRIGO Thiago Vilela RIBEIRO, RODRIGO GERALDO Rodrigo Rocha Sebastian Hack NOGUEIRA, MICHELE VIEIRA, MARCOS A. Abdoulaye Gamatié Pedro Ramos AUGUSTO, KAEL SOARES Pedro Henrique Quintão Pereira Steven Blackburn Michel Steuwer DA SILVA COSTA, LUCAS VICTOR Quentin Colombet Jingling Xue SUMITANI, RAFAEL FONTES FRENOT, LEON MELO, LEANDRO Madan Musuvathi SILVA, LUCAS EMANUEL, VITOR MAIA, ANTONIO SUMITANI, RAFAEL Marcus Rodrigues BARBOSA E OLIVEIRA, LEONARDO BOTACIN, MARCUS MACHADO, GUSTAVO V. CAMPOS FERREIRA GUIMARÃES, BRENO Wendell Figueiredo Taveira DAMASIO, THAIS ERNANI RODRIGUES, RAPHEL CAMPOS, FREDERICO F. KIND, BRUNO SPERLE CAMPOS, VICTOR HUGO MENDES PAISANTE, VITOR Ricardo Ferreira COELHO, JOAO ROSARIO, VANDERSON M. KIND, CECÍLIA Venkata Krishna Nandivada NAPOLI, OTÁVIO OLIVEIRA Antonio Maia ROSÁRIO, VANDERSON QUEIROZ, NILTON LUIZ SILVA, ANDERSON FAUSTINO DA NÁPOLI, OTÁVIO TYMBURIBÁ, MATEUS MAGALHÃES, JOSÉ WESLEY DE SOUZA Diego Aranha RAMOS, VINÍCIUS JULIÃO NETO, OMAR P. VILELA GOES, FABRÍCIO WU, MIN Rodrigo Lima Carceroni MOREIRA, ANGÉLICA APARECIDA Tobias Grosser LEÃO, LORENA SOARES-FILHO, BRITALDO SILVEIRA SIMÕES, CELSO Alexandros Labrineas ÁLVARES, ANDREI RIMSA LÚCIO, FLÁVIO Johannes Doerfert VLADAMANI, SRINIVAS Fabian Gruber BARBOSA, HANIEL JULIÃO, VINÍCIUS SAFFRAN, JOÃO Lucas Bragança Leonardo Rodrigues Ribeiro FERREIRA GUIMARAES, BRENO CAMPOS ROCHA, JERONIMO NUNES DE SOUZA MAGALHAES, JOSE WESLEY Guilherme Leobas KIND, BRUNO CONDE NACIF, JOSÉ NELSON AMARAL, JOSÉ WONG, HAO CHI ROHOU, ERVEN LEAO, LORENA MELO, LEANDRO T. C. VIEIRA LEOBAS, GUILHERME DA SILVA, JUNIO C. R. WANGHAM, MICHELLE CEZAR, JUNIO ZANELLA, ANDRÉ FELIPE BORGES, FÁBIO LIMA, CAIO PEREIRA, MARCIO MENDONÇA, GLEISON SOUZA DINIZ SOUSA, RAFAEL Vitor Mendes Paisante LEOBAS, GUILHERME VIEIRA SANTOS, WILLER FERREIRA, BRUNO MORAIS MAFFRA, IZABELA NOGUEIRA, JOSÉ M. S. DE ARAÚJO, MARCUS R. MAGALHÃES, JOSÉ WESLEY DE S NAZARÉ, HENRIQUE RIBEIRO, RODRIGO G. GUIMARÃES, BRENO C F NOGUEIRA, JOSÉ M.S. GÓES, LUÍS F.W. TYMBURIBA, MATEUS WONG, HAO-CHI POUSA, CHRISTIANE ROCHA, RODRIGO C.O. GUIMARAES, BRENO FERRACIOLI, FABRÍCIO RODRIGUES, MARCUS Pablo Marcondes SANTOS, HENRIQUE N. Gustavo Vieira PICCOLI, GUILHERME QUINTÃO, PEDRO PETRUCCI, VINÍCIUS Benoit Boissinot GULL, CHRISTOPHER NOVAES, MARCELO Hao Chi Wong ARAÚJO, GUIDO Fernando Teixeira ALVES, PÉRICLES José Marcos Nogueira Izabela Kareninna MARCOS SILVA NOGUEIRA, JOSE José Nacif LEMOS MAIA NETO, ANTONIO Guilherme Balena CHI WONG, HAO Jerônimo C Penha NACIF, JOSÉ AUGUSTO MARCONDES FONSECA, PABLO GUIMARÃES, BRENO C. F. MENEZES VIEIRA, GUSTAVO LEOBAS, GUILHERME V. TERRA CUNHA MELO, LEANDRO AUGUSTO TEIXEIRA, FERNANDO LEOBAS, GUILHERME Mario Marcelo Berón DE SOUSA, RAFAEL MARTINS SOUZA, GLEISON MILANEZ, TEO Norma Beatriz Perez FERREIRA, RICARDO D'AMORIM, MARCELO Pedro Caldeira PEREIRA, MARCIO MACHADO Elie Gideon SOUSA, RAFAEL CARDOSO FERNANDES Teo Milanez
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