The Galois System: Optimistic Parallelization Of Irregular Programs