A type and effect system for deterministic parallel Java

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. In Shail Arora, Gary T. Leavens, editors, Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. pages 97-116, ACM, 2009. [doi]

@inproceedings{BocchinoADAHKOSSV09,
  title = {A type and effect system for deterministic parallel Java},
  author = {Robert L. Bocchino Jr. and Vikram S. Adve and Danny Dig and Sarita V. Adve and Stephen Heumann and Rakesh Komuravelli and Jeffrey Overbey and Patrick Simmons and Hyojin Sung and Mohsen Vakilian},
  year = {2009},
  doi = {10.1145/1640089.1640097},
  url = {http://doi.acm.org/10.1145/1640089.1640097},
  tags = {Java, type system},
  researchr = {https://researchr.org/publication/BocchinoADAHKOSSV09},
  cites = {0},
  citedby = {0},
  pages = {97-116},
  booktitle = {Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-766-0},
}