Tweaked PLDI14 abstract and sections