A type and effect system for deterministic parallel Java (2009)

by R L Bocchino, V S Adve, D Dig, S V Adve, S Heumann, R Komuravelli, J Overbey, P Simmons, H Sung, M Vakilian
Venue:In Proceedings of the International Conference on Object Oriented Programming Systems, Languages, and Applications