In this class, we talk about the importance of detecting cycles, and show two different techniques to find them. The first is Lazy Cycle Detection, published in PLDI 2007. The second is Wave Propagation, published in CGO in 2009.
No download links available.
