Automatic verification of determinism for structured parallel programs (2010)

by Martin Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar
Venue:In Proceedings of the 17th international conference on Static analysis