Update README.md

Adding a link to the PLDI paper.