Lecture 14 - Synthesizing Parallel Programs