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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 29.11.2021

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 / PEREIRA, FERNANDO M Q / QUINTAO, FERNANDO MAGNO / QUINTÃO, FERNANDO MAGNO / QUINAO PEREIRA, FERNANDO MAGNO / PEREIRA, FERNANDO MAGNO QUINTAN
Numero de Citações: Não informado

Fator H: Não informado

Mestrado: 30
Doutorado: 5
Pos-Doutorado: 0
Outras: 30
  • Software (16)+
    • Ano
      2019
      Título
      The AnghaBench Collection of Compilable Benchmarks
    • Ano
      2019
      Título
      Artifato para avaliação do compilador Enfield
    • 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 (21)+
    • Ano
      2021
      Título
      Membro de comitê de Programa PACT
    • Ano
      2021
      Título
      Membro do Comitê de Programa do SBSeg
    • Ano
      2021
      Título
      Membro do Comitê de Programa do SBLP
    • Ano
      2021
      Título
      Membro do Comitê de Programa do Workshop on Virtual Machines and Language Implementations (VMIL)
    • Ano
      2020
      Título
      Membro do comitê de programa do International Sympoisum on Compiler Construction
    • Ano
      2020
      Título
      Membro do comitê de programa do International Symposium on Code Generation and Optimization 2021
    • Ano
      2020
      Título
      Membro do comitê de programa de ECOOP 2021
    • Ano
      2020
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2019
      Título
      Membro do comitê de programa de PACT
    • Ano
      2019
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2018
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2017
      Título
      Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP)
    • Ano
      2012
      Título
      Introdução à Programação para a Plataforma Android
    • 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
      2003
      Título
      Uma Comparação entre Formalismos Utilizados para Especificações Semânticas
    • 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 Renato Antonio Celso Ferreira Wagner Meira Junior Igor Rafael Assis Costa Fabrice Rastello Breno Campos Ferreira Guimarães Gleison Souza Leonardo Barbosa e Oliveira Raphael Ernani Rodrigues Victor Sperle Campos Douglas do Couto Bruno Rocha Coutinho ARANHA, DIEGO F. Leandro T C Melo GONNORD, LAURE SIRAICHI, MARCOS YUKIO COLLANGE, SYLVAIN Bruno Rodrigues Silva Pericles Rafael Oliveira Alves Bruno Morais Ferreira Gabriel Silva Quadros Michael Frank André Luiz Camargos Tavares Rodrigo Geraldo Ribeiro MAALEJ, MAROUA PAISANTE, VITOR Vladimir Oliveira de Iorio Kezia Andrade RIMSA, ANDREI DA SILVA, ANDERSON FAUSTINO RODRIGUES, RAPHAEL E. SANTOS, VINÍCIUS FERNANDES DOS GAMATIÉ, ABDOULAYE Henrique Nazaré Santos Rafael Martins de Sousa Britaldo Silveira Soares-Filho Leonardo Luiz Padovani da Mata POESIA, GABRIEL Márcio Pereira Junio Cezar GUIMARÃES, BRENO MENDONÇA, GLEISON Tarsila Bessa Christophe Guillon Marcos Rodrigo Sol Souza RAMOS, PEDRO Marcelo D'Amorim Andrei Alves Rimsa NAZARÉ SANTOS, HENRIQUE ALVES, PÉRICLES RAFAEL Daniel Berlin Jonathan K. Lee Hermann Rodrigues MOREIRA, RUBENS E. A. Wagner Salazar Pires LIU, JIE PARANAIBA VILELA NETO, OMAR Cristiano Gato de Rezende Leonardo Trivelato Rolla RAFAEL ALVES, PÉRICLES Mateus Tymburibá Rubens Emílio PETRUCCI, VINICIUS ALVES, PÉRICLES R.O. MISOCZKI, RAFAEL Maria Augusta Vieira Nelson Francisco Demontie Kécia Marques ZAFRA SAGGIORO, LUIZ FELIPE Eduardo Magno Lages Figueiredo AMARAL, JOSÉ NELSON TEIXEIRA, FERNANDO A. BARBOSA, LEONARDO BORIN, EDSON COLLANGE, CAROLINE BARBOSA OLIVEIRA, LEONARDO Matheus Silva Vilela Hugo Sousa Leonardo Barbosa Oliveira GAMATIE, ABDOULAYE RODRIGUES, BRUNO DA SILVA, JUNIO CEZAR RIBEIRO ARAUJO, GUIDO Luiz Chaimowicz SOUSA, RAFAEL CARDOSO FERNANDES FERRACIOLI, FABRÍCIO Lucas Bragança DA SILVA, JUNIO CEZAR R. ROCHA, RODRIGO BORGES, FABIO NACIF, JOSÉ MOREIRA, RUBENS E.A. QUINTÃO, PEDRO Pedro Ramos Guido Araújo GULL, CHRISTOPHER RIBEIRO, RODRIGO G. ARAÚJO, GUIDO Pedro Góes ALVES, PÉRICLES Thiago Vilela Rodrigo Rocha Ricardo Ferreira DE LIMA, BERNARDO N. B. Pedro Henrique Quintão Pereira MARCOS SILVA NOGUEIRA, JOSE Quentin Colombet SOARES-FILHO, BRITALDO SILVEIRA CHI WONG, HAO Antonio Alfredo Ferreira Loureiro MELO, LEANDRO MARCONDES FONSECA, PABLO BARBOSA E OLIVEIRA, LEONARDO MAIA, ANTONIO AUGUSTO TEIXEIRA, FERNANDO MACHADO, GUSTAVO V. DE SOUSA, RAFAEL MARTINS Marcus Rodrigues D'AMORIM, MARCELO WONG, HAO CHI NOGUEIRA, MICHELE Charles Ferreira Gonçalves MELO, LEANDRO T. C. SPERLE CAMPOS, VICTOR HUGO ROSÁRIO, VANDERSON SILVA, ANDERSON FAUSTINO DA NÁPOLI, OTÁVIO FAUSTINO, ANDERSON Venkata Krishna Nandivada NETO, OMAR P. VILELA GOES, FABRÍCIO WU, MIN TYMBURIBÁ, MATEUS PACHECO, VINÍCIUS Diego Aranha DAMÁSIO, THAÍS SIMÕES, CELSO LÚCIO, FLÁVIO Rodrigo Lima Carceroni Tobias Grosser HOLMQUIST, ALEXANDER Alexandros Labrineas JULIÃO, VINÍCIUS Johannes Doerfert SOARES, LUIGI Fabian Gruber FERREIRA GUIMARAES, BRENO CAMPOS Leonardo Rodrigues Ribeiro ROCHA, JERONIMO NUNES DE SOUZA MAGALHAES, JOSE WESLEY KIND, BRUNO CONDE Anderson Faustino da Silva WANGHAM, MICHELLE Cristiano Maciel da Silva LEAO, LORENA BORGES, FÁBIO Philip Brisk Sebastian Hack DA SILVA, JUNIO C. R. Abdoulaye Gamatié Frederico Ferreira Campos filho ZANELLA, ANDRÉ FELIPE LIAO, CHUNHUA SANTOS, WILLER MENDONÇA, GLEISON SOUZA DINIZ MAFFRA, IZABELA Vitor Mendes Paisante NAZARÉ, HENRIQUE Wendell Figueiredo Taveira NOGUEIRA, JOSÉ M.S. ERNANI RODRIGUES, RAPHEL NOGUEIRA, JOSÉ M. S. MENDES PAISANTE, VITOR MAGALHÃES, JOSÉ WESLEY DE S Pablo Marcondes OTTONI, GUILHERME Gustavo Vieira MOREIRA, ANGÉLICA APARECIDA POUSA, CHRISTIANE LEÃO, LORENA GUIMARÃES, BRENO C F ÁLVARES, ANDREI RIMSA SANTOS, HENRIQUE N. TYMBURIBA, MATEUS VLADAMANI, SRINIVAS PICCOLI, GUILHERME Jose Marcos Silva Nogueira GUIMARAES, BRENO BARBOSA, HANIEL Benoit Boissinot RODRIGUES, MARCUS SAFFRAN, JOÃO Fernando Teixeira LEMOS MAIA NETO, ANTONIO Guilherme Leobas Izabela Kareninna TERRA CUNHA MELO, LEANDRO PETRUCCI, VINÍCIUS NOVAES, MARCELO NELSON AMARAL, JOSÉ ROHOU, ERVEN Guilherme Balena MILANEZ, TEO Pedro Caldeira José Nacif VIEIRA LEOBAS, GUILHERME Jerônimo C Penha CEZAR, JUNIO Teo Milanez GUIMARÃES, BRENO C. F. LIMA, CAIO Antonio Maia LEOBAS, GUILHERME V. PEREIRA, MARCIO Hao Chi Wong LEOBAS, GUILHERME SOUSA, RAFAEL Mario Marcelo Berón SOUZA, GLEISON LEOBAS, GUILHERME VIEIRA Norma Beatriz Perez FERREIRA, BRUNO MORAIS DE ARAÚJO, MARCUS R. Elie Gideon WONG, HAO-CHI GÓES, LUÍS F.W. Eduardo Lage Figueiredo MENEZES VIEIRA, GUSTAVO PEREIRA, MARCIO MACHADO ROCHA, RODRIGO C.O.
Compiler Static Analysis Compilador GPU CUDA Security Java Just-in-time compilation Android Análise estática Alocacao de Registradores dynamic analysis Energy Range Analysis Segurança Pointer Analysis Profiling LLVM performance Arquitetura Heterogênea Code Optimization benchmark Optimization OpenACC Automatic Code Generation Haskell mobile computing Register allocation middleware Paralelização automática Otimização Tainted variable attack PeerSpaces Teoria dos grafos Software Security Sistemas Distribuidos Parallelism Divergence Analysis JavaScript code specialization Return Oriented Programming Linguagem de programação Distributed System Remote Method Invocation Framework Programming Language Invocação Remota de Métodos distributed algorithm object-oriented Pointer Disambiguation Information flow Dynamic Languages geomodeling Padrões de Projeto Coordination machine learning buffer overflow DINAMICA EGO computacao movel Virtual Machine Trace Compilation Ad Hoc network measurement Type Inference J2ME Plataforma de middleware Type System Sistema de Tipos Linguagens de Programação Quantic Computing Script Alias Analysis ROP OpenMP Static Single Assignment Form Cálculo Numérico criptografia Automatic Parallelization Clonagem Address Leak Php Instruction Set Termination Detection computer network Semântica Denotacional Espaço de Tuplas Bounds Checks CBSoft SIMD Autômatos Finitos Determinísticos OpenGL Configuration parameters Denotational Semantics Vectorization CMIX Puzzle Solving L-System Carreira Semântica Operacional Concurso Stream programming SBLP Qubit Allocation Referential Transparency Inlining testing FPGA Overflow elimination hardware Análise de apontadores fractal Não-terminação Architecture Quantum computing Memory allocation avaliação parcial NUMA Optional typing Complexity analysis Functional Programming Register Coalescing Integer linear programming análise de complexidade Offloading Operating System Data flow analysis Análise Dinâmica CMIX/II Simulador middleware platforms SBCars metamorfismo Prova formal Binary optimization Desempenho Nvidia Abstraction Coherence synchronization Scheduling Dependence Graph Map-Reduce prediction Intermediate Program Representation Program Synthesis Valgrind localização Statistical Regression Redes ad-hoc ISPC lex Java RMI Tuple Space Tuple Spaces Lindenmayer Tactics autômatos finitos arcabouço Linguagem formal SBMF flex yacc Visualization Interpreter Interpretador Botanic SBES Side channel Smartphone Linda Plant rendering Polynomial Interpolation Programmability Embedded Device Intel PIN Silent Store Vírus de Computador Access policy otimização de código Linguagem Funcional Middleware architecture Máquinas abstratas Arquitetura peer-to-peer Simulator Doutorado sanduiche Programming Languages DVFS geracao de codigo Mobility Ad-hoc network Mobile Systems Array Fluxo de informação espaços métricos análise de algoritmos Complexidade computacional Register Arrays Hardware performance counters Profissão Estágio Ubiquitous computing Processing-in-Memory Programação orientada a objetos Middleware systems natural language processing Teste de Software dissertação SIMPÓSIO Scratchpad algoritmo ARM Domain specific language Semiring FlowTracker Qubit Dynamic Dispatch Infinite text big.LITTLE Refactoring Estrutura de Dados Pesquisa Tecnologia Invocação Remota de Método peer-to-peer Simulation Function call cryptography CLDC Elixir Loop optimization Asymptotic Complexity Garbage Collection Coordenação pi-calculus Congresso Tese Malware GPS parsing Aprendizado de Máquina Static Single Information Form Emulation Chamada assíncrona Repository Geração automática de código formal verification Algoritmo Distribuído orientacao por objetos Distributed Systems telefonia móvel Pi-Cálculo semantics
CTIT UFMG