Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 15:30 - 15:55 at L2 - Extended abstracts 2

Speculative, parallel abstractions allow that, once a result is computed, the remaining (unnecessary) speculative computations can be safely stopped. However, it is difficult to know when it is safe to stop an ongoing computation. This paper presents a refinement of the parallel speculative ParT abstraction with an affine type system that allows in-place updates, and the killing of speculative computations using thread-local reasoning. There is ongoing work to prove the soundness of the calculus and implement it in the Encore language.

Sun 3 Sep

tyde-2017-papers
15:30 - 16:20: TyDe 2017 - Extended abstracts 2 at L2
tyde-2017-papers150444540000015:30 - 15:55
Talk
tyde-2017-papers150444690000015:55 - 16:20
Talk