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

Última atualização do Lattes: 29.07.2018

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