Souza, Paulo, Raphael Batista, Simone Souza, Rafael Prado, George Dourado, and Julio Estrella. " Trace Generation and Deterministic Execution for Concurrent Programs." Anais do XVII Simpósio em Sistemas Computacionais de Alto Desempenho, Aracajú, 2016. SBC, 2016, pp.157-168.