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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 21.02.2024

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