A type and effect system for deterministic parallel Java

Abstract

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

Topics

18 Figures and Tables

Statistics

02040602009201020112012201320142015201620172018
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