Rafael Auler

Possui graduação em Engenharia de Computação pela Universidade Estadual de Campinas(2009) e mestrado em Ciência da Computação pela Universidade Estadual de Campinas(2011). Atuando principalmente nos seguintes temas:Compiladores (Computadores), Arquitetura de computador, Sistemas de computação, Programação automática (Computação).

Informações coletadas do Lattes em 07/06/2024

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciência da Computação

2011 - Atual

Universidade Estadual de Campinas
Título: Técnicas para a emulação eficiente do conjunto de instruções da arquitetura Open-ISA,
Edson Borin. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

Mestrado em Ciência da Computação

2009 - 2011

Universidade Estadual de Campinas
Título: Geração Automática de Backend de Compiladores baseada em ADLs,Ano de Obtenção: 2011
Orientador: Paulo Cesar Centoducatte
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Compiladores (Computadores); Arquitetura de computador; Sistemas de computação; Programação automática (Computação).Grande área: Ciências Exatas e da Terra

Graduação em Engenharia de Computação

2005 - 2009

Universidade Estadual de Campinas

Idiomas

Bandeira representando o idioma Inglês

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

Produções bibliográficas

  • BERTAZI, G. ; AULER, R. ; BORIN, E. . Uma plataforma para o ensino de organização de computadores e linguagem de montagem. International Journal of Computer Architecture Education , v. 3, p. 13, 2014.

  • GUEDES, MARCELO ; AULER, RAFAEL ; DUENHA, LIANA ; BORIN, EDSON ; AZEVEDO, RODOLFO . An automatic energy consumption characterization of processors using ArchC. Journal of Systems Architecture , v. 59, p. 603-614, 2013.

  • LOPES, B. ; AULER, R. . Getting Started with LLVM Core Libraries. 1. ed. Birmigham, UK: Packt Publishing, 2014. v. 1. 314p .

  • AULER, R. ; BORIN, E. . OpenISA, freedom powered by efficient binary translation. In: Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), 2015, San Francisco, CA. Proceedings of the Architectural and Microarchitectural Support for Binary Translation, 2015.

  • LOPES, B. ; AULER, R. ; RAMOS, L. ; BORIN, EDSON ; AZEVEDO, R. . SHRINK: reducing the ISA complexity via instruction recycling. In: 42nd Annual International Symposium on Computer Architecture, 2015, Portland. Proceedings of the 42nd Annual International Symposium on Computer Architecture. New York: ACM, 2015. p. 311-322.

  • MILLANI, C. E. ; LINHARES, A. ; AULER, R. ; BORIN, E. . COISA: A Compact OpenISA virtual platform for IoT devices. In: XVI Simpósio em Sistemas Computacionais de Alto Desempenho, 2015, Florianópolis. WSCAD 2015, 2015.

  • AULER, R. ; BORIN, E. ; Halleux, P. ; MOSKAL, M. ; TILLMANN, N. . Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. In: 23rd International Conference on Compiler Construction, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, 2014, Grenoble, France. Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Berlin: Springer Berlin Heidelberg, 2014. v. 8409. p. 218-237.

  • PIGA, LEONARDO ; GOMES, GABRIEL F.T. ; AULER, RAFAEL ; ROSA, BRUNO ; RIGO, SANDRO ; BORIN, EDSON . Assessing computer performance with stocs. In: the ACM/SPEC international conference, 2013, Prague. Proceedings of the ACM/SPEC international conference on International conference on performance engineering - ICPE '13. New York: ACM Press. p. 315.

  • LUCAS, D. ; AULER, R. ; DALIBERA, R. ; RIGO, S. ; BORIN, E. ; ARAUJO, G. . Modeling Virtual Machines Misprediction Overhead. In: 2013 IEEE International Symposium on Workload Characterization, 2013, Portland. 2013 IEEE International Symposium on Workload Characterization. New York: IEEE, 2013.

  • LOPES, B. ; AULER, R. ; BORIN, E. ; AZEVEDO, R. . ISA Aging: A X86 Case Study. In: Workshop on the Interaction amongst Virtualization, Operating Systems and Computer Architecture - WIVOSCA, 2013, co-located with ISCA 40, 2013. Workshop on the Interaction amongst Virtualization, Operating Systems and Computer Architecture. p. 1-6.

  • GUEDES, MARCELO ; AULER, RAFAEL ; BORIN, EDSON ; AZEVEDO, RODOLFO . An ArchC approach for automatic energy consumption characterization of processors. In: 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), 2012, Tampere. 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), 2012.

  • AULER, RAFAEL ; CENTODUCATTE, PAULO CESAR ; BORIN, EDSON . ACCGen: An Automatic ArchC Compiler Generator, 2012.

  • LUCAS, D. ; DALIBERA, R. ; AULER, R. ; ARAUJO, G. ; RIGO, S. ; BORIN, E. . Hotness Misprediction Overhead in Virtual Machines. In: Workshop on Infrastructure for Hardware/Software co-design (WISH), co-located with CGO 2012, 2012, San Jose. Workshop on Infrastructure for Hardware/Software co-design 2012, 2012.

  • AULER, R. ; BALDASSIN, A. ; CENTODUCATTE, P. C. . Automatic Architecture Description Language (ADL)-Based Toolchain Generation: the Dynamic Linking Framework. In: SBLP '10: The 14th Brazilian Symposium on Programming Languages, 2010, Salvador. Proceedings of The 14th Brazilian Symposium on Programming Languages, 2010.

  • AULER, R. ; CENTODUCATTE, P. C. . ArchC infrastructure to generation of ARM assemblers and simulators. In: WSCAD-WIC '09: X Simpósio em Sistemas Computacionais - Workshop de Iniciação Científica, 2009, São Paulo. WSCAD-WIC '09, 2009.

  • BERTAZI, G. ; AULER, R. ; BORIN, E. . Uma abordagem para o ensino de linguagem de montagem, arquitetura e organização de computadores. In: Workshop sobre Educação em Arquitetura de Computadores, 2013, Porto de Galinhas. Workshop sobre Educação em Arquitetura de Computadores, 2013. p. 1-4.

  • LOPES, B. ; AULER, R. ; BORIN, E. ; AZEVEDO, R. . ISA Anti-Aging: Recycling Old Instructions and Reducing ISA Complexity. In: ISA Anti-Aging: Recycling Old Instructions and Reducing ISA Complexity, 2013, Haifa. ISA Anti-Aging: Recycling Old Instructions and Reducing ISA Complexity, 2013. p. 1-4.

  • AULER, R. ; BORIN, E. . A LLVM Just-in-Time Compilation Cost Analysis 2013 (Relatório Técnico do Instituto de Computação).

  • AULER, R. ; BALDASSIN, A. ; CENTODUCATTE, P. C. . Um sistema de ligação dinâmica independente de arquitetura baseado em ADL 2009 (Relatório Técnico do Instituto de Computação).

Prêmios

2013

Microsoft Research Fellowship, Microsoft Research.

2009

Best Paper Award WSCAD-WIC, SBC.

2009

2nd Place IBM Mainframe Contest, IBM.

2008

Best project under the undergraduate research mentorship program, Institute of Computing of University of Campinas.

Histórico profissional

Experiência profissional

2014 - 2014

Sony Computing Entertainment America

Vínculo: Estagiário, Enquadramento Funcional: Engenheiro de compiladores, Carga horária: 40, Regime: Dedicação exclusiva.

2013 - 2013

Microsoft Corporation

Vínculo: Estagiário, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

2015 - 2015

Facebook, Inc.

Vínculo: Estagiário, Enquadramento Funcional: Engenheiro de software, Carga horária: 40, Regime: Dedicação exclusiva.