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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 27.08.2023

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