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

Inference and Declaration of Independence in Task-Parallel Programs

Foivos S. Zakkak, Dimitrios Chasapis, Polyvios Pratikakis, Angelos Bilas, Dimitrios S. Nikolopoulos