Source: https://scythe.cs.washington.edu/media/scythe-pldi.pdf