pldi14 post-submission cleanup for writing skills req and future revisions