Fernando Magno Quintão Pereira

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/4608001746330875
  • Última atualização do currículo em 10/12/2018


Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (2001), mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2003) e doutorado pela Universidade da California em Los Angeles (2008). Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação. Interesses incluem sistemas de objetos distribuídos, alocação de registradores e teoria da computação. (Texto informado pelo autor)


Identificação


Nome
Fernando Magno Quintão Pereira
Nome em citações bibliográficas
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

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Av. Antônio Carlos 6627, Prédio do ICEx, Anexo U - sala 5309
Pampulha
31270010 - Belo Horizonte, MG - Brasil
Telefone: (31) 34095860
Fax: (31) 34095858
URL da Homepage: http://homepages.dcc.ufmg.br/~fpereira/


Formação acadêmica/titulação


2004 - 2008
Doutorado em Ciência da Computação.
University of California Los Angeles, UCLA, Estados Unidos.
Título: Register Allocation by Puzzle Solving, Ano de obtenção: 2008.
Orientador: Jens Palsberg.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Alocação de Registradores; Static Single Assignment Form; Compilador; Teoria dos Grafos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
2002 - 2004
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Um Arcabouço para Construção de Sistemas de Objetos Distribuídos em Java,Ano de Obtenção: 2004.
Orientador: Roberto da Silva Bigonha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Framework; Invocação Remota de Métodos; Middleware; Padrões de projeto; Java; Sistemas distribuídos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Desenvolvimento de Programas (Software).
1998 - 2001
Graduação em Ciência da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Implementação de um Gerador de Interpretadores de Uso Geral.
Orientador: Roberto da Silva Bigonha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Pós-doutorado


2018
Pós-Doutorado.
CNRS Délégation Languedoc-Roussillon, CNRS, França.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
2009
Pós-Doutorado.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.


Atuação Profissional



Google Inc., Google, Estados Unidos.
Vínculo institucional

2008 - 2008
Vínculo: Estagiário, Enquadramento Funcional: Estágio, Carga horária: 40
Outras informações
Neste estágio eu trabalhei com análise de ponteiros. Deste projeto resultou o artigo "Wave Propagation and Deep Propagation for Pointer Analysis", publicado em CGO 2009.


University of California Los Angeles, UCLA, Estados Unidos.
Vínculo institucional

2005 - 2008
Vínculo: Pesquisa, Enquadramento Funcional: Research Student, Carga horária: 20, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2007
Vínculo: Teaching Assitant, Enquadramento Funcional: Monitor, Carga horária: 20
Outras informações
Estágio em docência mandatório para candidatos ao título de doutor.


Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2009 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2004
Vínculo: Bolsista mestrado, Enquadramento Funcional: Bolsista de pós-graduação, Carga horária: 40
Outras informações
Durante o projeto de mestrado recebi bolsa do CNPq para desenvolver pesquisa em regime de dedicação exclusiva. Processo no CNPq.: 100825/00-1

Vínculo institucional

2001 - 2003
Vínculo: Colaborador, Enquadramento Funcional: Monitor de Técnicas de Programação em Java, Carga horária: 4
Outras informações
Colaboração como estudante assistente para o curso de especialização em Engenharia de Software ministrado pelo Departamento de Ciência da Computação.

Vínculo institucional

2000 - 2001
Vínculo: Outro, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.
Outras informações
Esta bolsa foi paga pelo CNPQ, de acordo com o processo 100825/00-1

Atividades

9/2001 - 5/2002
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.



Linhas de pesquisa


1.
Paralelização automática de código

Objetivo: Nosso objetivo é desenvolver compiladores capazes de traduzir programas sequenciais para programas capazes de serem executados em paralelo..
Grande área: Ciências Exatas e da Terra
Palavras-chave: Paralelização automática; Stream programming.
2.
Análise e Otimização de Código

Objetivo: O objetivo da pesquisa em compiladores é desenvolver métodos e teorias que possibilitem a melhora, de forma automática de programas. Dentre essas análises citam-se as otimizações de laços, as análises de ponteiros, a alocação de registradores e a proteção de código..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Pesquisa e desenvolvimento científico.
Palavras-chave: Compilador; Análise estática; Análise dinâmica; Otimização de Código.


Projetos de pesquisa


2015 - Atual
Teste Automático de Código Embarcado

Projeto certificado pela empresa MAXTRACK INDUSTRIAL LTDA em 27/07/2015.
Descrição: Esta linha de pesquisa existe como decorrência de uma cooperação científica que o candidato vem criando com uma empresa do ramo de rastreamento de veículos, a Maxtrack. Esta empresa foi criada por empreendedores mineiros, e hoje é líder em seu mercado no Brasil, tendo já projetado, implementado e distribuído rastreadores para veículos automotores e trens de carga. O objetivo dessa cooperação científica é projetar, implementar e instalar serviços de teste de software que possam ser usados para ativar, de forma automática, potenciais falhas de segurança em código feito para sistemas embarcados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Francisco Demontie - Integrante / Marcus Rodrigues - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Maxtrack - Cooperação.
Número de produções C, T & A: 2 / Número de orientações: 1
2015 - Atual
Paralelização Automática de Código para Dispositivos Móveis

Projeto certificado pela empresa LG Electronics do Brasil em 07/08/2015.
Descrição: Este projeto trata-se de uma cooperação entre a Universidade Federal de Minas Gerais e a empresa LG Electronics, e existe no contexto da Lei de Informática e Inovação. O objetivo deste projeto é desenvolver técnicas que permitam a geração de código paralelo para dispositivos móveis como smartphones. O resultado esperado deste projeto é um compilador capaz de assinalar as diferentes partes de um programa a uma CPU multicore, ou a GPU que existe em um smartphone..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (4) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Douglas do Couto - Integrante / Victor Sperle Campos - Integrante / Pericles Rafael Oliveira Alves - Integrante / Kezia Andrade - Integrante / Gleison Souza - Integrante.Financiador(es): LG Electronics do Brasil - Cooperação.
Número de produções C, T & A: 5 / Número de orientações: 1
2015 - Atual
Prospiel - Profiling and Specialization for Locality
Descrição: O objetivo deste projeto é desenvolver técnicas que suportem a paralelização automática de programas. Entre tais técnicas citam-se análises estáticas de programas, e instrumentação de código binário. Este projeto é uma cooperação entre instituições brasileiras (UFMG e CEFET-MG) e o INRIA francês.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Fabrice Rastello - Integrante / Wagner Meira Jr - Integrante / Sylvain Collange - Integrante / GONNORD, LAURE - Integrante / Anolán Milanez - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Cooperação.
2013 - Atual
e-CoSoc: Energy-Efficient Instrumentation to Secure Systems-on-a-Chip Devices
Descrição: O objetivo deste projeto é desenvolver técnicas que protejam programas escritos em linguagens inseguras, tais como C. As técnicas desenvolvidas precisam ser adequadas para dispositivos embarcados. Assim, uma das principais metas do projeto é a criação de mecanismos de proteção de software que sejam econômicos do ponto de vista energético.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Raphael Ernani Rodrigues - Integrante / Henrique Nazaré Santos - Integrante / Leonardo Barbosa - Integrante / Bruno Rodrigues Silva - Integrante / Izabela Kareninna - Integrante / Fernando Teixeira - Integrante.Financiador(es): Intel Semicondutores do Brasil - Auxílio financeiro.
Número de produções C, T & A: 8 / Número de orientações: 3
2012 - Atual
Rastreamento de Fluxo de Informação em Estruturas de Dados
Descrição: O rastreamento de fluxo de informaçao é um dos grandes temas de pesquisa abordados pela comunidade de linguagens de programação. Dado uma "informação", o objetivo desse tipo de análise é identificar em que parte de um programa alvo tal conhecimento é produzido, como ele se propaga entre as variáveis desse programa, e que usuários podem ter acesso a ele..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Andrei Alves Rimsa - Integrante / Gabriel Silva Quadros - Integrante / Rafael Martins de Sousa - Integrante / Bruno Rodrigues Silva - Integrante / NAZARÉ SANTOS, HENRIQUE - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Número de produções C, T & A: 5 / Número de orientações: 2
2010 - 2011
Análise e Otimização de Aplicações CUDA
Descrição: O objetivo deste projeto é desenvolver técnicas de otimização de código que modifiquem programas CUDA automaticamente, para mitigar o custo de divergências na execução de aplicações paralelas..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Fernando Carvalho Coelho - Integrante.Financiador(es): Universidade Federal de Minas Gerais - Auxílio financeiro.
2010 - Atual
Otimização de Código para Placas Gráficas
Descrição: O objetivo deste grupo de pesquisa é permitir, via o desenvolvimento de técnicas de geração e otimização de código, que desenvolvedores de programas melhor usufruam do alto poder de processamento de arquiteturas computacionais paralelas. Tais técnicas possibilitam, portanto, que estes desenvolvedores possam se concentrar em problemas algorítmicos, trabalhando com linguagens de programação de alto nível, enquanto o compilador lhes garante a utilização eficiente do hardware. A pesquisa em compilação para arquiteturas de alto desempenho, no DCC-UFMG, dá-se em duas vertentes. Em primeiro lugar, desenvolvem-se estratégias de "paralelização automática de código". O objetivo deste tipo de pesquisa é transformar programas que foram concebidos para hardware monoprocessado em código equivalente que seja mais eficiente por ser capaz de utilizar diversos processadores simultaneamente. Em segundo lugar, este grupo de pesquisa desenvolve técnicas de otimização de programas que se aplicam diretamente à melhoria de aplicações paralelas. Neste caso, destacam-se, por exemplo, as transformações de código realizadas automaticamente pelo compilador a fim de remover barreiras de sincronização redundantes, coordenar acesso à memória compartilhada e aumentar o número de processadores em execução simultânea..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Bruno Rocha Coutinho - Integrante / Diogo Nunes Sampaio - Integrante / Wagner Meira Jr - Integrante / Fernando Carvalho Coelho - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 3
2008 - 2008
Wave Propagation for Pointer Analysis
Descrição: This project consists in the design and implementation of a new pointer analysis algorithm that can be parallelized..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2008
Register Allocation via Coloring of Chordal Graphs
Descrição: This project consists in the design and implementation of a non-iterative algorithm for register allocation based on graph coloring. We present a simple, linear-time algorithm which is competitive with the iterated register coalescing strategy of George and Appel. We base the new algorithm on the observation that more than 95% of the methods in the Java 1.5 library have chordal interference graphs. A greedy algorithm can color a chordal graph optimally in linear time, and we can easily add powerful heuristics for spilling and coalescing. Our experimental results show that the new algorithm produces better results than iterated register coalescing for settings with few registers and comparable results for settings with many registers. The implementation of the proposed algorithm, as well as our implementation of the iterated register coalesing algorithm can be downloaded in the links below..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Fernando Magno Quintão Pereira - Integrante / Jens Palsberg - Coordenador.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 5
2002 - 2004
Projeto e implementação de um Arcabouço para o desenvolvimento de plataformas de middleware.
Descrição: Este projeto consistiu na especificação e implementação de Arcademis: um arcabouço para o desenvolvimento de plataformas de middleware orientadas por objetos. A partir de Arcademis podem ser derivadas plataformas de middleware não monolíticas e facilmente configuráveis, que podem ser utilizadas para suportar aplicações específicas, como sistemas para computação móvel e de tempo real. Por exemplo, Arcademis foi utilizado na implementação de RME, uma plataforma de middleware que fornece para o perfil CLDC de J2ME um serviço de invocação remota de métodos. Este projeto foi realizado como pesquisa de mestrado..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Fernando Magno Quintão Pereira - Integrante / Roberto da Silva Bigonha - Integrante / Marco Túlio de Oliveira Valente - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Número de produções C, T & A: 12
2001 - 2002
Desenvolvimento de uma linguagem para coordenação de aplicações em redes móveis ad-hoc.
Descrição: Este projeto consistiu na implementação de um modelo de coordenação de aplicações em redes móveis ad-hoc. Este modelo, denominado PeerSpaces, permite que os vários componentes que integram uma rede ad-hoc se comuniquem sem que seja necessária a existência de uma estrutura de localização centralizada, tal qual se dá em sistemas de middleware tradicionais, como CORBA e Java RMI. O modelo PeerSpaces é baseado em uma estrutura de dados conhecida como espaço de tuplas, orinalmente empregada na linguagem Linda para prover coordenação entre processos concorrentes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Fernando Magno Quintão Pereira - Integrante / Roberto da Silva Bigonha - Integrante / Mariza A S Bigonha - Integrante / Marco Túlio de Oliveira Valente - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 3
2000 - 2002
Desenvolvimento de um ambiente para geração de compiladores baseados em descrições semânticas
Descrição: Este projeto foi desenvolvido como Iniciação Científica e foi defendido como Projeto Orientado em Computação (projeto obrigatório de final de curso) pelo autor. Consistiu na implementação de um ambiente no qual linguagens de programação podem ser descritas mediante a descrição denotacional das mesmas. Tais descrições são, posteriormente, traduzidas para código Haskell e executadas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Fernando Magno Quintão Pereira - Integrante / Roberto da Silva Bigonha - Coordenador / Mariza A S Bigonha - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 2
2000 - 2000
Análise de desempenho de aplicações geradas automaticamente via avaliação parcial
Descrição: Como bolsista de iniciação científica, meu primeiro projeto de pesquisa consistiu na utilização de um avaliador parcial, denominado CMIX, para averiguar a eficiência de programas gerados automaticamente com base nesta técnica de geração de código. Deste trabalho resultou um artigo publicado no V Simpósio Brasileiro de Linguagens de Programação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Fernando Magno Quintão Pereira - Integrante / Vladimir Oliveira de Iorio - Integrante / Roberto da Silva Bigonha - Coordenador / Mariza de Andrade da Silva Bigonha - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 1


Projetos de desenvolvimento


2010 - Atual
Divergence Analysis in the Ocelot compiler
Descrição: This project consists in the implementation of a divergence analysis to the Ocelot compiler. We have been able to submit more than 10,000 lines of code to this compiler, which is publicly available and widely used by the industry. See the compiler's webpage at http://code.google.com/p/gpuocelot/.
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Diogo Nunes Sampaio - Integrante / Sylvain Collange - Integrante / Elie Gideon - Integrante.
Número de produções C, T & A: 3 / Número de orientações: 2
2010 - Atual
Code Specialization in the Mozilla Firefox Browser
Descrição: This project consists in the implementation of extensions to the Mozilla Firefox JavaScript compiler. These extensions allow the JavaScript compiler to produce better code given the values that are manipulated at runtime. Part of the code is currently available in the IonMonkey compiler that is part of the Mozilla Firefox browser..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Igor Rafael Assis Costa - Integrante / Pericles Rafael Oliveira Alves - Integrante.
Número de produções C, T & A: 1 / Número de orientações: 1
2009 - 2011
Análise de segurança em PHC - PHP Compiler
Descrição: Criação de uma análise de código que encontra falhas de segurança em programas PHP. Essa análise já foi usada para detectar falhas em 32 programas PHP largamente usados..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Fernando Magno Quintão Pereira - Coordenador / Andrei Alves Rimsa - Integrante / Marcelo D'Amorim - Integrante.
Número de produções C, T & A: 1 / Número de orientações: 1


Revisor de periódico


2007 - 2007
Periódico: ACM Transactions on Programming Languages and Systems
2017 - Atual
Periódico: ACM Transactions on Architecture and Code Optimization
2008 - 2008
Periódico: ACM Transactions on Architecture and Code Optimization
2010 - Atual
Periódico: I.E.E.E. Transactions on Computers (Print)
2011 - Atual
Periódico: ACM Transactions on Embedded Computing Systems
2012 - Atual
Periódico: Computers & Structures


Revisor de projeto de fomento


2014 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2018
Bolsa de Pós-Doutorado, CNPq.
2018
Segundo melhor artigo SBLP 2018: TaskMiner, SBC.
2017
Google Latin America Award - Projeto "Intelligent DVFS", Google.
2017
Melhor artigo "Inspector J: uma ferramenta de análise estática para detectar código não isócrono em programas Java". CBSoft Tools 2017, Sociedade Brasileira de Computação.
2017
Júlio Salek Aude Best Paper Award SBAC-PAD pelo artigo "Data Coherence Analysis and Optimization for heterogeneous Computing", SBC.
2017
Prestige Scholarship, Agence française pour la promotion de l?enseignement supérieur.
2015
Melhor artigo do XIX Simpósio Brasileiro de Linguagens de Programação: "Restritificação", Sociedade Brasileira de Computação.
2015
Terceiro melhor artigo do XIX Simpósio Brasileiro de Linguagens de Programação: "Automatic Inference of Loop Complexity through Polynomial Interpolation", Sociedade Brasileira de Computação.
2015
Melhor Ferramenta do Congresso Brasileiro de Software, Teoria e Prática (CBSoft): "Restrictifier: a tool to disambiguate pointers at function call sites", Sociedade Brasileira de Computação.
2015
Segunda Melhor Ferramenta do Congresso Brasileiro de Software, Teoria e Prática (CBSoft): "FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo", Sociedade Brasileira de Computação.
2015
Segundo melhor artigo no XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, SBC, pelo artigo "Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em, SBC.
2014
Segunda Melhor Dissertação de Mestrado: "Divergence Analysis with Affine Constraints", Sociedade Brasileira de Computação.
2013
Menção Honrosa no XIII Simpósio Brasileiro de Segurança da Informação (SBSeg) pelo artigo "Uma Representação Intermediária para a Detecção de VAzamentos Implícitos de Informação", SBC.
2012
Trabalho classificado entre os 10 melhores no concurso de Iniciação Científica (CTIC) - Aluno: Douglas do Couto Teixeira, SBC.
2012
Melhor artigo do Simpósio Brasileiro de Linguagens de Programação 2012 "Spill Code Placement for SIMD Machines", Sociedade Brasileira de Computação.
2012
Melhor trabalho Ciências Exatas e da Terra "Especialização de valores em comiladores Just-in-Time" do aluno Péricles Rafael, na Semana de Iniciação Científica da UFMG, Universidade Federal de Minas Gerais.
2010
Mehor artigo no XIV Simpósio Brasileiro de Linguagens de Programação, SBC.
2010
Melhor artigo no 22nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), IEEE.
2010
Segundo melhor artigo no XIV Simpósio Brasileiro de Linguagens de Programação, SBC.
2010
Terceiro melhor artigo no XIV Simpósio Brasileiro de Linguagens de Programação, SBC.
2009
Primeira colocação no concurso para professor adjunto do DCC/UFMG, Universidade Federal de Minas Gerais - Departamento de Ciência da Computação.
2004
Segundo colocado na seleção de Bolsa de Doutorado no Exterior, CAPES.
2003
Segundo colocado na seleção para doutorado - UNICAMP, Universidade Estadual de Campinas.
2002
Trabalho Premiado na X Semana de Iniciação Científica, Universidade Federal de Minas Gerais.
2002
Primeiro colocado na seleção de mestrado da UFMG, Universidade Federal de Minas Gerais.
2002
Bolsa de Mestrado, CNPq.


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:147
Total de citações:865
Fernando Magno Quintão Pereira  Data: 18/05/2018

Artigos completos publicados em periódicos

1.
ROCHA, RODRIGO C.O.2018ROCHA, RODRIGO C.O. ; GÓES, LUÍS F.W. ; PEREIRA, FERNANDO M.Q. . Automatic parallelization of recursive functions with rewriting rules. SCIENCE OF COMPUTER PROGRAMMING, v. 148, p. 1-41, 2018.

2.
FERREIRA, BRUNO MORAIS2018FERREIRA, BRUNO MORAIS ; SOARES-FILHO, BRITALDO SILVEIRA ; QUINTÃO PEREIRA, FERNANDO MAGNO . The Dinamica EGO virtual machine. SCIENCE OF COMPUTER PROGRAMMING, v. 2, p. 68-100, 2018.

3.
Pereira, Fernando Magno Quintão2018Pereira, Fernando Magno Quintão; LEOBAS, GUILHERME VIEIRA ; GAMATIÉ, ABDOULAYE . Static Prediction of Silent Stores. ACM Transactions on Architecture and Code Optimization, v. 15, p. 1-26, 2018.

4.
OLIVEIRA, LEONARDO B.2018OLIVEIRA, LEONARDO B. ; Pereira, Fernando Magno Quintão ; MISOCZKI, RAFAEL ; ARANHA, DIEGO F. ; BORGES, FÁBIO ; NOGUEIRA, MICHELE ; WANGHAM, MICHELLE ; WU, MIN ; LIU, JIE . The computer for the 21st century: present security & privacy challenges. JOURNAL OF INTERNET SERVICES AND APPLICATIONS, v. 9, p. 1-42, 2018.

5.
MENDONÇA, GLEISON2017MENDONÇA, GLEISON ; GUIMARÃES, BRENO ; ALVES, PÉRICLES ; Pereira, Márcio ; ARAÚJO, GUIDO ; Pereira, Fernando Magno Quintão . DawnCC. ACM Transactions on Architecture and Code Optimization, v. 14, p. 1-25, 2017.

6.
Bessa, Tarsila2017Bessa, Tarsila ; GULL, CHRISTOPHER ; QUINTÃO, PEDRO ; Frank, Michael ; NACIF, JOSÉ ; Pereira, Fernando Magno Quintão . JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. SCIENCE OF COMPUTER PROGRAMMING, v. 10, p. 1-16, 2017.

7.
TEIXEIRA, FERNANDO A.2017TEIXEIRA, FERNANDO A. ; PEREIRA, FERNANDO M.Q. ; WONG, HAO-CHI ; NOGUEIRA, JOSÉ M.S. ; OLIVEIRA, LEONARDO B. . SIoT: Securing Internet of Things through distributed systems analysis. Future Generation Computer Systems-The International Journal of eScience, v. 10, p. 1016, 2017.

8.
POESIA, GABRIEL2017POESIA, GABRIEL ; GUIMARÃES, BRENO ; FERRACIOLI, FABRÍCIO ; Pereira, Fernando Magno Quintão . Static placement of computation on heterogeneous devices. Proceedings of the ACM on Programming Languages, v. 1, p. 1-28, 2017.

9.
MAALEJ, MAROUA2017MAALEJ, MAROUA ; PAISANTE, VITOR ; QUINTÃO PEREIRA, FERNANDO MAGNO ; GONNORD, LAURE . Combining Range and Inequality Information for Pointer Disambiguation. SCIENCE OF COMPUTER PROGRAMMING, v. WEB, p. 1-46, 2017.

10.
MELO, LEANDRO T. C.2017MELO, LEANDRO T. C. ; RIBEIRO, RODRIGO G. ; DE ARAÚJO, MARCUS R. ; Pereira, Fernando Magno Quintão . Inference of static semantics for incomplete C programs. Proceedings of the ACM on Programming Languages, v. 2, p. 1-28, 2017.

11.
AUGUSTO TEIXEIRA, FERNANDO2015AUGUSTO TEIXEIRA, FERNANDO ; MENEZES VIEIRA, GUSTAVO ; MARCONDES FONSECA, PABLO ; MAGNO QUINTAO PEREIRA, FERNANDO ; CHI WONG, HAO ; MARCOS SILVA NOGUEIRA, JOSE ; BARBOSA OLIVEIRA, LEONARDO . Defending Internet of Things against Exploits. Revista IEEE América Latina, v. 13, p. 1112-1119, 2015.

12.
LEMOS MAIA NETO, ANTONIO2015LEMOS MAIA NETO, ANTONIO ; TERRA CUNHA MELO, LEANDRO ; PARANAIBA VILELA NETO, OMAR ; QUINTAO PEREIRA, FERNANDO MAGNO ; BARBOSA OLIVEIRA, LEONARDO . Protecting Programs Against Memory Violation In Hardware. Revista IEEE América Latina, v. 13, p. 885-891, 2015.

13.
ZAFRA SAGGIORO, LUIZ FELIPE2015ZAFRA SAGGIORO, LUIZ FELIPE ; MENDES PAISANTE, VITOR ; ERNANI RODRIGUES, RAPHEL ; BARBOSA E OLIVEIRA, LEONARDO ; MAGNO QUINTAO PEREIRA, FERNANDO . Crosschecking Distributed Data to Detect Integer Overflow. Revista IEEE América Latina, v. 13, p. 1083-1089, 2015.

14.
MILANEZ, TEO2014MILANEZ, TEO ; COLLANGE, SYLVAIN ; QUINTÃO PEREIRA, FERNANDO MAGNO ; Meira, Wagner ; Ferreira, Renato . Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads. Parallel Computing, v. 41, p. 2014.03.006, 2014.

15.
ALVES, PÉRICLES R.O.2014ALVES, PÉRICLES R.O. ; RODRIGUES, RAPHAEL E. ; DE SOUSA, RAFAEL MARTINS ; QUINTÃO PEREIRA, FERNANDO MAGNO . A case for a fast trip count predictor. Information Processing Letters (Print), v. 1, p. S00200190140017, 2014.

16.
RIMSA, ANDREI2013RIMSA, ANDREI ; D'AMORIM, MARCELO ; QUINTÃO PEREIRA, FERNANDO MAGNO ; BIGONHA, ROBERTO S. . Efficient static checker for tainted variable attacks. Science of Computer Programming (Print), v. 1, p. 1016, 2013.

17.
Sampaio, Diogo2013Sampaio, Diogo ; SOUSA, R. M. ; COLLANGE, S. ; QUINTÃO PEREIRA, FERNANDO MAGNO . Divergence analysis. ACM Transactions on Programming Languages and Systems, v. 35, p. 1-36, 2013.

18.
RAFAEL DE ASSIS COSTA, IGOR2013RAFAEL DE ASSIS COSTA, IGOR ; NAZARÉ SANTOS, HENRIQUE ; RAFAEL ALVES, PÉRICLES ; MAGNO QUINTÃO PEREIRA, FERNANDO . Just-in-time value specialization. Computer Languages, Systems & Structures, v. 78, p. 95-106, 2013.

19.
Coutinho, Bruno2012Coutinho, Bruno ; Sampaio, Diogo ; PEREIRA, Fernando Magno Quintão ; Meira, Wagner . Profiling divergences in GPU applications. Concurrency and Computation, v. 1, p. 10.1002/cpe.285-15, 2012.

20.
da Mata, Leonardo Luiz Padovani2012da Mata, Leonardo Luiz Padovani ; PEREIRA, Fernando Magno Quintão ; Ferreira, Renato . Automatic parallelization of canonical loops. Science of Computer Programming (Print), v. 178, p. SCICO 1449, 2012.

21.
Lee, Jonathan K.2008Lee, Jonathan K. ; PALSBERG, J. ; PEREIRA, Fernando Magno Quintão . Aliased register allocation for straight-line programs is NP-complete. THEORETICAL COMPUTER SCIENCE, v. 407, p. 258-273, 2008.

22.
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 QUINTO2006 PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . Arcademis: a Framework for Object Oriented Communication Middleware Development.. Software, Practice & Experience, v. 36, p. 495-512, 2006.

23.
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 QUINTO2004PEREIRA, Fernando Magno Quintão; PIRES, Wagner Salazar ; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza de Andrade da Silva . Tactics for Remote Method Invocation.. Journal of Universal Computer Science, v. 10, p. 495-512, 2004.

24.
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 QUINTO2004PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da S ; BIGONHA, Mariza de Andrade da Silva . Chamada Remota de Métodos na Plataforma J2ME/CLDC. Telecomunicações (Santa Rita do Sapucaí), v. 7, p. 21-31, 2004.

Livros publicados/organizados ou edições
1.
MAGNO QUINTÃO PEREIRA, FERNANDO. Proceedings of the 18th Brazilian Symposium on Programming Languages. 1. ed. Hildeberg: Springer, 2014. v. 1. 161p .

Capítulos de livros publicados
1.
PEREIRA, Fernando Magno Quintão. Técnicas de Otimização de Código para Placas de Processamento Gráfico. In: Wagner Meira Jr., Alberto Ferreira de Souza, Jair Cavalcanti Leite. (Org.). XXX Jornadas de Atualização em Informática. : SBC, 2011, v. , p. 259-301.

Textos em jornais de notícias/revistas
1.
GONCALVES, C. F. ; PEREIRA, Fernando Magno Quintão . Como realizar um estágio profissional. SBC Horizontes, Porto Alegre, p. 11 - 14, 11 set. 2012.

2.
COSTA, I. R. A. ; PEREIRA, Fernando Magno Quintão . Como Participar do Summer of Code. SBC Horizontes, p. 35 - 38, 30 dez. 2011.

Trabalhos completos publicados em anais de congressos
1.
SIRAICHI, MARCOS YUKIO ; SANTOS, VINÍCIUS FERNANDES DOS ; COLLANGE, SYLVAIN ; PEREIRA, FERNANDO MAGNO QUINTAO . Qubit allocation. In: the 2018 International Symposium, 2018, Vienna. Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018. New York: ACM Press, 2018. v. 148. p. 113-122.

2.
DA SILVA, JUNIO CEZAR RIBEIRO ; PEREIRA, FERNANDO MAGNO QUINTO ; Frank, Michael ; GAMATIE, ABDOULAYE . A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems. In: 2018 13th International Symposium on Reconfigurable Communicationcentric SystemsonChip (ReCoSoC), 2018, Lille. 2018 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2018. v. 1. p. 1-155.

3.
RAMOS, PEDRO ; SOUZA, GLEISON ; LEOBAS, GUILHERME ; PEREIRA, FERNANDO MAGNO Q. . Taskminer. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18. New York: ACM Press, 2018. v. 2. p. 11-8.

4.
LEOBAS, GUILHERME V. ; GUIMARÃES, BRENO C. F. ; PEREIRA, FERNANDO M. Q. . More than meets the eye. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18. New York: ACM Press, 2018. v. 2. p. 27-16.

5.
CALDEIRA, Pedro ; PENHA, J. C. ; BRAGANCA, L. ; FERREIRA, R. ; NACIF, J. ; Ferreira, Renato A ; MAGNO QUINTÃO PEREIRA, FERNANDO . From Java to FPGA: an Experience with the Intel HARP System. In: 30th International Symposium on Computer. Architecture and High Performance Computing, 2018, Lyon. Proceedings of the 30th International Symposium on Computer. Architecture and High Performance Computing. New York: ACM, 2018. v. 1. p. 1-8.

6.
SOUSA, Hugo ; TYMBURIBA, M. ; PEREIRA, Fernando Magno Quintão . Modelo Multicamadas para Detecção de Ataques ROP. In: XVIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2018, Natal. Anais do SBSeg 2018. Bento Gonçalvez: Sociedade Brasileira de Computação, 2018. v. 1. p. 1-14.

7.
MOREIRA, RUBENS E.A. ; COLLANGE, SYLVAIN ; QUINTÃO PEREIRA, FERNANDO MAGNO . Function Call Re-Vectorization. In: the 22nd ACM SIGPLAN Symposium, 2017, Austin. Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '17. New York: ACM Press. p. 313.

8.
MAALEJ, MAROUA ; PAISANTE, VITOR ; RAMOS, PEDRO ; GONNORD, LAURE ; PEREIRA, FERNANDO MAGNO QUINTAO . Pointer disambiguation via strict inequalities. In: 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2017, Austin. 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2017. p. 134.

9.
OLIVEIRA, LEONARDO B. ; PEREIRA, FERNANDO MAGNO QUINTAO ; MISOCZKI, RAFAEL ; ARANHA, DIEGO F. ; BORGES, FABIO ; LIU, JIE . The Computer for the 21st Century: Security & Privacy Challenges after 25 Years. In: 2017 26th International Conference on Computer Communication and Networks (ICCCN), 2017, Vancouver. 2017 26th International Conference on Computer Communication and Networks (ICCCN), 2017. p. 1-10.

10.
DA SILVA, JUNIO CEZAR R. ; PEREIRA, FERNANDO MAGNO Q. . Demand-driven less-than analysis. In: the 21st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017. New York: ACM Press, 2017. p. 1.

11.
SOUSA, RAFAEL CARDOSO FERNANDES ; PEREIRA, MARCIO MACHADO ; PEREIRA, FERNANDO MAGNO QUINTAO ; ARAUJO, GUIDO . Data Coherence Analysis and Optimization for Heterogeneous Computing. In: 2017 29th International Symposium on Computer Architecture and HighPerformance Computing (SBACPAD), 2017, Campinas. 2017 29th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2017. p. 9-8.

12.
TYMBURIBÁ, MATEUS ; MOREIRA, RUBENS E. A. ; QUINTÃO PEREIRA, FERNANDO MAGNO . Inference of peak density of indirect branches to detect ROP attacks. In: the 2016 International Symposium, 2016, Barcelona. Proceedings of the 2016 International Symposium on Code Generation and Optimization - CGO 2016. New York: ACM Press. p. 150.

13.
PAISANTE, VITOR ; MAALEJ, MAROUA ; BARBOSA, LEONARDO ; GONNORD, LAURE ; QUINTÃO PEREIRA, FERNANDO MAGNO . Symbolic range analysis of pointers. In: the 2016 International Symposium, 2016, Barcelona. Proceedings of the 2016 International Symposium on Code Generation and Optimization - CGO 2016. New York: ACM Press, 2016. p. 171.

14.
RODRIGUES, BRUNO ; QUINTÃO PEREIRA, FERNANDO MAGNO ; ARANHA, DIEGO F. . Sparse representation of implicit flows with applications to side-channel detection. In: the 25th International Conference, 2016, Barcelona. Proceedings of the 25th International Conference on Compiler Construction - CC 2016. New York: ACM Press, 2016. p. 110.

15.
SPERLE CAMPOS, VICTOR HUGO ; ALVES, PÉRICLES RAFAEL ; NAZARÉ SANTOS, HENRIQUE ; QUINTÃO PEREIRA, FERNANDO MAGNO . Restrictification of function arguments. In: the 25th International Conference, 2016, Barcelona. Proceedings of the 25th International Conference on Compiler Construction - CC 2016. New York: ACM Press, 2016. p. 163.

16.
EMILIO, R. ; COLLANGE, S. ; QUINTAO PEREIRA, FERNANDO MAGNO . Definição Semântica de Blocos Everywhere para Programação SIMD. In: Simpósio Brasileiro de Linguagens de Programação, 2016, Maringá. Anáis do SBLP. Porto Alegre: SBC, 2016. v. 1. p. 1-15.

17.
RIBEIRO, R. G. ; MELO, L. T. C. ; RODRIGUES, M. ; QUINTAO PEREIRA, FERNANDO MAGNO . Compilação Parcial de Programas Escritos em C. In: Simpósio Brasileiro de Linguagens de Programação, 2016, Maringá. Anais do SBLP. Porto Alegre: SBC, 2016. v. 1. p. 15-28.

18.
ANDRADE, Kézia ; SOUZA, G ; GUIMARAES, B. C. F. ; QUINTAO PEREIRA, FERNANDO MAGNO . Paralelização Automática de código com diretivas OpenACC. In: Simpósio Brasileiro de Linguagens de Programação, 2016, Maringá. Anais do SBLP. Porto Alegre: SBC, 2016. v. 1. p. 29-33.

19.
MAIA, ANTONIO ; MELO, LEANDRO ; PEREIRA, FERNANDO MAGNO QUINTAO ; NETO, OMAR P. VILELA ; OLIVEIRA, LEONARDO B. . SMOV: Array Bound-Check and access in a single instruction. In: 2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), 2016, Las Vegas. 2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), 2016. p. 745-751.

20.
Bessa, Tarsila ; Pereira, Pedro Quintão ; Frank, Michael ; MAGNO QUINTAO PEREIRA, FERNANDO . JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems. In: Brazilian Symposium on Programming Languages, 2016, Maringá. Proceedings of SBLP 2016. heidelberg: Springer-Verlag, 2016. v. 9889. p. 16-30.

21.
Rodrigo C. O. Rocha ; Góes, Pedro ; MAGNO QUINTAO PEREIRA, FERNANDO . An Algebraic Framework for Parallelizing Recurrence in Functional Programming. In: Brazilian Symposium on Programming Languages, 2016, Maringá. Proceedings of SBLP 2016. heidelberg: Springer-Verlag, 2016. v. 9889. p. 140-155.

22.
SOUZA, G ; GUIMARAES, B. C. F. ; ALVES, P. R. O. ; Pereira, Márcio ; ARAUJO, G. ; MAGNO QUINTAO PEREIRA, FERNANDO . Automatic Insertion of Copy Annotation in Data-Parallel Programs.. In: International Symposium on Computer Architecture and High-Performance Computing, 2016, Los Angeles. Proceedings of SBAC-PAD 2016. New York: IEEE, 2016. p. 1-8.

23.
TEIXEIRA, FERNANDO A. ; MACHADO, GUSTAVO V. ; PEREIRA, FERNANDO M. Q. ; WONG, HAO CHI ; NOGUEIRA, JOSÉ M. S. ; OLIVEIRA, LEONARDO B. . SIoT. In: the 14th International Conference, 2015, Seattle. Proceedings of the 14th International Conference on Information Processing in Sensor Networks - IPSN '15, 2015. p. 310.

24.
DEMONTIE, F. ; CEZAR, J. ; BIGONHA, Mariza A S ; CAMPOS, Frederico ; PEREIRA, Fernando Magno Quintão . Automatic Inference of Loop Complexity through Polynomial Interpolation. In: Simpósio Brasileiro de Linguagens de Programação, 2015, Belo Horizonte. Proceedings of the Brazilian Symposium on Programming Languages. Heidelberg: Springer-Verlag, 2015.

25.
FERREIRA, B. M. ; SOARES-FILHO, B. S. ; PEREIRA, Fernando Magno Quintão . The Dinamica Virtual Machine for Geosciences. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2015, Belo Horizonte. Proceedings of the Brazilian Symposium on Programming Languages. Heidelberg: Springer-Verlag, 2015.

26.
SPERLE, V. ; ALVES, PÉRICLES R.O. ; PEREIRA, Fernando Magno Quintão . Restritificação. In: Simpósio Brasileiro de Linguagens de Programação, 2015, Belo Horizonte. Proceedings of the Brazilian Symposium on Programming Languages. Porto Alegre: SBC, 2015.

27.
COUTO, D ; ANDRADE, Kézia ; SOUZA, G ; PEREIRA, Fernando Magno Quintão . Etino: Colocação Automática de Computação em Hardware Heterogêneo. In: Simpósio Brasileiro de Linguagens de Programação, 2015, Belo Horizonte. Proceedings of the Brazilian Symposium on Programming Languages. Porto Alegre: SBC, 2015.

28.
COUTO, D ; COLLANGE, S. ; PEREIRA, FERNANDO M. Q. . Function Call Fusion. In: International Symposium on Computer Architecture and High Performance Computing, 2015, Florianópolis. Proceedings of the International Symposium on Computer Architecture and High Performance Computing, 2015. p. 1-8.

29.
ALVES, P. R. O. ; GRUBER, F. ; DOERFERT, J. ; LABRINEAS, A. ; GROSSER, T. ; RASTELLO, F. ; PEREIRA, FERNANDO M. Q. . Runtime Pointer Disambiguation. In: OOPSLA, 2015, Pittsburgh. Proceedings of SPLASH. New York: ACM, 2015. p. 1-18.

30.
MAIA, A. ; MELO, L. T. C. ; QUINTAO PEREIRA, FERNANDO MAGNO ; PARANAIBA VILELA NETO, OMAR ; BARBOSA, L. . SMOV: Array Bound-Check and Access in a Single Instruction. In: Consumer Communications & Networking Conference (CCNC), 2015, Las Vegas. 13th IEEE Annual Consumer Communications & Networking Conference (CCNC). New York: IEEE, 2015. p. 16-25.

31.
SILVA, B. R. ; ARANHA, Diego ; QUINTAO PEREIRA, FERNANDO MAGNO . Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo. In: XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais, 2015, Florianópolis. Anais do XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais. Porto Alegre: SBC, 2015. v. 1. p. 16-29.

32.
TEIXEIRA, F. ; QUINTÃO PEREIRA, FERNANDO MAGNO ; VIEIRA, G. ; MARCONDES, P. ; WONG, H. C. ; NOGUEIRA, J. M. ; OLIVEIRA, L. B. . Siot: Defendendo a Internet das Coisas contra Exploits. In: Simpósio Brasileiro de Redes de Computadores, 2014, Floritanópolis. Anais do Simpósio Brasileiro de Redes de Computadores, 2014.

33.
Tavares, André L. C. ; BOISSINOT, B. ; QUINTÃO PEREIRA, FERNANDO MAGNO ; RASTELLO, F. . Parameterized Construction of Program Representations for Sparse Dataflow Analyses. In: International Symposium on Compiler Construction, 2014, Grenoble. LNCS, 2014. p. 18-39.

34.
PICCOLI, GUILHERME ; SANTOS, HENRIQUE N. ; RODRIGUES, RAPHAEL E. ; POUSA, CHRISTIANE ; BORIN, EDSON ; QUINTÃO PEREIRA, FERNANDO M. . Compiler support for selective page migration in NUMA architectures. In: the 23rd international conference, 2014, Edmonton. Proceedings of the 23rd international conference on Parallel architectures and compilation - PACT '14. New York: ACM Press, 2014. p. 369.

35.
NAZARÉ, HENRIQUE ; MAFFRA, IZABELA ; SANTOS, WILLER ; BARBOSA, LEONARDO ; GONNORD, LAURE ; QUINTÃO PEREIRA, FERNANDO MAGNO . Validation of memory accesses through symbolic analyses. In: the 2014 ACM International Conference, 2014, Portland. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14. New York: ACM Press, 2014. p. 791.

36.
PAISANTE, V. M. ; ZAFRA SAGGIORO, LUIZ FELIPE ; RODRIGUES, RAPHAEL E. ; OLIVEIRA, L. B. ; PEREIRA, Fernando Magno Quintão . Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2014, Belo Horizonte. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Porto Alegre: SBC, 2014.

37.
QUADROS, GABRIEL S. ; SOUSA, R. M. ; Pereira, Fernando Magno Quintão . Dynamic Detection of Address Leaks. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), 2013, Curitiba. Anais do XII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais. Bento Gonçalves: SBC, 2012.

38.
COSTA, I. R. A. ; ALVES, P. R. O. ; SANTOS, H. N. ; QUINTÃO PEREIRA, FERNANDO MAGNO . Just-in-time value specialization. In: International Symposium on Code Generation and Optimization, 2013, Shenzhen. Annals of the International Symposium on Code Generation and Optimization. New York: ACM, 2013. v. 1. p. 1-11.

39.
RODRIGUES, R. E. ; SPERLE, V. ; QUINTÃO PEREIRA, FERNANDO MAGNO . A fast and low-overhead technique to secure programs against integer overflows. In: International Symposium on Code Generation and Optimization, 2013, Shenzhen. Annals of the International Symposium on Code Generation and Optimization. New York: ACM, 2013. v. 1. p. 1-11.

40.
BALENA, G. ; VILELA, M. S. ; QUINTÃO PEREIRA, FERNANDO MAGNO . Resolução de Bugs de Desempenho via Clonagem de Funções. In: Simpósio Brasileiro de Linguagens de Programação, 2013, Brasília. Anais do Congresso Brasileiro de Software: Teoria e Prática. Bento Gonçalves: SBC, 2013. v. 1. p. 1-20.

41.
RODRIGUES, R. E. ; QUINTÃO PEREIRA, FERNANDO MAGNO . Prevenção Automática de Ataques de Não-Terminação. In: Simpósio Brasileiro de Linguagens de Programação, 2013, Brasília. Anais do Congresso Brasileiro de Software: Teoria e Prática. Bento Gonçalves: SBC, 2013. v. 1. p. 21-40.

42.
KARENINNA, I. ; QUINTÃO PEREIRA, FERNANDO MAGNO ; BARBOSA, L. . Detecção Automática de Vulnerabilidades em Código Protegido por Canários. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2013, Manaus. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Bento Gonçalves: SBC, 2013. v. 1. p. 1-14.

43.
SILVA, B. R. ; QUINTÃO PEREIRA, FERNANDO MAGNO ; BARBOSA, L. . Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2013, Manaus. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Bento Gonçalves: SBC, 2013. v. 1. p. 15-28.

44.
SANTOS, H. N. ; QUINTÃO PEREIRA, FERNANDO MAGNO ; BARBOSA, L. . Verificação Estática de Acessos a Arranjos em C. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2013, Manaus. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Bento Gonçalves: SBC, 2013. v. 1. p. 29-42.

45.
SPERLE, V. ; RODRIGUES, R. E. ; COSTA, I. R. A. ; PEREIRA, Fernando Magno Quintão . Speed and Precision in Range Analysis. In: Brazilian Symposium on Programming Languages, 2012, Natal. Anais do Simpósio Brasileiro de Linguagens de Programação. Saarbrucken: Springer, 2012. p. 1-15.

46.
ALVES, P. R. O. ; COSTA, I. R. A. ; PEREIRA, Fernando Magno Quintão ; FIGUEIREDO, E. L. . Parameter Based Constant Propagation. In: Brazilian Symposium on Programming Languages, 2012, Natal. Anais do Simpósio Brasileiro de Linguagens de Programação. Saarbrucken: Springer, 2012.

47.
Sampaio, Diogo ; GIDEON, E. ; PEREIRA, Fernando Magno Quintão ; COLLANGE, S. . Spill Code Placement for SIMD Machines. In: Brazilian Symposium on Programming Languages, 2012, Natal. Anais do Simpósio Brasileiro de Linguagens de Programação. Saarbrucken: Springer, 2012.

48.
FERREIRA, B. M. ; PEREIRA, Fernando Magno Quintão ; RODRIGUES, H. ; SOARES-FILHO, B. S. . Optimizing a Geomodeling Domain Specific Language. In: Brazilian Symposium on Programming Languages, 2012, Natal. Anais do Simpósio Brasileiro de Linguagens de Programação. Saarbrucken: Springer, 2012.

49.
Sampaio, Diogo ; SOUSA, R. M. ; COLLANGE, S. ; Pereira, Fernando Magno Quintão . Divergence Analysis with Affine Constraints. In: EEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012, New York. EEE 24th International Symposium on Computer Architecture and High Performance Computing. New York: IEEE, 2012. p. 67-74.

50.
MILANEZ, T. ; COLLANGE, S. ; Pereira, Fernando Magno Quintão ; Meira, Wagner ; Ferreira, Renato A . Data and Instruction Uniformity in Minimal Multi-threading. In: IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012, New York. IEEE 24th International Symposium on Computer Architecture and High Performance Computing. New York: IEEE, 2012. p. 270-277.

51.
Sol, Rodrigo ; Christophe Guillon ; PEREIRA, Fernando Magno Quintão ; BIGONHA, Mariza A S . Dynamic Elimination of Overflow Tests in a Trace Compiler. In: European Joint Conferences on Theory and Practice of Software, 2011, Saarbrucken. The International Symposium on Compiler Construction. Heidelberg: Springer-Verlag, 2011. v. 6601. p. 2-21.

52.
Rimsa, Andrei A. ; Amorim, Marcelo ; PEREIRA, Fernando Magno Quintão . Tainted Flow Analysis on e-SSA-Form Programs. In: European Joint Conferences on Theory and Practice of Software, 2011, Saarbrucken. The International Symposium on Compiler Construction. Heidelberg: Springer-Verlag, 2011. v. 6601. p. 122-141.

53.
Tavares, André L. C. ; Quentin Colombet ; BIGONHA, Mariza A S ; Christophe Guillon ; PEREIRA, Fernando Magno Quintão ; RASTELLO, F. . Decoupled Graph-Coloring Register Allocation with Hierarchical Aliasing. In: 14th International Workshop on Software and Compilers for Embedded Systems, 2011, St. Goar. Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011. p. 2-11.

54.
COUTO, D ; PEREIRA, Fernando Magno Quintão . The Design and Implementation of a non-iterative Range Analysis Algorithm on a Production Compiler. In: Brazilian Symposium on Programming Languages, 2011, São Paulo. Anais do 15.o Simpósio Brasileiro de Linguagens de Programação, 2011. p. 2-16.

55.
Coutinho, Bruno ; Sampaio, Diogo ; PEREIRA, Fernando Magno Quintão ; Meira, Wagner . Divergence Analysis and Optimizations. In: The Twentieth International Conference on Parallel Architectures and Compilation Techniques, 2011, Galveston Island. Proceedings of the 20th International Conference on Parallel Architectures and Compilation Techniques, 2011. p. 2-11.

56.
QUADROS, GABRIEL S. ; PEREIRA, Fernando Magno Quintão . Static Detection of Address Leaks. In: XI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2011, Brasilia. Anais do XI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2011. p. 1-15.

57.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Punctual Coalescing. In: International Conference on Compiler Construction, 2010, Paphos. Compiler Construction, 2010. v. 6011. p. 165-184.

58.
Rimsa, Andrei A. ; Amorim, Marcelo ; PEREIRA, Fernando Magno Quintão . Efficient Static Check of Tainted Variable Attacks. In: Brazilian Symposium on Programming Languages, 2010, Salvador. In Proceedings of the 14th Brazilian Symposium on Programming Languages, 2010. p. 1-15.

59.
Sol, Rodrigo ; PEREIRA, Fernando Magno Quintão ; BIGONHA, Mariza de Andrade da Silva . Removing Overflow Tests Via Run-Time Partial Evaluation. In: Brazilian Symposium on Programming Languages, 2010, Salvador. Proceedings of the 14th Brazilian Symposium on Programming Languages, 2010. p. X-X.

60.
Coutinho, Bruno ; Sampaio, Diogo ; PEREIRA, Fernando Magno Quintão ; Meira, Wagner . Optimizing GPU applications via the Divergence Map. In: International Symposium on Computer Architecture and High Performance Computing, 2010, Petropolis. Proceeding of the 22nd International Symposium on Computer Architecture and High Performance Computing, 2010. p. X-X.

61.
Tavares, André L. C. ; PEREIRA, Fernando Magno Quintão ; BIGONHA, Mariza de Andrade da Silva ; BIGONHA, Roberto da Silva . Efficient SSI Conversion. In: Brazilian Symposium on Programming Languages, 2010, Salvador. Proceedings of the 14th Brazilian Symposium on Programming Languages, 2010. p. X-X.

62.
PEREIRA, Fernando Magno Quintão; BERLIN, D. . Wave Propagation and Deep Propagation for Pointer Analysis. In: 2009 International Symposium on Code Generation and Optimization (CGO), 2009, Seattle. 2009 International Symposium on Code Generation and Optimization (CGO), 2009. p. 1-10.

63.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . SSA Elimination After Register Allocation. In: Compiler Construction, 2009, York. Compiler Construction, 2009. p. 1-16.

64.
Mata, L. L. P. ; PEREIRA, Fernando Magno Quintão ; Ferreira, Renato A . Automatic Parallelization of Canonical Loops. In: Simpósio Brasileiro de Linguagens de Programação, 2009, Pelotas. Simpósio Brasileiro de Linguagens de Programação, 2009.

65.
BIGONHA, Mariza A S ; PEREIRA, Fernando Magno Quintão ; RASTELLO, F. ; BIGONHA, Roberto da S . A Coalescing Algorithm for Aliased Registers. In: COLIBRI, 2009, Bento Gonçalvez. Coloquio de Informatica Brasil INRIA, 2009.

66.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation by Puzzle Solving. In: ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI), 2008, Tuckson. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI), 2008.

67.
Venkata K. Nandivada ; PEREIRA, Fernando Magno Quintão ; PALSBERG, J. . A Framework for End-to-End Verification and Evaluation of Register Allocators.. In: The Fourteenth International Static Analysis Symposium (SAS 2007), 2007, Aahus. The Fourteenth International Static Analysis Symposium (SAS 2007), 2007. p. 153-169.

68.
Lee, Jonathan K. ; PALSBERG, J. ; PEREIRA, Fernando Magno Quintão . Alias Register Allocation for Straight-line Programs is NP-complete.. In: ICALP - 34th International Colloquium on Automata, Languages and Programming., 2007, Warsaw. ICALP - 34th International Colloquium on Automata, Languages and Programming., 2007. p. 680-691.

69.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation After Classical SSA Elimination is NP-Complete.. In: Foundations of Software Science and Computation Structures, 2006, Viena. Foundations of Software Science and Computation Structures, 2006. p. 79-93.

70.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation via Coloring of Chordal Graphs.. In: The Third Asian Symposium on Programming Languages and Systems., 2005, Tsukuba. The Third Asian Symposium on Programming Languages and Systems., 2005. p. 315-329.

71.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da S ; BIGONHA, Mariza de Andrade da Silva . Arcademis: a Framework for Middleware Development. In: Simpósio Brasileiro de Redes de Computadores, 2004, Gramados, RS. SBRC 2004, 2004.

72.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; PIRES, Wagner Salazar ; BIGONHA, Roberto da S ; BIGONHA, Mariza A S . Tactics for Remote Method Invocation. In: Simpósio Brasileiro de Linguagens de Programação, 2004, Niterói, RJ. SBLP 2004, 2004.

73.
VALENTE, Marco Túlio de Oliveira ; PEREIRA, Fernando Magno Quintão ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . A Coordination Model for Ad Hoc Mobile Systems. In: EURO-PAR 2003 - INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, 2003, Klagenfurt. Lecture Notes in Computer Science, 2003.

74.
PEREIRA, Fernando Magno Quintão; ROLLA, Leonardo Trivelato ; REZENDE, Cristiano Gato de ; CARCERONI, Rodrigo Lima . The Language LinF for Fractal Specification. In: SIBGRAPI 2003 - Brazilian Symposium on Computer Graphics and Image Processing, 2003, São Carlos. Anais do SIBGRAPI 2003, 2003.

75.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . Chamada Remota de Métodos na Plataforma J2ME/CLDC. In: V Workshop de Comunicação sem Fio e Computação Móvel, 2003, São Lourenço. Anais do V WCSF, 2003.

76.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . A Java-based Simulator for Ad Hoc Mobile Distributed Systems. In: FIDJI'2002 International Workshop on Scientific Engineering of Distributed java Applications, 2002, Luxembourg. Anais do FIDJI'2002 International Workshop on Scientific Engineering of Distributed java Applications, 2002.

77.
VALENTE, Marco Túlio de Oliveira ; PEREIRA, Fernando Magno Quintão ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . A Coordination Model for Ad Hoc Mobile Systems and its Formal Semantics. In: IV Workshop de Comunicação sem Fio e Computação Móvel, 2002, São Paulo. Anais do IV Workshop de Comunicação sem Fio e Computação Móvel, 2002. p. 58-67.

78.
PEREIRA, Fernando Magno Quintão; BIGONHA, Roberto da S ; IORIO, Vladimir Oliveira de . Aplicações de Avaliação Parcial de Programas. In: LIV Reunião Nacional da Sociedade Brasileira para o Progresso da Ciência, 2002, Goiânia. Anais do 54ª Reunião Nacional da SBPC, 2002.

79.
PEREIRA, Fernando Magno Quintão; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S ; IORIO, Vladimir Oliveira de . Avaliação Parcial de Programas usando CMIX/II. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba. Anais do V Simpósio Brasileiro de Linguagens de Programação, 2001. p. C-32-C-47.

80.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . Uma Linguagem para Coordenação de Aplicações em Redes Móveis. In: VI Simpósio Brasileiro de Linguagens de Programação, 2001, Rio de Janeiro. Anais do VI Simpósio Brasileiro de Linguagens de Programação, 2001.

Resumos expandidos publicados em anais de congressos
1.
EMILIO, R. ; TYMBURIBA, M. ; PEREIRA, FERNANDO M. Q. . RipRop: A Dynamic Detector of ROP Attacks. In: CBSoft Tools, 2015, Belo Horizonte. Anais do Congresso Brasileiro de Software. Porto Alegre: SBC, 2015. p. 1-8.

2.
SILVA, B. R. ; RIBEIRO, L. R. ; PEREIRA, FERNANDO M. Q. . FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo. In: CBSoft Tools, 2015, Belo Horizonte. Anais do Congresso Brasileiro de Software. Porto Alegre: SBC, 2015. p. 9-16.

3.
COUTO, D ; ANDRADE, Kézia ; SOUZA, G ; PEREIRA, FERNANDO M. Q. . Etino: Colocação Automática de Computação em Hardware Heterogêneo. In: CBSoft Tools, 2015, Belo Horizonte. Anais do Congresso Brasileiro de Software. Porto Alegre: SBC, 2015. p. 17-24.

4.
CEZAR, J. ; DEMONTIE, F. ; BIGONHA, Mariza A S ; PEREIRA, FERNANDO M. Q. . Asymptus - A Tool for Automatic Inference of Loop Complexity. In: CBSoft Tools, 2015, Belo Horizonte. Anais do Congresso Brasileiro de Software. Porto Alegre: SBC, 2015. p. 25-32.

5.
SPERLE, V. ; RAFAEL ALVES, PÉRICLES ; PEREIRA, FERNANDO M. Q. . Restrictifier: a tool to disambiguate pointers at function call sites. In: CBSoft Tools, 2015, Belo Horizonte. Anais do Congresso Brasileiro de Software. Porto Alegre: SBC, 2015. p. 33-40.

6.
SANTOS, H. N. ; PEREIRA, Fernando Magno Quintão ; BARBOSA, L. . ArAnot - An Array Annotator for C and C++. In: CBSoft Tools, 2013, Brasília. Anais do Congresso Brasileiro de Software: Teoria e Prática. Bento Gonçalves: SBC, 2013.

7.
SILVA, B. R. ; PEREIRA, Fernando Magno Quintão ; BARBOSA, L. ; LOUREIRO, A. A. F. . Flow Tracking: Uma ferramenta para detecção de vazamento de informações sigilosas. In: CBSoft Tools, 2013, Brasília. Anais do Congresso Brasileiro de Software: Teoria e Prática. Bento Gonçalves: SBC, 2013.

8.
VILELA, M. S. ; QUINTÃO PEREIRA, FERNANDO MAGNO . Otimizações de Código Sensíveis ao Contexto de Chamada. In: Workshop de Teses de Disertações do CBSoft, 2013, Brasília. WTDSoft. Bento Gonçalves: SBC, 2013. v. 1. p. 1-6.

9.
RODRIGUES, R. E. ; QUINTÃO PEREIRA, FERNANDO MAGNO . Non-Termination Attacks Based on Integer Overflows. In: Workshop de Teses de Disertações do CBSoft, 2013, Brasília. WTDSoft. Bento Gonçalves: SBC, 2013. v. 1. p. 7-12.

10.
QUADROS, GABRIEL S. ; PEREIRA, Fernando Magno Quintão . A Static Analysis Tool to Detect Address Leaks. In: CBSoft Seção de Demonstração de Ferramentas, 2012, Natal. Anais do Congresso Brasileiro de Software de 2012: Teoria e Prática, 2012.

11.
FERREIRA, B. M. ; PEREIRA, Fernando Magno Quintão ; RODRIGUES, H. ; SOARES-FILHO, B. S. . A Domain Specific Language plus Integrated Development Environment for Geomodeling. In: CBSoft Seção de Demonstração de Ferramentas, 2012, Natal. Anais do Congresso Brasileiro de Software de 2012: Teoria e Prática, 2012.

12.
Vilela, Thiago ; PEREIRA, Fernando Magno Quintão ; Chaimowicz, Luiz . DroidTour: um Jogo Baseado em Localização para a Plataforma Android. In: X Simpósio Brasileiro de Games e Entretenimento DIgital, 2011, Salvador. Anais do X Simpósio Brasileiro de Games e Entretenimento DIgital, 2011.

13.
Sampaio, Diogo ; Coutinho, Bruno ; PEREIRA, Fernando Magno Quintão . Detecting Divergent Branches in SIMD Architectures. In: Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010, Salvador. Proceedings of the 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010. p. X-X.

Resumos publicados em anais de congressos
1.
PEREZ, N. B. ; PEREIRA, Fernando Magno Quintão ; BERON, M. M. . Paralelización del D-Index para Búsquedas en Espacios Métricos. In: Workshop de Investigadores en Ciencias de la Computación, 2012, Posadas. Anais do XIV Workshop de Investigadores en Ciencias de la Computación, 2012.

Apresentações de Trabalho
1.
PEREIRA, FERNANDO MAGNO QUINTAO. Pesquisa em Compiladores na UFMG. 2017. (Apresentação de Trabalho/Comunicação).

2.
RASTELLO, F. ; Sebastian Hack ; PEREIRA, Fernando Magno Quintão ; PALSBERG, J. ; BRISK, P . SSA Based Register Allocation. 2008. (Apresentação de Trabalho/Congresso).

3.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation via Coloring of Chordal Graphs. 2005. (Apresentação de Trabalho/Simpósio).

Outras produções bibliográficas
1.
QUINTAO PEREIRA, FERNANDO MAGNO. Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14). Amsterdan, 2016. (Prefácio, Pósfacio/Prefácio)>.


Produção técnica
Programas de computador sem registro
1.
PEREIRA, FERNANDO MAGNO QUINTAO; RAMOS, P. ; MENDONÇA, GLEISON . Taskminer. 2018.

2.
SOUZA, G ; GUIMARAES, B. C. F. ; ALVES, PÉRICLES RAFAEL ; QUINTÃO PEREIRA, FERNANDO M. . DawnCC. 2016.

3.
MOREIRA, RUBENS E. A. ; COLLANGE, SYLVAIN ; QUINTÃO PEREIRA, FERNANDO M. . Function call re-vectorizer. 2016.

4.
MELO, L. T. C. ; RODRIGUES, M. ; RIBEIRO, R. G. ; QUINTÃO PEREIRA, FERNANDO M. . Psyche-c. 2016.

5.
RODRIGUES, BRUNO ; ARANHA, DIEGO F. ; QUINTÃO PEREIRA, FERNANDO M. . FlowTracker. 2015.

6.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation by Puzzle solving. 2009.

7.
PEREIRA, Fernando Magno Quintão; BERLIN, D. . Wave Propagation and Deep Propagation for Pointer Analysis. 2008.

8.

9.
PEREIRA, Fernando Magno Quintão. RME: RMI for J2ME. 2003.

10.
PEREIRA, Fernando Magno Quintão; ROLLA, Leonardo Trivelato ; REZENDE, Cristiano Gato de . cFleo. 2003.

11.

12.
PEREIRA, Fernando Magno Quintão; SILVA, Cristiano Maciel da . Simulador de Algoritmos Distribuídos em PeerSpaces. 2002.

13.

Trabalhos técnicos
1.
PEREIRA, Fernando Magno Quintão. Introdução à Programação para a Plataforma Android. 2012.

2.
PEREIRA, Fernando Magno Quintão. Uma Comparação entre Formalismos Utilizados para Especificações Semânticas. 2003.

3.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza de Andrade da Silva . Arcademis: um Arcabouço para o Desenvolvimento de Middleware. 2003.

4.

5.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza de Andrade da Silva . Arcademis: a Java-Based Framework for Middleware Development. 2003.

6.
PEREIRA, Fernando Magno Quintão; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . Implementação de um Gerador de Interpretadores de Uso Geral. 2001.

7.
PEREIRA, Fernando Magno Quintão; BIGONHA, Roberto da Silva ; BIGONHA, Mariza A S . Compilação de um programa escrito em linguagem qualquer para Haskell. 2001.

8.
PEREIRA, Fernando Magno Quintão; TAVEIRA, Wendell Figueiredo . A Simulator for Ad Hoc Mobile Distributed Systems. 2001.

9.
PEREIRA, Fernando Magno Quintão; BIGONHA, Roberto da Silva ; IORIO, Vladimir Oliveira de ; BIGONHA, Mariza A S . Avaliação Parcial de Programas Usando CMIX/II. 2001.


Demais tipos de produção técnica
1.
PEREIRA, Fernando Magno Quintão. Introduction to Compilers. 2017. (Curso de curta duração ministrado/Outra).

2.
PEREIRA, FERNANDO MAGNO QUINTAO. Algoritmos e Estruturas de Dados II. 2017. (Desenvolvimento de material didático ou instrucional - CursodeGraduação).

3.
QUINTÃO PEREIRA, FERNANDO MAGNO. Static Analysis and Optimization with LLVM. 2015. .

4.
QUINTÃO PEREIRA, FERNANDO MAGNO. Code Optimization with the LLVM Compiler. 2014. .

5.
QUINTÃO PEREIRA, FERNANDO MAGNO. Code Optimization with the LLVM Compiler. 2014. .

6.
PEREIRA, Fernando Magno Quintão. Code Generation Techniques for Graphics Processing Units. 2013. (Curso de curta duração ministrado/Outra).

7.
PEREIRA, Fernando Magno Quintão. Introdução a Programação Android. 2013. (Curso de curta duração ministrado/Extensão).

8.
PEREIRA, Fernando Magno Quintão. Code Analysis and Optimization. 2013. (Desenvolvimento de material didático ou instrucional - Curso de Graduação).

9.
PEREIRA, Fernando Magno Quintão. Introduction to Programming Languages. 2012. (Desenvolvimento de material didático ou instrucional - Livro).

10.
PEREIRA, Fernando Magno Quintão. Técnicas de Otimização de Código para Placas de Processamento Gráfico. 2011. .

11.
PEREIRA, Fernando Magno Quintão. Técnicas de Otimização de Código para Placas de Processamento Gráfico. 2011. (Curso de curta duração ministrado/Outra).

12.
PEREIRA, Fernando Magno Quintão. Programación Modular y Anti-Patrones de Proyecto. 2010. .

13.
PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation by Puzzle Solving. 2009. (Pedido de patente em análise).



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation by Puzzle Solving. 2009, Estados Unidos.
Patente: Privilégio de Inovação. Número do registro: US20090083721, título: "Register Allocation by Puzzle Solving" , Instituição de registro: United States Patent and Trademark Office. Depósito: 26/03/2009; Depósito PCT: 26/03/2009; Concessão: 17/07/2012; Expiração: 17/07/2013. Instituição(ões) financiadora(s): UCLA.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MAGNO QUINTÃO PEREIRA, FERNANDO; ARAUJO, G.; RIGO, S.. Participação em banca de Luís Felipe Souza de Mattos. Paralelização de Laços Doacross Usando Anotações de Componentes e Probabilidade de Loop-Carried. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

2.
Ferreira, Renato A; Neto, Dorgival O. G.; QUINTÃO PEREIRA, FERNANDO M.; ARAUJO, G.; Rocha, Leonardo Dutra. Participação em banca de Wilson de Carvalho Moreira Júnior. Parallel Programming Models for Mobile Devices. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
VELOSO, A. A.; PEREIRA, A. C. M.; MAGNO QUINTÃO PEREIRA, FERNANDO. Participação em banca de Vinícius Veloso de Mello Garcia. Jspy: Um Modelo Objetivo para Compreenção de Linguagem Natural. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.
NOGUEIRA, J. M.; MACEDO, D. F.; QUINTAO PEREIRA, FERNANDO MAGNO; CUNHA, I. F. S.; KOSMALSKI, L. H.. Participação em banca de José Leal Domingues Neto. Uloof: User-Level Online Offloading Framework. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

5.
ARAUJO, G.; QUINTAO PEREIRA, FERNANDO MAGNO; WANNER, L. F.. Participação em banca de Martin Ichilevici de Oliveira. PTB: An Integrated Page, Thread and Bandwidth Allocation Approach for NUMA Architectures. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

6.
MOTA, A. C.; Amorim, Marcelo; QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de Bruno Costa e Silva Nogeuira. Techniques to Facilitate Probabilistic Software Analysis of Real-World Programs. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
BIGONHA, Mariza A S; COELHO, C. J. N.; FERNANDES, A. O.; QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de Felipe Silva Loredo. Um Modelo Transparente de Memória Scratchpad para Arquiteturas de Propósito Geral. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

8.
QUINTAO PEREIRA, FERNANDO MAGNO; COLLANGE, S.; Ferreira, Renato A. Participação em banca de Douglas do Couto Teixeira. Optimizations for Graphics Processing Units. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.
BIGONHA, Mariza A S; QUINTAO PEREIRA, FERNANDO MAGNO; NETO, H.T.M.; FIGUEIREDO, E. L.. Participação em banca de Francisco Demontiê dos Santos Junior. Generation of Test Cases for Languages with Pointer Arithmetics. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

10.
VALENTE, Marco Túlio de Oliveira; VILLELA, R. T. N. B.; LIMA FILHO, F. J. C.; QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de Vitor Madureira Sales. Recommending move Method Refactoring Using Dependnecy Sets. 2014.

11.
FIGUEIREDO, E. M.; QUINTÃO PEREIRA, FERNANDO MAGNO; MAIA, M. A.. Participação em banca de Carlos Alexandre Garcia de Souza. An Empirical Study About the use of Optional Typing in Software Systems. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

12.
Ralha, Célia Ghedini; QUINTÃO PEREIRA, FERNANDO MAGNO; Câmara Jr., Auto Tavares. Participação em banca de Marcius Montedo Marques. Abordagem Ontológica para Mitigação de Riscos em Aplicações Web. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

13.
BIGONHA, Roberto da S; SANTOS, A. L. M.; TIRELO, F.; PEREIRA, Fernando Magno Quintão. Participação em banca de Gulherme Henrique de Sousa Santos. Semântica Denotacional Escalável de Linguagens Imperativas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

14.
CAMARAO, C.; FIGUEIREDO, L.; PEREIRA, Fernando Magno Quintão; BIGONHA, Roberto da S. Participação em banca de Marco Túlio Gontijo e Silva. Controlando o Escopo das Instâncias em Haskell. 2013.

15.
SILVA, Anderson Faustino; FELTRIN, Valéria Delisandra; QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de George Souza Oliveira. A nova geraçao do YAP Prolog: Um ambiente experimental de compilação just-in-time baseada em traços de execução. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.

16.
AZEVEDO, Rodolfo; RIGO, S.; QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de Leonardo Garcia. Análise e estudo de desempenho e consumo de energia de Memórias Transacionais em Software. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

17.
ARAUJO, G.; BORIN, E.; RIGO, S.; PEREIRA, Fernando Magno Quintão. Participação em banca de Divino César Soares Lucas. Modeling the Performance Impact of Hot Code Misprediction in Cross-ISA Virtual Machines. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

18.
Pimentel, Elaine; BIGONHA, Roberto da S; PEREIRA, Fernando Magno Quintão. Participação em banca de Giselle Machado Reis. implementacaoo de sistemas logicos utilizando logica linear com sub-exponenciais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Teses de doutorado
1.
RIGO, S.; Polychronakis, M.; QUINTÃO PEREIRA, FERNANDO M.; ARANHA, Diego; DEUS, P. L.. Participação em banca de João Batista Corrêa Gomes Moreira. Protection Mechanisms Against Control-Flow Hijacking Attacks. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

2.
ARAUJO, G.; BALDASSIN, A. J.; PEREIRA, FERNANDO MAGNO QUINTAO; RIGO, S.; Pereira, Márcio. Participação em banca de Divino César Soares Lucas. The Batched DOACROSS Algorithm. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

3.
NOGUEIRA, J. M.; OLIVEIRA, L. B.; FEITOSA, E. L.; QUINTAO PEREIRA, FERNANDO MAGNO; DELICATO, F. C.; ALVIM, M. S. F.. Participação em banca de Fernando Augusto Teixeira. Static Analysis of Distributed Systems. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.
Carvalho Junior, Francisco Heron; QUINTÃO PEREIRA, FERNANDO M.. Participação em banca de Anderson Boettge Pinheiro. Programação para Ambientes Heterogêneos Baseados em GPUGPU: Desafios e Soluções. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

5.
BORIN, E.; Navaux, Philippe O. A.; QUINTÃO PEREIRA, FERNANDO M.; AZEVEDO, Rodolfo; RIGO, S.. Participação em banca de Rafael Auler. OpenISA, a Hybrid ISA. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

6.
BORBA, P. H. M.; LIMA, R. M. F.; Amorim, Marcelo; QUINTÃO PEREIRA, FERNANDO MAGNO; VALENTE, Marco Túlio de Oliveira. Participação em banca de Gustavo Henrique Lima Pinto. A Refactoring Approach to Improve Energy Consumption of Parallel Software Systems. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
SOUTO, Eduardo; FEITOSA, E.; QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de Gilbert Breves Martins. Identificação de Malware Metamórfico Baseado em Grafos de Dependências. 2015. Tese (Doutorado em Informática) - Universidade Federal do Amazonas.

8.
SOUTO, Eduardo; FEITOSA, E.; QUINTAO PEREIRA, FERNANDO MAGNO. Participação em banca de Gilbert Breves Martins. Identificação de Malware Metafórfico Baseado em Grafos de Dependência. 2015. Tese (Doutorado em Informática) - Universidade Federal do Amazonas.

9.
BIGONHA, Roberto da Silva; IORIO, Vladimir Oliveira de; QUINTÃO PEREIRA, FERNANDO MAGNO; BIGONHA, Mariza A S; Musicante, M. A.; IERUSALIMSCHY, Roberto. Participação em banca de Leonardo Viera dos Santos Reis. Adaptable Parsing Expression Grammars. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

10.
CAMARAO, C.; COSTA, A. P.; QUINTÃO PEREIRA, FERNANDO MAGNO; FIGUEIREDO, L. C.; SYLZMANN, M.; BIGONHA, ROBERTO S.. Participação em banca de Rodrigo Geraldo Ribeiro. Classes de Tipos com Múltiplos Parâmetros e Opcionais em Haskell. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

11.
BIGONHA, Roberto da Silva; IORIO, Vladimir Oliveira de; QUINTÃO PEREIRA, FERNANDO MAGNO; BIGONHA, Mariza de Andrade da Silva; Musicante, M. A.; IERUSALIMSCHY, Roberto. Participação em banca de Leonardo Vieira dos Santos Reis. Adaptable Parsing Expression Grammars. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Qualificações de Doutorado
1.
Castor, Fernando; Teixeira, LM; Fernandes, JP; PEREIRA, Fernando Magno Quintão. Participação em banca de Wellington de Oliveira Junio. Leveraging Design Diversity to Build Energy Efficient Mobile Applications. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
VALENTE, Marco Túlio de Oliveira; CAVALCANTE, André; MAGNO QUINTÃO PEREIRA, FERNANDO; GHEYI, Rohit. Participação em banca de Danilo Ferreira e Silva. Detecting Refactorings From Version Histories: Tools and Applications. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
LIMA, R. M. F.; QUINTAO PEREIRA, FERNANDO MAGNO; GAMA, K. S.. Participação em banca de André Gustavo Pereira da Silva. FIrM: Um Middleware Para Suporte a Aplicações Funcionais Distribuídas. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
DAHAB, Ricardo; RUBIRA, Cecilia; MARTINS, Eliane; ARANHA, Diego; VIEIRA, Marco; GALLO, Roberto A.; QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de Alexandre Melo Braga. Desenvolvimento de Software Criptográfico Seguro. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

5.
BORIN, E.; ARANHA, Diego; QUINTÃO PEREIRA, FERNANDO MAGNO; RIGO, S.. Participação em banca de Rafael Auler. The Design of OpenISA, an Emulation Friendly ISA. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Trabalhos de conclusão de curso de graduação
1.
Cenni, A. L.; PEREIRA, Fernando Magno Quintão. Participação em banca de Roberto Vidal Coutinho Lopes.Desenvolvimento de um aplicativo em Android para fazer o gerenciamento integrado de listas de atividades utilizando boas práticas da Engenharia de software. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

2.
QUINTÃO PEREIRA, FERNANDO MAGNO. Participação em banca de Roberto Vidal Coutinho.Desenvolvimento de um Aplicativo em Android Para fazer o Gerenciamento Integrado de Listas de Atividades Utilizando boas Práticas de Engenharia de Software. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais.

3.
BIGONHA, Mariza A S; PEREIRA, Fernando Magno Quintão. Participação em banca de Adriano Guedes da Silva.Implementação de um Ambiente Gráfico para o modelo PeerSpaces. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais.

4.
PEREIRA, Fernando Magno Quintão; VALENTE, Marco Túlio de Oliveira. Participação em banca de Wagner Salazar Pires.Chamada Assíncrona de Métodos em Ambiente de Computação Móvel. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais.



Participação em bancas de comissões julgadoras
Concurso público
1.
MOREIRA, Alvaro; HAEUSLER, E. H.; MAGNO QUINTÃO PEREIRA, FERNANDO. Professor Adjunto UFRGS. 2017. Universidade Federal do Rio Grande do Sul.

2.
STOLFI, J.; CASTRO JR, A. A.; PEREIRA, Fernando Magno Quintão. Concurso para Professor da Universidade Estadual do Amazonas. 2013. Universidade do Estado do Amazonas.

3.
Vasconcellos, C. D.; Cardoso, E. M.; PEREIRA, Fernando Magno Quintão. Concurso para Professor Assistente da Universidade Federal de Ouro Preto, Campus de João Monlevade. 2012. Universidade Federal de Ouro Preto.

4.
Leonardo Reis; IORIO, Vladimir Oliveira de; PEREIRA, Fernando Magno Quintão. Concurso para Professor Adjunto UFOP - Campos de João Monlevade. 2011. Universidade Federal de Ouro Preto.

5.
Silveira, C.; PEREIRA, Fernando Magno Quintão. Concurso para professor assistente da UNIFEI - Campus de Itabira. 2011. Universidade Federal de Itajubá.

6.
Marcelo Maia; Christiano Braga; PEREIRA, Fernando Magno Quintão. Concurso para Professor Adjunto - Universidade Federal de Uberlândia. 2010. Universidade Federal de Uberlândia.

Outras participações
1.
QUINTÃO PEREIRA, FERNANDO M.. Comissão de Avaliação dos candidatos à bolsa sanduíche (PDSE). 2016. Universidade Estadual de Campinas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
The European Joint Conferences on Theory and Practice of Software. Dynamic Elimination of Overflow Tests in a Trace Compiler. 2011. (Congresso).

2.
Brazilian Conference on Software: Theory and Practice (CBSoft). Removing Overflow Tests via Run-Time Partial Evaluation. 2010. (Congresso).

3.
The European Joint Conferences on Theory and Practice of Software. Punctual Coalescing. 2010. (Congresso).

4.
Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios. Decoupled Graph-Coloring Register Allocation with Hierarchical Aliasing. 2009. (Congresso).

5.
European Joint Conferences on Theory and Practice of Software (ETAPS). SSA Elimination after Register Allocation. 2009. (Congresso).

6.
International Conference on Embedded Software (EMSOFT). SSA Based Register Allocation. 2008. (Congresso).

7.
Programming Language Design and Implementation (PLDI).Register Allocation by Puzzle Solving. 2008. (Simpósio).

8.
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.. 2007. (Simpósio).

9.
History of Programming Languages (HOPL). 2007. (Simpósio).

10.
European Joint Conferences on Theory and Practice of Software (ETAPS).Register Allocation After Classical SSA Elimination is NP-Complete.. 2006. (Simpósio).

11.
USENIX. 2006. (Simpósio).

12.
Principles of Programming Languages (POPL). 2005. (Simpósio).

13.
The Third Asian Symposium on Programming Languages and Systems.Register Allocation via Coloring of Chordal Graphs. 2005. (Simpósio).

14.
Simposio Brasileiro de Redes de Computadores.Arcademis: a Framework for Middleware Development. 2004. (Simpósio).

15.
Middleware 2003 International Conference. 2003. (Congresso).

16.
SIBGRAPI.Simpósio Brasileiro de Computação Gráfica e Processamento Digital de Imagens. 2003. (Simpósio).

17.
VII Simpósio Brasileiro de Linguagens de Programação. Simpósio nacional de linguagens de programação. 2003. (Congresso).

18.
V Workshop sobre comunicações sem fio e computação móvel. Workshop sobre computação móvel e ambientes de comunicação sem fio.. 2003. (Congresso).

19.
VI Simpósio Brasileiro de Linguagens de Programação. Simpósio nacional de linguagens de programação. 2002. (Congresso).

20.
V Simpósio Brasileiro de Linguagens de Programação.Simpósio nacional de linguagens de programação. 2001. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
MAGNO QUINTÃO PEREIRA, FERNANDO; GAMATIÉ, A. . 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip - Heterogeneous Multi/Manycore Processing for Energy-Efficient Execution. 2018. (Congresso).

2.
QUINTÃO PEREIRA, FERNANDO MAGNO; FIGUEIREDO, E. M. ; MARQUES, Kécia ; NELSON, M. A. V. . Congresso Brasileiro de Software - Teoria e Prática (CBSoft). 2015. (Congresso).

3.
MAGNO QUINTAO PEREIRA, FERNANDO; MARQUES, Kécia ; FIGUEIREDO, E. M. ; NELSON, M. A. V. . Congresso Brasileiro de Software, Teoria e Pratica. 2015. (Congresso).

4.
PEREIRA, Fernando Magno Quintão. Simpósio Brasileiro de Linguagens de Programação. 2014. (Congresso).

5.
PEREIRA, Fernando Magno Quintão. III Workshop de Teses e Dissertações do CBSoft 2013. 2013. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Guilherme Vieira Leobas. Static Prediction of Silent Stores. Início: 2017. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
CAIO ARAÚJO NEPONOCENO DE LIMA. Acelaração de Programas JavaScript via Anotações de Código. Início: 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Marcos Yukio Siraichi. Alocação de Qbits para Computação Quântica. Início: 2017. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

4.
Gleison Souza Diniz Mendonça. DawnCC. Início: 2017. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

5.
Junio Cesar Rebiero da Silva. Intelligent DVFS. Início: 2017. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais, Google. (Orientador).

Tese de doutorado
1.
Leandro Terra Cunha Melo. Invisible Typing Oriented Programming. Início: 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Intel Semicondutores do Brasil. (Orientador).

2.
Andrei Rimsa Alves. Profiling Oriented Optimizations for Heterogeneous Systems. Início: 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Orientador).

3.
Mateus Felipe Tymburibá Ferreira. Peephole Detection of ROP-Based Attacks. Início: 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Iniciação científica
1.
Breno Campos Ferreira Guimarães. DawnCC. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, LG Electronics. (Orientador).

2.
Hugo Araújo de Sousa. Utilização de predição de branches para mitigar ataques ROP. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Rubens Emílio Alves Moreira. Function Call Re-Vectorization. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

2.
Victor Hugo Sperle Campos. Restrictification of Function Arguments. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, LG Electronics. Orientador: Fernando Magno Quintão Pereira.

3.
Vitor Mendes Paisante. Symbolic Range Analysis of Pointers. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Intel Semicondutores do Brasil. Orientador: Fernando Magno Quintão Pereira.

4.
Henrique Nazaré Santos. Symbolic Range Analysis. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

5.
Francisco Demontiê dos Santos Junior. Generation of Test Cases for Languages with Pointer Arithmetics. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Maxtrack Inovação em Rastreamento. Coorientador: Fernando Magno Quintão Pereira.

6.
Marcus Rodrigues de Araújo. Compilação de Código Parcialmente Disponível. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

7.
Pedro Henrique Ramos Costa. Mineração de Tarefas em Programas Irregulares. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

8.
Marcelo Pereira Novaes. Unassisted Mapping of Computations on big.LITTLE Architectures via Reinforcement Learning. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

9.
Kézia Corrêa Andrade Moreira. Colocação Automática de Computação em Hardware Heterogêneo. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Intel Semicondutores do Brasil. Orientador: Fernando Magno Quintão Pereira.

10.
Gabriel Poesia Reis e Silva. Static Scheduling of Computations on Heterogeneous Hardware. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Google. Orientador: Fernando Magno Quintão Pereira.

11.
Péricles Rafael Oliveira Alves. Runtime Pointer Disambiguation. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, LG Electronics. Orientador: Fernando Magno Quintão Pereira.

12.
Douglas do Couto Teixeira. Desenvolvimento de Heuristicas para a Invocação de Compilação Just-in-Time. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Fernando Magno Quintão Pereira.

13.
Bruno Moraes Ferreira. Análise de Divergências com Constantes Simbólicas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Fernando Magno Quintão Pereira.

14.
Teo Milanez Brandão. Sincronização de Threads em Hardware SIMD. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

15.
Raphael Ernani Rodrigues. Detecção Automática de Overflows em Aritmética de Inteiros. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

16.
Matheus Silva Vilela. Otimizações de Ponteiros Sensíveis ao Contexto de Chamada de Função. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fernando Magno Quintão Pereira.

17.
André Luiz Camargos Tavares. Alocação de Registradores Desacoplada Baseada em Coloração de Grafos com Compartilhamento Hierárquico. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Fernando Magno Quintão Pereira.

18.
Marcos Rodrigo Sol Souza. Eliminação de Testes de Overflow para Compiladores de Trilhas. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Fernando Magno Quintão Pereira.

19.
Diogo Nunes Sampaio. Divergence Analysis with Affine Constraints. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Fernando Magno Quintão Pereira.

20.
Igor Rafael de Assis Costa. A Register Allocation for a Trace Compiler. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Fernando Magno Quintão Pereira.

21.
Gabriel Quadros Silva. Tracking Indirect Information Flow in Languages with Destructive Update. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Fernando Magno Quintão Pereira.

22.
Leonardo Luiz Padovani da Mata. Geração Automática de Código para Execução em um Ambiente de Computação Dataflow. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Fernando Magno Quintão Pereira.

23.
Andrei Rimsa Álvares. Algoritmo Eficiente de Análise Estática para Procurar Ataques do Tipo Variáveis Contaminadas. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Fernando Magno Quintão Pereira.

Tese de doutorado
1.
Bruno Rodrigues Silva. Análise Esparsa de Fluxo de Informação. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Intel Semicondutores do Brasil. Orientador: Fernando Magno Quintão Pereira.

2.
Bruno Rocha Coutinho. Entendendo e otimizando aplicações divergentes em GPUs via análises estáticas e dinâmicas. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Fernando Magno Quintão Pereira.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Leandro da Cunha Campos. DISTRIBUIÇÃO DE CONTEÚDO COM BASE EM LOCALIZAÇÃO. 2010. Monografia. (Aperfeiçoamento/Especialização em Engenharia de Software) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

Trabalho de conclusão de curso de graduação
1.
Douglas do Couto Teixeira. The Design and Implementation of a Non-Iterative Range Analysis Algorithm. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Fernando Magno Quintão Pereira.

2.
Bruno Moraes Ferreira. Optimizing a Geomodeling Domain Specific Language. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

3.
Raphael Ernani Rodrigues. Placas de Processamento Gráfico: obtendo ganhos de desempenho em aplicações por meio de paralelização de dados. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

4.
Renata Russar de Mendonça. Um Cliente Android para Computação nas Nuvens. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

5.
Duílio Sasdelli. Um Algoritmo de Extração de Pontos de Interesse de Imagens para Celulares. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

6.
Matheus Silva Vilela. Um Algoritmo para Segmentação de Folhas de Soja na Plataforma Android. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

7.
Fernando Lopes. Um Cliente Android para um Banco de Dados Visual. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

8.
Alysson Pina Fernandez. Eliminação de Testes de Verificação de Limites de Arranjos em Programas Java. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

Iniciação científica
1.
Tarsila Bessa. JetsonLeap. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, LG Electronics. Orientador: Fernando Magno Quintão Pereira.

2.
Junio Cezar. Pointer disambiguation via strict inequalities. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Fernando Magno Quintão Pereira.

3.
Pedro Henrique Ramos Costa. Mineração de Tarefas em Código Irregular. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Fernando Magno Quintão Pereira.

4.
Marcos Rodrigues de Araújo. Compilação de Código C Parcialmente Disponível. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Maxtrack Inovação em Rastreamento. Orientador: Fernando Magno Quintão Pereira.

5.
Simon Moll. Hoisting of Array Bounds Checks. 2014. Iniciação Científica. (Graduando em Computer Science) - Universität des Saarlandes, Intel Semicondutores do Brasil. Orientador: Fernando Magno Quintão Pereira.

6.
Junio Cezar Ribeiro da Silva. Automatic Inference of Asymptotic Complexity. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Fernando Magno Quintão Pereira.

7.
Péricles Rafael Alves. Dynamic Pointer Disambiguation. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

8.
Rafael Martins de Sousa. Dynamic Trip Count Prediction. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

9.
Guilherme Mendes Marques de Oliveira. Runtime Value Specialization. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação e Pesquisa (UFMG). Orientador: Fernando Magno Quintão Pereira.

10.
Alberto de Sá Cavalcanti. Compilação de PTX para SASS. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

11.
Henrique Nazaré Santos. Runtime Value Specialization. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação e Pesquisa (UFMG). Orientador: Fernando Magno Quintão Pereira.

12.
Victor Hugo Sperlle Campos. Interprocedural Non-Iterative Range Analysis. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

13.
Rafael Martins de Souza. Alocação de Registradores para Placas Gráficas. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

14.
Douglas Do Couto Teixeira. The Design and Implementation of a non-iterative Range Analysis Algorithm on a Production Compiler. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Fernando Magno Quintão Pereira.

15.
Fernando Carvalho Coelho. Development of a Testing Framework for the Ocelot CUDA Compiler. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação e Pesquisa (UFMG). Orientador: Fernando Magno Quintão Pereira.



Inovação



Patente
1.
 PEREIRA, Fernando Magno Quintão; PALSBERG, J. . Register Allocation by Puzzle Solving. 2009, Estados Unidos.
Patente: Privilégio de Inovação. Número do registro: US20090083721, título: "Register Allocation by Puzzle Solving" , Instituição de registro: United States Patent and Trademark Office. Depósito: 26/03/2009; Depósito PCT: 26/03/2009; Concessão: 17/07/2012; Expiração: 17/07/2013. Instituição(ões) financiadora(s): UCLA.


Programa de computador sem registro
1.
SOUZA, G ; GUIMARAES, B. C. F. ; ALVES, PÉRICLES RAFAEL ; QUINTÃO PEREIRA, FERNANDO M. . DawnCC. 2016.

2.
MOREIRA, RUBENS E. A. ; COLLANGE, SYLVAIN ; QUINTÃO PEREIRA, FERNANDO M. . Function call re-vectorizer. 2016.

3.
RODRIGUES, BRUNO ; ARANHA, DIEGO F. ; QUINTÃO PEREIRA, FERNANDO M. . FlowTracker. 2015.

4.
MELO, L. T. C. ; RODRIGUES, M. ; RIBEIRO, R. G. ; QUINTÃO PEREIRA, FERNANDO M. . Psyche-c. 2016.

5.
PEREIRA, FERNANDO MAGNO QUINTAO; RAMOS, P. ; MENDONÇA, GLEISON . Taskminer. 2018.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico


Educação e Popularização de C & T



Textos em jornais de notícias/revistas
1.
GONCALVES, C. F. ; PEREIRA, Fernando Magno Quintão . Como realizar um estágio profissional. SBC Horizontes, Porto Alegre, p. 11 - 14, 11 set. 2012.


Apresentações de Trabalho
1.
PEREIRA, FERNANDO MAGNO QUINTAO. Pesquisa em Compiladores na UFMG. 2017. (Apresentação de Trabalho/Comunicação).


Cursos de curta duração ministrados
1.
PEREIRA, Fernando Magno Quintão. Code Generation Techniques for Graphics Processing Units. 2013. (Curso de curta duração ministrado/Outra).

2.
PEREIRA, Fernando Magno Quintão. Introdução a Programação Android. 2013. (Curso de curta duração ministrado/Extensão).

3.
QUINTÃO PEREIRA, FERNANDO MAGNO. Code Optimization with the LLVM Compiler. 2014. .

4.
QUINTÃO PEREIRA, FERNANDO MAGNO. Code Optimization with the LLVM Compiler. 2014. .

5.
QUINTÃO PEREIRA, FERNANDO MAGNO. Static Analysis and Optimization with LLVM. 2015. .

6.
PEREIRA, Fernando Magno Quintão. Introduction to Compilers. 2017. (Curso de curta duração ministrado/Outra).


Desenvolvimento de material didático ou instrucional
1.
PEREIRA, FERNANDO MAGNO QUINTAO. Algoritmos e Estruturas de Dados II. 2017. (Desenvolvimento de material didático ou instrucional - CursodeGraduação).

2.
PEREIRA, Fernando Magno Quintão. Code Analysis and Optimization. 2013. (Desenvolvimento de material didático ou instrucional - Curso de Graduação).


Organização de eventos, congressos, exposições e feiras
1.
PEREIRA, Fernando Magno Quintão. Simpósio Brasileiro de Linguagens de Programação. 2014. (Congresso).

2.
MAGNO QUINTAO PEREIRA, FERNANDO; MARQUES, Kécia ; FIGUEIREDO, E. M. ; NELSON, M. A. V. . Congresso Brasileiro de Software, Teoria e Pratica. 2015. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 22:24:54