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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 01.06.2020

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
  • Software (15)+
    • Ano
      2019
      Título
      The AnghaBench Collection of Compilable Benchmarks
    • Ano
      2018
      Título
      Taskminer
    • Ano
      2018
      Título
      Enfield
    • Ano
      2016
      Título
      DawnCC
    • Ano
      2016
      Título
      Psyche-c
    • Ano
      2016
      Título
      Function call re-vectorizer
    • 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 (9)+
    • Ano
      2012
      Título
      Introdução à Programação para a Plataforma Android
    • Ano
      2003
      Título
      Uma Comparação entre Formalismos Utilizados para Especificações Semânticas
    • Ano
      2003
      Título
      Arcademis: um Arcabouço para o Desenvolvimento de Middleware
    • Ano
      2003
      Título
      Arcademis: a Java-Based Framework for Middleware Development
    • Ano
      2003
      Título
      A Three Layer view of Arcademis
    • 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 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 GONNORD, LAURE COLLANGE, SYLVAIN Bruno Rodrigues Silva Pericles Rafael Oliveira Alves Raphael Ernani Rodrigues Victor Sperle Campos ARANHA, DIEGO F. Douglas do Couto Breno Campos Ferreira Guimarães Bruno Rocha Coutinho Kezia Andrade RODRIGUES, RAPHAEL E. SIRAICHI, MARCOS YUKIO Henrique Nazaré Santos Rafael Martins de Sousa Britaldo Silveira Soares-Filho Bruno Morais Ferreira Gabriel Silva Quadros Michael Frank André Luiz Camargos Tavares MAALEJ, MAROUA PAISANTE, VITOR Leandro T C Melo Vladimir Oliveira de Iorio Leonardo Luiz Padovani da Mata RODRIGUES, BRUNO ALVES, PÉRICLES R.O. Francisco Demontie MISOCZKI, RAFAEL ZAFRA SAGGIORO, LUIZ FELIPE Cristiano Gato de Rezende Leonardo Trivelato Rolla BARBOSA, LEONARDO RIMSA, ANDREI MAGALHÃES, JOSÉ WESLEY DE S TEIXEIRA, FERNANDO A. Leonardo Barbosa Oliveira GAMATIÉ, ABDOULAYE SANTOS, VINÍCIUS FERNANDES DOS BARBOSA OLIVEIRA, LEONARDO Hugo Sousa Matheus Silva Vilela ARAUJO, GUIDO Maria Augusta Vieira Nelson Kécia Marques Eduardo Magno Lages Figueiredo Márcio Pereira Junio Cezar RAMOS, PEDRO Tarsila Bessa Christophe Guillon Hermann Rodrigues Marcus Rodrigues LIU, JIE Rodrigo Geraldo Ribeiro NAZARÉ SANTOS, HENRIQUE Marcos Rodrigo Sol Souza ALVES, PÉRICLES RAFAEL Marcelo D'Amorim Andrei Alves Rimsa MOREIRA, RUBENS E. A. Daniel Berlin Jonathan K. Lee GUIMARÃES, BRENO MENDONÇA, GLEISON PARANAIBA VILELA NETO, OMAR Wagner Salazar Pires RAFAEL ALVES, PÉRICLES Mateus Tymburibá Rubens Emílio D'AMORIM, MARCELO MACHADO, GUSTAVO V. WANGHAM, MICHELLE Frederico Ferreira Campos filho BORGES, FÁBIO Charles Ferreira Gonçalves Rodrigo Lima Carceroni Vitor Mendes Paisante SANTOS, WILLER MAFFRA, IZABELA NOGUEIRA, JOSÉ M. S. NAZARÉ, HENRIQUE AMARAL, JOSÉ NELSON NOGUEIRA, JOSÉ M.S. BORIN, EDSON WONG, HAO-CHI DA SILVA, ANDERSON FAUSTINO POUSA, CHRISTIANE antonio maia GUIMARÃES, BRENO C F SANTOS, HENRIQUE N. Pablo Marcondes TYMBURIBA, MATEUS PICCOLI, GUILHERME Gustavo Vieira GUIMARAES, BRENO Benoit Boissinot COLLANGE, CAROLINE RODRIGUES, MARCUS Hao Chi Wong PETRUCCI, VINÍCIUS Fernando Teixeira Jose Marcos Silva Nogueira NOVAES, MARCELO Izabela Kareninna José Nacif LEMOS MAIA NETO, ANTONIO Jerônimo C Penha Guilherme Balena TERRA CUNHA MELO, LEANDRO GUIMARÃES, BRENO C. F. MILANEZ, TEO LEOBAS, GUILHERME V. Bruno Conde Kind Pedro Caldeira LEOBAS, GUILHERME Anderson Faustino da Silva SOUZA, GLEISON Cristiano Maciel da Silva Teo Milanez GAMATIE, ABDOULAYE Philip Brisk SOARES-FILHO, BRITALDO SILVEIRA DA SILVA, JUNIO CEZAR RIBEIRO Sebastian Hack Mario Marcelo Berón Abdoulaye Gamatié NETO, OMAR P. VILELA PEREIRA, MARCIO MACHADO Norma Beatriz Perez Luiz Chaimowicz SOUSA, RAFAEL CARDOSO FERNANDES Ricardo Ferreira DA SILVA, JUNIO CEZAR R. Elie Gideon Antonio Alfredo Ferreira Loureiro BORGES, FABIO Eduardo Lage Figueiredo Wendell Figueiredo Taveira Lucas Bragança MOREIRA, RUBENS E.A. Guido Araújo ROHOU, ERVEN Pedro Ramos VIEIRA LEOBAS, GUILHERME Pedro Góes CEZAR, JUNIO Rodrigo Rocha LIMA, CAIO Thiago Vilela PEREIRA, MARCIO NOGUEIRA, MICHELE Pedro Henrique Quintão Pereira SOUSA, RAFAEL LEOBAS, GUILHERME VIEIRA FERREIRA, BRUNO MORAIS MELO, LEANDRO T. C. MELO, LEANDRO Quentin Colombet DE ARAÚJO, MARCUS R. WONG, HAO CHI MAIA, ANTONIO RIBEIRO, RODRIGO G. GÓES, LUÍS F.W. WU, MIN ROCHA, RODRIGO C.O. FERRACIOLI, FABRÍCIO POESIA, GABRIEL NACIF, JOSÉ SPERLE CAMPOS, VICTOR HUGO QUINTÃO, PEDRO GULL, CHRISTOPHER ARAÚJO, GUIDO ALVES, PÉRICLES TYMBURIBÁ, MATEUS Diego Aranha Venkata Krishna Nandivada BARBOSA E OLIVEIRA, LEONARDO ERNANI RODRIGUES, RAPHEL Tobias Grosser MENDES PAISANTE, VITOR Alexandros Labrineas MARCOS SILVA NOGUEIRA, JOSE Johannes Doerfert CHI WONG, HAO Fabian Gruber MARCONDES FONSECA, PABLO MENEZES VIEIRA, GUSTAVO Leonardo Rodrigues Ribeiro AUGUSTO TEIXEIRA, FERNANDO DE SOUSA, RAFAEL MARTINS
Compiler Static Analysis compilador GPU CUDA android Security Alocacao de Registradores Just-in-time compilation Análise estática Java dynamic analysis Pointer Analysis Energy Range Analysis Segurança performance Profiling OpenACC Optimization LLVM Arquitetura Heterogênea Haskell Mobile Computing Automatic Code Generation Tainted variable attack Teoria dos Grafos PeerSpaces Sistemas Distribuidos Register allocation Software Security otimização Paralelização automática middleware Divergence Analysis Remote Method Invocation Return Oriented Programming code specialization Parallelism Code Optimization Framework Distributed System JavaScript object-oriented Pointer Disambiguation Padrões de Projeto Distributed Algorithm Coordination computacao movel Dinâmica EGO Programming Language Information flow Invocação Remota de Métodos Buffer Overflow Dynamic Languages geomodeling Ad Hoc network Measurement Linguagem de programação Sistema de Tipos J2ME Plataforma de middleware benchmark Script Virtual Machine Trace Compilation criptografia Cálculo Numérico Static Single Assignment Form Clonagem Automatic Parallelization Alias Analysis machine learning Address Leak Quantic Computing OpenMP Termination Detection Instruction Set Configuration parameters ROP Denotational Semantics computer network OpenGL CBSoft Bounds Checks Php L-System Puzzle Solving CMIX Vectorization Autômatos Finitos Determinísticos Semântica Denotacional Memory allocation SBLP Qubit Allocation fractal testing FPGA SIMD Hardware Análise de apontadores Referential Transparency Espaço de Tuplas Não-terminação Architecture Quantum computing Avaliação parcial Stream programming Complexity analysis Type Inference Optional typing CONCURSO NUMA Overflow elimination Map-Reduce Prova formal flex Data flow analysis metamorfismo Integer Linear Programming Análise de Complexidade Offloading Operating System Interpreter prediction Intermediate Program Representation Dependence Graph Arquitetura peer-to-peer Localização Desempenho Visualization Interpretador Register Coalescing Abstraction Coherence yacc Scheduling Carreira Nvidia SBMF arcabouço Garbage Collection Tactics Tuple Space Intel PIN Tuple Spaces Plant rendering Java RMI lex otimização de código Botanic Silent Store Vírus de Computador SBES Middleware architecture Máquinas abstratas Lindenmayer Embedded Device Analise Dinamica Linguagem formal CMIX/II SIMULADOR Semântica Operacional middleware platforms SBCars Side channel autômatos finitos ISPC smartphone Linda Polynomial Interpolation Programmability Linguagem Funcional synchronization Processing-in-Memory Debugging Program Synthesis DOUTORADO SANDUICHE Middleware systems dissertação Simpósio algoritmo FlowTracker Qubit DVFS Type System geracao de codigo mobility natural language processing Teste de Software Scratchpad Fluxo de informação Redes ad-hoc Simulator semantics Invocação Remota de Método formal verification Static Single Information Form GPS análise de algoritmos Array pi-calculus Programming Languages Estágio Ubiquitous computing Ad-hoc network Mobile Systems espaços métricos Telefonia Móvel Distributed Systems Tese Congresso Linguagens de Programação Estrutura de Dados Pesquisa peer-to-peer Simulation CLDC cryptography Function call Loop optimization Asymptotic Complexity orientacao por objetos Pi-Cálculo Algoritmo Distribuído Complexidade Computacional Register Functional Programming Arrays Hardware performance counters profissão Refactoring Malware parsing Aprendizado de Máquina Emulation Chamada assíncrona Repository Geração automática de código Coordenação
CTIT UFMG