Search: Joseph, A, Parallel Data Processing, Speculative execution, berkeley.edu