A Provably Time-Efficient Parallel Implementation of Full Speculation.

John Greiner, Guy E. Blelloch

Browse the full POPL paper archive.