A type and effect system for deterministic parallel Java

By R. Bocchino, V. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, J. Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian. Conference on Object-Oriented Programming Systems, Languages, and Applications, 2009

389 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/2062db533431d71e6773c899a03c91d4dd54050d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. A. Aiken
2. Matei A. Zaharia
3. Ferdinand Kossmann

In Hardware and Architecture

1. A. Aiken
2. Matei A. Zaharia
3. Ferdinand Kossmann

Citations in the corpus

• Legion: Expressing locality and independence with logical regions (2012, background): “static dependence analysis on region arguments to functions to find dependences[19].”