Updated Armus PPoPP15 paper.