It's probably a good idea to link to the presentation directly as it explains the point and methodology more clearly IMO: http://jscert.org/popl14/?full#1 http:

It's probably a good idea to link to the presentation directly as it explains the point and methodology more clearly IMO: http://jscert.org/popl14/?full#1 http://jscert.org/popl14/?full#1