P. Souza, R. Batista, S. Souza, R. Prado, G. Dourado, and J. Estrella. " Trace Generation and Deterministic Execution for Concurrent Programs", in Anais do XVII Simpósio em Sistemas Computacionais de Alto Desempenho, Aracajú, 2016, pp. 157-168, doi: https://doi.org/10.5753/wscad.2016.14256.