A Lattice-Based Approach to Deterministic Parallelism with Shared State
Lindsey Kuper · 32:15
This academic talk (by Lindsey Kuper, on joint work with Ryan Newton) argues that monotonicity is the real source of deterministic parallelism, and that single-assignment IVars are an unnecessarily blunt way to get it...