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 OOPSLA