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 Leonardo Barbosa Sylvain Collange Renato Antonio Celso Ferreira Wagner Meira Junior Igor Rafael Assis Costa Fabrice Rastello Breno Campos Ferreira Guimarães Gleison Souza Leonardo Barbosa e Oliveira CANESCHE, MICHAEL Raphael Ernani Rodrigues Victor Sperle Campos Douglas do Couto Bruno Rodrigues Silva Bruno Rocha Coutinho Pericles Rafael Oliveira Alves Leandro T C Melo ARANHA, DIEGO F. GONNORD, LAURE SIRAICHI, MARCOS YUKIO DA SILVA, ANDERSON FAUSTINO COLLANGE, SYLVAIN BORIN, EDSON GAMATIÉ, ABDOULAYE Gabriel Silva Quadros André Luiz Camargos Tavares Henrique Nazaré Santos Rafael Martins de Sousa Britaldo Silveira Soares-Filho Bruno Morais Ferreira Michael Frank Vladimir Oliveira de Iorio Rodrigo Geraldo Ribeiro MAALEJ, MAROUA PAISANTE, VITOR PACHECO, VINÍCIUS HOLMQUIST, ALEXANDER OTTONI, GUILHERME Kezia Andrade SANTOS, VINÍCIUS FERNANDES DOS RIMSA, ANDREI RODRIGUES, RAPHAEL E. da Mata, Leonardo Luiz Padovani POESIA, GABRIEL Leonardo Barbosa Oliveira Hugo Sousa Matheus Silva Vilela GUIMARÃES, BRENO MENDONÇA, GLEISON Christophe Guillon GAMATIE, ABDOULAYE Marcos Rodrigo Sol Souza DA SILVA, JUNIO CEZAR RIBEIRO Marcelo D'Amorim ARAUJO, GUIDO Andrei Alves Rimsa RAMOS, PEDRO Hermann Rodrigues Daniel Berlin Jonathan K. Lee Márcio Pereira LIU, JIE RAPOSO, CAIO Wagner Salazar Pires Tarsila Bessa Cristiano Gato de Rezende Leonardo Trivelato Rolla Maria Augusta Vieira Nelson Kécia Marques NAZARÉ SANTOS, HENRIQUE Eduardo Magno Lages Figueiredo ALVES, PÉRICLES RAFAEL FAUSTINO, ANDERSON RODRIGUES, BRUNO MOREIRA, RUBENS E. A. DAMÁSIO, THAÍS PARANAIBA VILELA NETO, OMAR MISOCZKI, RAFAEL SOARES, LUIGI RAFAEL ALVES, PÉRICLES PETRUCCI, VINICIUS Mateus Tymburibá Rubens Emílio TEIXEIRA, FERNANDO A. LIAO, CHUNHUA ALVES, PÉRICLES R.O. COLLANGE, CAROLINE AMARAL, JOSÉ NELSON Frederico Ferreira Campos filho Junio Cezar Francisco Demontie ZAFRA SAGGIORO, LUIZ FELIPE BARBOSA OLIVEIRA, LEONARDO BARBOSA, LEONARDO DE LIMA, BERNARDO N. B. Benoit Boissinot FERRACIOLI, FABRÍCIO PETRUCCI, VINÍCIUS Hao Chi Wong NOVAES, MARCELO Fernando Teixeira QUINTÃO, PEDRO Luiz Chaimowicz Izabela Kareninna Thiago Vilela GULL, CHRISTOPHER José Nacif Ricardo Ferreira ARAÚJO, GUIDO Jerônimo C Penha Antonio Maia Guilherme Balena ALVES, PÉRICLES GUIMARÃES, BRENO C. F. Antonio Alfredo Ferreira Loureiro Quentin Colombet LEOBAS, GUILHERME V. SOARES-FILHO, BRITALDO SILVEIRA MARCOS SILVA NOGUEIRA, JOSE LEOBAS, GUILHERME ROCHA, RODRIGO CHI WONG, HAO SOUZA, GLEISON NOGUEIRA, MICHELE Mario Marcelo Berón MARCONDES FONSECA, PABLO SILVA, LUCAS Norma Beatriz Perez MENEZES VIEIRA, GUSTAVO SUMITANI, RAFAEL AUGUSTO TEIXEIRA, FERNANDO PEREIRA, MARCIO MACHADO DE SOUSA, RAFAEL MARTINS SOUSA, RAFAEL CARDOSO FERNANDES Elie Gideon DA SILVA, JUNIO CEZAR R. SILVA, ANDERSON FAUSTINO DA Eduardo Lage Figueiredo D'AMORIM, MARCELO BORGES, FABIO MOREIRA, RUBENS E.A. NETO, OMAR P. VILELA Charles Ferreira Gonçalves Guido Araújo WU, MIN Venkata Krishna Nandivada Pedro Góes Pedro Ramos FRENOT, LEON Rodrigo Rocha Anderson Faustino da Silva EMANUEL, VITOR Cristiano Maciel da Silva FAUSTINO DA SILVA, ANDERSON Pedro Henrique Quintão Pereira Philip Brisk BOTACIN, MARCUS Sebastian Hack Rodrigo Lima Carceroni CAMPOS FERREIRA GUIMARÃES, BRENO MELO, LEANDRO Abdoulaye Gamatié DAMASIO, THAIS MAIA, ANTONIO Michel Steuwer Jingling Xue KIND, BRUNO Madan Musuvathi COELHO, JOAO Marcus Rodrigues KIND, CECÍLIA ROSÁRIO, VANDERSON NÁPOLI, OTÁVIO Wendell Figueiredo Taveira Lucas Bragança SPERLE CAMPOS, VICTOR HUGO BARBOSA E OLIVEIRA, LEONARDO GOES, FABRÍCIO ERNANI RODRIGUES, RAPHEL NACIF, JOSÉ TYMBURIBÁ, MATEUS MACHADO, GUSTAVO V. SIMÕES, CELSO Diego Aranha MENDES PAISANTE, VITOR WANGHAM, MICHELLE LÚCIO, FLÁVIO ROSARIO, VANDERSON M. BORGES, FÁBIO NAPOLI, OTÁVIO OLIVEIRA JULIÃO, VINÍCIUS Tobias Grosser QUEIROZ, NILTON LUIZ Alexandros Labrineas MAGALHÃES, JOSÉ WESLEY DE SOUZA FERREIRA GUIMARAES, BRENO CAMPOS Johannes Doerfert RAMOS, VINÍCIUS JULIÃO SANTOS, WILLER ROCHA, JERONIMO NUNES Fabian Gruber MAFFRA, IZABELA DE SOUZA MAGALHAES, JOSE WESLEY MOREIRA, ANGÉLICA APARECIDA NAZARÉ, HENRIQUE KIND, BRUNO CONDE Leonardo Rodrigues Ribeiro LEÃO, LORENA NOGUEIRA, JOSÉ M.S. ÁLVARES, ANDREI RIMSA WONG, HAO-CHI LEAO, LORENA VLADAMANI, SRINIVAS DA SILVA, JUNIO C. R. BARBOSA, HANIEL Pablo Marcondes ZANELLA, ANDRÉ FELIPE SAFFRAN, JOÃO Gustavo Vieira MENDONÇA, GLEISON SOUZA DINIZ Guilherme Leobas NELSON AMARAL, JOSÉ ROHOU, ERVEN José Marcos Nogueira VIEIRA LEOBAS, GUILHERME NACIF, JOSÉ AUGUSTO MAGALHÃES, JOSÉ WESLEY DE S CEZAR, JUNIO GUIMARÃES, BRENO C F Vitor Mendes Paisante LIMA, CAIO LEMOS MAIA NETO, ANTONIO TYMBURIBA, MATEUS PEREIRA, MARCIO NOGUEIRA, JOSÉ M. S. SOUSA, RAFAEL TERRA CUNHA MELO, LEANDRO WONG, HAO CHI LEOBAS, GUILHERME VIEIRA FERREIRA, BRUNO MORAIS MILANEZ, TEO DE ARAÚJO, MARCUS R. FERREIRA, RICARDO POUSA, CHRISTIANE RIBEIRO, RODRIGO G. Pedro Caldeira MELO, LEANDRO T. C. GUIMARAES, BRENO SANTOS, HENRIQUE N. GÓES, LUÍS F.W. RODRIGUES, MARCUS Teo Milanez PICCOLI, GUILHERME ROCHA, RODRIGO C.O.
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