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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 09.11.2017

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.
  • Software (12)+
    • 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
      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 Mariza de Andrade da Silva Bigonha Diogo Nunes Sampaio Leonardo Barbosa Sylvain Collange Wagner Meira Junior Igor Rafael Assis Costa Gleison Souza Fabrice Rastello Renato Antonio Celso Ferreira Bruno Rocha Coutinho Douglas do Couto Bruno Rodrigues Silva Leonardo Barbosa e Oliveira Pericles Rafael Oliveira Alves GONNORD, LAURE Raphael Ernani Rodrigues Victor Sperle Campos André Luiz Camargos Tavares Gabriel Silva Quadros ARANHA, DIEGO F. Breno Campos Ferreira Guimarães Bruno Morais Ferreira Britaldo Silveira Soares-Filho RODRIGUES, RAPHAEL E. Kezia Andrade Leandro T C Melo COLLANGE, SYLVAIN Henrique Nazaré Santos Márcio Pereira Rafael Martins de Sousa PAISANTE, VITOR MAALEJ, MAROUA Vladimir Oliveira de Iorio da Mata, Leonardo Luiz Padovani Leonardo Trivelato Rolla Cristiano Gato de Rezende Andrei Alves Rimsa Marcos Rodrigo Sol Souza Hermann Rodrigues Marcelo D'Amorim Matheus Silva Vilela Leonardo Barbosa Oliveira Christophe Guillon Daniel Berlin Wagner Salazar Pires Jonathan K. Lee BARBOSA, LEONARDO Rubens Emílio RAFAEL ALVES, PÉRICLES BARBOSA OLIVEIRA, LEONARDO PARANAIBA VILELA NETO, OMAR Tarsila Bessa Guido Araújo MOREIRA, RUBENS E. A. NAZARÉ SANTOS, HENRIQUE Michael Frank ALVES, PÉRICLES RAFAEL Rodrigo Geraldo Ribeiro Maria Augusta Vieira Nelson TEIXEIRA, FERNANDO A. Kécia Marques Junio Cezar Eduardo Magno Lages Figueiredo GUIMARÃES, BRENO ZAFRA SAGGIORO, LUIZ FELIPE ALVES, PÉRICLES R.O. RODRIGUES, BRUNO Marcus Rodrigues Francisco Demontie Elie Gideon Norma Beatriz Perez Mario Marcelo Berón Teo Milanez TYMBURIBÁ, MATEUS Diego Aranha Antonio Alfredo Ferreira Loureiro Guilherme Balena Antônio Maia SPERLE CAMPOS, VICTOR HUGO POUSA, CHRISTIANE Eduardo Lage Figueiredo MOREIRA, RUBENS E.A. Pedro Góes Rodrigo Rocha Pedro Henrique Quintão Pereira NETO, OMAR P. VILELA Quentin Colombet MELO, LEANDRO MAIA, ANTONIO Thiago Vilela Tobias Grosser Alexandros Labrineas Vitor Mendes Paisante PICCOLI, GUILHERME NOGUEIRA, JOSÉ M. S. WONG, HAO CHI SANTOS, HENRIQUE N. MACHADO, GUSTAVO V. BORIN, EDSON NAZARÉ, HENRIQUE MAFFRA, IZABELA Benoit Boissinot Jose Marcos Silva Nogueira Frederico Ferreira Campos filho Johannes Doerfert Fabian Gruber Izabela Kareninna Leonardo Rodrigues Ribeiro Mateus Tymburibá Fernando Teixeira Gustavo Vieira Pablo Marcondes Hao Chi Wong SANTOS, WILLER RAMOS, PEDRO Cristiano Maciel da Silva MENDONÇA, GLEISON BARBOSA E OLIVEIRA, LEONARDO ERNANI RODRIGUES, RAPHEL MENDES PAISANTE, VITOR TERRA CUNHA MELO, LEANDRO LEMOS MAIA NETO, ANTONIO Venkata Krishna Nandivada MARCOS SILVA NOGUEIRA, JOSE CHI WONG, HAO MARCONDES FONSECA, PABLO ALVES, PÉRICLES ARAÚJO, GUIDO GULL, CHRISTOPHER Philip Brisk Sebastian Hack Rodrigo Lima Carceroni Wendell Figueiredo Taveira POESIA, GABRIEL NOGUEIRA, JOSÉ M.S. WONG, HAO-CHI NACIF, JOSÉ QUINTÃO, PEDRO MENEZES VIEIRA, GUSTAVO AUGUSTO TEIXEIRA, FERNANDO Charles Ferreira Gonçalves Luiz Chaimowicz Rafael Cardoso Fernando Sousa FERRACIOLI, FABRÍCIO DA SILVA, JUNIO CEZAR R. LIU, JIE BORGES, FABIO MISOCZKI, RAFAEL MILANEZ, TEO D'AMORIM, MARCELO RIMSA, ANDREI DE SOUSA, RAFAEL MARTINS
Compiler Static Analysis GPU compilador CUDA Análise estática Alocacao de Registradores Java Security Just-in-time compilation Android Pointer Analysis Dynamic Analysis Range Analysis performance Segurança Profiling OpenACC Haskell sistemas distribuidos teoria dos grafos middleware Tainted variable attack Divergence Analysis LLVM Otimização mobile computing Energy PeerSpaces Register allocation Automatic Code Generation Remote Method Invocation Framework Code Optimization Software Security Distributed System Optimization Return Oriented Programming Pointer Disambiguation object-oriented Invocação Remota de Métodos distributed algorithm Dynamic Languages Padrões de Projeto JavaScript code specialization Parallelism Information flow computação móvel buffer overflow Paralelização automática coordination Alias Analysis Trace Compilation Ad Hoc network J2ME Plataforma de middleware Script DINAMICA EGO Sistema de Tipos measurement Address Leak geomodeling Cálculo Numérico Automatic Parallelization criptografia Static Single Assignment Form Clonagem Arquitetura Heterogênea CBSoft Bounds Checks Termination Detection Espaço de Tuplas Denotational Semantics Php CMIX Puzzle Solving Linguagem de programação L-System Type Inference Autômatos Finitos Determinísticos Configuration parameters Vectorization OpenGL Optional typing SIMD NUMA Complexity analysis Stream programming Overflow elimination SBLP análise de apontadores hardware Virtual Machine fractal Não-terminação Semântica Denotacional concurso avaliacao parcial computer network Referential Transparency SIMULADOR Operating System SBCars Programmability Análise de Complexidade Análise Dinâmica CMIX/II localização middleware platforms Semântica Operacional Offloading Redes ad-hoc Fluxo de informação Intermediate Program Representation Dependence Graph desempenho Nvidia Abstraction Coherence carreira Map-Reduce Prova formal Metamorfismo Instruction Set Register Coalescing synchronization ISPC Tuple Space Tuple Spaces Lindenmayer Tactics Autômatos Finitos Linguagem formal arcabouço SBMF flex Visualization Interpreter Interpretador Botanic Java RMI lex Side channel Linda Plant rendering Polynomial Interpolation yacc Embedded Device Vírus de Computador otimização de código Linguagem Funcional Máquinas abstratas Middleware architecture SBES Arquitetura peer-to-peer Simulator dissertação estágio Programming Languages Array espaços métricos Complexidade Computacional Register Functional Programming OpenMP profissão Análise de algoritmos Refactoring Malware Architecture Mobile Systems Ad-hoc network algoritmo Programming Language Middleware systems Doutorado Sanduiche Quantic Computing FlowTracker teste de software natural language processing Scratchpad Simpósio geracao de codigo Mobility ROP Parsing Emulation simulation CLDC Function call Cryptography Static Single Information Form Testing Formal Verification Loop optimization Asymptotic Complexity coordenação Invocação Remota de Método pi-calculus peer-to-peer pesquisa Estrutura de dados Chamada assíncrona Type System Geração automática de código Algoritmo Distribuído Pi-Cálculo orientacao por objetos telefonia móvel distributed systems GPS linguagens de programação Congresso tese Semantics
CTIT UFMG