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 Proc. 24th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications