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

Previous courses

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