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