Reworking of Ace paper for PLDI14