Publications

. 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

Upcoming courses

  • 2019.Q3 - Estruturas de Dados Puramente Funcionais

Previous courses

  • Programação Paralela (MCZA020-13) - 2019.Q1, 2018.Q3
  • Sistemas Operacionais (MCTA026-13) - 2019.Q1
  • Programação Estruturada (MCTA028-15) - 2018.Q3
  • Curso de Extensão - Introdução a Haskell - 2018.Q3
  • Sistemas Distribuídos (MCTA025-13) - 2018.Q2
  • Paradigmas de Programação (MCTA016-13) - 2018.Q2 (Prática)
  • Processamento da Informação (BCM0505-15) - 2018.Q1 (Prática)
  • Estruturas de Dados (MC202 - Unicamp) - 2017.S1
  • Algoritmos e Programação de Computadores (MC102 - Unicamp) - 2015.S2
  • Web Services Orchestration and Choreography - Short Course - 2010.09

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