Inference and Declaration of Independence in Task-Parallel Programs | Publicación