Publications

. 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

Short Courses

  • Web Services Orchestration and Choreography - F. Kon and E. Francesquini at the Brazilian Conference on Software: Theory and Practice (CBSoft), Salvador, Brazil, 2010. Presentation Slides

Contact