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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 05.12.2022

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