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

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