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 Leonardo Barbosa e Oliveira Fabrice Rastello Gleison Souza COLLANGE, SYLVAIN Pericles Rafael Oliveira Alves Bruno Rodrigues Silva Raphael Ernani Rodrigues Victor Sperle Campos Douglas do Couto Bruno Rocha Coutinho ARANHA, DIEGO F. GONNORD, LAURE RODRIGUES, RAPHAEL E. Henrique Nazaré Santos Rafael Martins de Sousa Britaldo Silveira Soares-Filho Bruno Morais Ferreira Gabriel Silva Quadros André Luiz Camargos Tavares Michael Frank Breno Campos Ferreira Guimarães MAALEJ, MAROUA PAISANTE, VITOR Vladimir Oliveira de Iorio Leandro T C Melo Kezia Andrade Leonardo Luiz Padovani da Mata Francisco Demontie ZAFRA SAGGIORO, LUIZ FELIPE TEIXEIRA, FERNANDO A. SIRAICHI, MARCOS YUKIO BARBOSA, LEONARDO BARBOSA OLIVEIRA, LEONARDO Wagner Salazar Pires GAMATIÉ, ABDOULAYE Leonardo Barbosa Oliveira Hugo Sousa Matheus Silva Vilela ARAUJO, GUIDO Junio Cezar RAMOS, PEDRO Hermann Rodrigues Christophe Guillon LIU, JIE Márcio Pereira Marcos Rodrigo Sol Souza Marcelo D'Amorim Andrei Alves Rimsa Tarsila Bessa Maria Augusta Vieira Nelson Kécia Marques Daniel Berlin Eduardo Magno Lages Figueiredo Jonathan K. Lee Marcus Rodrigues Rodrigo Geraldo Ribeiro NAZARÉ SANTOS, HENRIQUE ALVES, PÉRICLES RAFAEL Cristiano Gato de Rezende Leonardo Trivelato Rolla MOREIRA, RUBENS E. A. PARANAIBA VILELA NETO, OMAR RODRIGUES, BRUNO GUIMARÃES, BRENO RAFAEL ALVES, PÉRICLES MISOCZKI, RAFAEL MENDONÇA, GLEISON Mateus Tymburibá Rubens Emílio ALVES, PÉRICLES R.O. antonio maia Vitor Mendes Paisante Pablo Marcondes MENEZES VIEIRA, GUSTAVO Gustavo Vieira AUGUSTO TEIXEIRA, FERNANDO NOGUEIRA, JOSÉ M. S. DE SOUSA, RAFAEL MARTINS WONG, HAO CHI SANTOS, VINÍCIUS FERNANDES DOS MACHADO, GUSTAVO V. Jose Marcos Silva Nogueira D'AMORIM, MARCELO RIMSA, ANDREI BORIN, EDSON LEMOS MAIA NETO, ANTONIO POUSA, CHRISTIANE TERRA CUNHA MELO, LEANDRO TYMBURIBA, MATEUS SANTOS, HENRIQUE N. MILANEZ, TEO GUIMARAES, BRENO PICCOLI, GUILHERME Pedro Caldeira RODRIGUES, MARCUS Benoit Boissinot Mario Marcelo Berón Teo Milanez PETRUCCI, VINÍCIUS Norma Beatriz Perez Hao Chi Wong NOVAES, MARCELO Fernando Teixeira Luiz Chaimowicz Elie Gideon Izabela Kareninna Charles Ferreira Gonçalves José Nacif Eduardo Lage Figueiredo Jerônimo C Penha Guilherme Balena SOARES-FILHO, BRITALDO SILVEIRA GUIMARÃES, BRENO C. F. LEOBAS, GUILHERME V. NOGUEIRA, MICHELE LEOBAS, GUILHERME SOUZA, GLEISON Pedro Ramos GAMATIE, ABDOULAYE DA SILVA, JUNIO CEZAR RIBEIRO Thiago Vilela Ricardo Ferreira PEREIRA, MARCIO MACHADO Antonio Alfredo Ferreira Loureiro SOUSA, RAFAEL CARDOSO FERNANDES DA SILVA, JUNIO CEZAR R. Quentin Colombet BORGES, FABIO NETO, OMAR P. VILELA MOREIRA, RUBENS E.A. WU, MIN Guido Araújo Pedro Góes Cristiano Maciel da Silva Rodrigo Rocha Philip Brisk Sebastian Hack Pedro Henrique Quintão Pereira Abdoulaye Gamatié MELO, LEANDRO MAIA, ANTONIO Wendell Figueiredo Taveira GÓES, LUÍS F.W. Venkata Krishna Nandivada ROCHA, RODRIGO C.O. PEREIRA, MARCIO SOUSA, RAFAEL Rodrigo Lima Carceroni LEOBAS, GUILHERME VIEIRA SPERLE CAMPOS, VICTOR HUGO FERREIRA, BRUNO MORAIS DE ARAÚJO, MARCUS R. RIBEIRO, RODRIGO G. MELO, LEANDRO T. C. TYMBURIBÁ, MATEUS FERRACIOLI, FABRÍCIO Diego Aranha POESIA, GABRIEL Lucas Bragança NACIF, JOSÉ QUINTÃO, PEDRO Tobias Grosser GULL, CHRISTOPHER Alexandros Labrineas WANGHAM, MICHELLE ARAÚJO, GUIDO Johannes Doerfert BORGES, FÁBIO ALVES, PÉRICLES Fabian Gruber Leonardo Rodrigues Ribeiro BARBOSA E OLIVEIRA, LEONARDO SANTOS, WILLER ERNANI RODRIGUES, RAPHEL MAFFRA, IZABELA MENDES PAISANTE, VITOR NAZARÉ, HENRIQUE MARCOS SILVA NOGUEIRA, JOSE NOGUEIRA, JOSÉ M.S. CHI WONG, HAO Frederico Ferreira Campos filho WONG, HAO-CHI MARCONDES FONSECA, PABLO
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