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 deterministic semantics with modular, compile-time type checking even in a rich, concurrent object-oriented language such as Java. We describe an… CONTINUE READING
Highly Influential
This paper has highly influenced 56 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 415 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 265 extracted citations

416 Citations

Citations per Year
Semantic Scholar estimates that this publication has 416 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 14 references

Formal definition and proof of soundness for Core DPJ

  • R. L. Bocchino, V. S. Adve
  • Technical Report UIUCDCS-R- 2008-2980, U…
  • 2008
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…