Introducing concurrency in sequential Java via laws

► Algebraic laws as a novel approach to parallelization. ► Laws that focus on correctness. ► Benchmarks that indicate considerable speedups.