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

Bolsista de Produtividade do CNPq Nível 2

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