Publications

. Melhorando o Desempenho de SimPoints Utilizando Técnicas de Aprendizado de Máquina Não Supervisionado. Escola Regional de Alto Desempenho (ERAD-SP), 2019.

PDF

. Phase Detection and Analysis Among Multiple Program Inputs. Simpósio em Sistemas Computacionais de Alto desempenho (WSCAD), 2018.

PDF

. HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators. In IEEE ESL, 2017.

PDF DOI

. Simulação de Arquiteturas de Hardware com Memórias Não-Voláteis. Simpósio em Sistemas Computacionais de Alto desempenho (WSCAD), 2016.

PDF BDBComp

. Simulação e Avaliação de Soluções de Software para Arquiteturas com Memórias Não-Voláteis. Escola Regional de Alto Desempenho de São Paulo (ERAD-SP), 2016.

PDF ERAD-SP

. Seismic Wave Propagation Simulations on Low-power and Performance-centric Manycores. In Parallel Computing, 2016.

PDF DOI

. On the energy efficiency and performance of irregular application executions on multicore, NUMA and manycore platforms. In JPDC, 2015.

PDF DOI

. A Middleware for Reflective Web Service Choreographies on the Cloud. In ARM, 2014.

PDF DOI

. Energy Efficient Seismic Wave Propagation Simulation on a Low-power Manycore Processor. Best Paper Award In SBAC-PAD, 2014.

PDF DOI

. Dealing with actor runtime environments on hierarchical shared memory multi-core platforms. Ph.D. Thesis, University of São Paulo and University of Grenoble-Alpes, 2014.

PDF DOI

. A NUMA-Aware Runtime Environment for the Actor Model. ICPP, 2013.

PDF DOI

. Actor Scheduling for Multicore Hierarchical Memory Platforms. Proceedings of the 12th ACM Erlang Workshop, 2013.

PDF DOI

. Towards Automatic Actor Pinning on Multi-core Architectures. ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, 2012.

PDF DOI

. Análise de Desempenho e Escolha Dinâmica de Escalonamentos para Sistemas Multicore. Best Paper Award. In: II Escola Regional de Alto Desempenho de São Paulo, 2011, São José dos Campos, 2011.

. CHOReOS: Scaling Choreographies for the Internet of the Future. Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing. New York. ACM, 2010.

PDF DOI

. Scheduling on multi-core clusters. In: Workshop on Algorithms and Techniques for Scheduling on Clusters and Grids (ASTEC)., 2009.

. Hermes: Um Arcabouço para Programação de Aplicações P2P. In III Peer-to-Peer Workshop (WP2P 2007), pp. 13-24, workshop affiliated with the 25th Brazilian Symposium on Computer Networks and Distributed Systems, 2007.

. Hermes: um arcabouço para a programação de aplicações P2P. Master Thesis, Institute of Mathematics and Statistics, University of São Paulo., 2007.

PDF DOI

Teaching

(In Portuguese)

Ongoing courses

Previous courses

  • Programação Funcional (MCCC015-23)
  • Sistemas Distribuídos (MCTA025-13)
  • Paradigmas de Programação (MCTA016-13)
  • Desenvolvimento Guiado por Tipos (MCZA053-22)
  • Arquitetura de Computadores (MCTA004-17 e CCM201)
  • Programação Paralela (MCZA020-13)
  • Processamento da Informação (BCM0505-15)
  • Estruturas de Dados Puramente Funcionais
  • Introdução a Programação Funcional em Haskell
  • Sistemas Distribuídos (MCTA025-13)
  • Seminários em Computação (CCM-003)
  • Sistemas Operacionais (MCTA026-13)
  • Programação Estruturada (MCTA028-15)
  • Estruturas de Dados (MC202 - Unicamp)
  • Algoritmos e Programação de Computadores (MC102 - Unicamp)
  • Web Services Orchestration and Choreography - Short Course
  • Código de Honra (Honor Code)

    Em todas as disciplinas ministradas por mim é esperado que o comportamento descrito pelo Código de Honra seja seguido por todos os discentes.

    Contact