Add PLDI paper to docs
Merge branch 'master' into 1.1