Rafael Martins de Souza

Estudante de Mestrado na Universidade Federal de Minas Gerais (UFMG). Tem interesse nas áreas de Compiladores e GPUs.

Informações coletadas do Lattes em 23/01/2026

Acadêmico

Formação acadêmica

Mestrado em andamento em Ciências da Computação

2017 - Atual

Universidade Federal de Minas Gerais
Orientador: Renato Antônio Celso Ferreira;

Graduação em Ciência da Computação

2011 - 2016

Universidade Federal de Minas Gerais
Título: Framework para o desenvolvimento de CCGs
Orientador: Renato Antônio Celso Ferreira
com

Ensino Médio (2º grau)

2007 - 2010

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Compiladores.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: GPGPU.

Produções bibliográficas

ALVES, 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 , v. 115, p. 146-150, 2014.
SAMPAIO, DIOGO ; SOUZA, RAFAEL MARTINS DE ; COLLANGE, SYLVAIN ; PEREIRA, FERNANDO MAGNO QUINTÃO . Divergence analysis. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS , v. 35, p. 1-36, 2013.
SAMPAIO, DIOGO ; MARTINS, RAFAEL ; COLLANGE, SYLVAIN ; PEREIRA, FERNANDO MAGNO QUINTAO . Divergence Analysis with Affine Constraints. In: 2012 24th International Symposium on Computer Architecture and High Performance Computing (SBACPAD), 2012, New York. 2012 IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012. p. 67.
QUADROS, G. S. ; SOUZA, R. M. ; PEREIRA, F. M. Q. . Dynamic Detection of Address Leaks. In: XII Simpósio em Segurança da Informação e de Sistemas Computacionais, 2012, Curitiba. XII Simpósio em Segurança da Informação e de Sistemas Computacionais, 2012. v. 12. p. 44.

Prêmios

2008

Medalha de Prata na Olimpiada Brasileira de Matemática das Escolas Públicas, IMPA.