A type and effect system for deterministic parallel Java

  title={A type and effect system for deterministic parallel Java},
  author={Robert L. Bocchino 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},
Today's shared-memory parallel programming models are complex and error-prone.While many parallel programs are intended to be deterministic, unanticipated thread interleavings can lead to subtle bugs and nondeterministic semantics. In this paper, we demonstrate that a practical type and effect system can simplify parallel programming by guaranteeing… CONTINUE READING

18 Figures & Tables



Citations per Year

404 Citations

Semantic Scholar estimates that this publication has 404 citations based on the available data.

See our FAQ for additional information.