A type and effect system for deterministic parallel Java


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 <i>type and effect system</i> can simplify parallel programming by <i… (More)
DOI: 10.1145/1640089.1640097


18 Figures and Tables


Citations per Year

369 Citations

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

See our FAQ for additional information.

Slides referencing similar topics