| 17:30-19:00

: Sérgio Medeiros

High-Level Stream and Data Parallelism in C++ for Multi-Cores
Junior Loff, Renato B. Hoffman, Dalvan Griebler and Luiz G. Fernandes.

A Graph Transformation System formalism for correctness of Transactional Memory algorithms
Diogo Cardoso, Luciana Foss and Andre Du Bois.

An Extension for Transactional Memories in Modern Multithreaded Programming Tools
Andre D. Jardim, Kevin Oliveira, Diogo J. Cardoso, Daniel Di Domenico, Andre R. Du Bois and Gerson G. H. Cavalheiro.