A type and effect system for deterministic parallel Java

@inproceedings{Bocchino2009ATA,
  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},
  booktitle={OOPSLA},
  year={2009}
}
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

Topics

Statistics

0204060802009201020112012201320142015201620172018
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.