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

Bolsista de Produtividade do CNPq Nível 2

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