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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 29.11.2021

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