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

Bolsista de Produtividade do CNPq Nível 2

Última atualização do Lattes: 12.03.2025

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