Here are Harvey’s presentation slides at USENIX 2015 ATC BOF.

We will update this note when we can link to a video of the talk.