Robert L. Bocchino Jr. Vikram S. Adve Danny Dig Sarita V. Adve Stephen Heumann Rakesh Komuravelli Jeffrey Overbey Patrick Simmons Hyojin Sung Mohsen Vakilian A type and effect system for deterministic parallel Java. 97-116 2009 OOPSLA http://doi.acm.org/10.1145/1640089.1640097 conf/oopsla/2009 db/conf/oopsla/oopsla2009.html#BocchinoADAHKOSSV09