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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 05.12.2022

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
Numero de Citações: Não informado

Fator H: Não informado

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