Add PLDI paper to docs