Task-Parallelism; Static Analysis; Dependence Analysis; Deterministic Execution

Inference and Declaration of Independence in Task-Parallel Programs