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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 13.04.2019

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

Fator H: Não informado

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