An effect system and language for deterministic-by-default parallel programming

This thesis presents a new, Java-based object-oriented parallel language called Deterministic Parallel Java (DPJ), which uses a novel effect system to guarantee determinism by default, and extends the effect system and language for determinism to support a controlled form of nondeterminism.