Finished draft of PLDI15 except some citations