Initial port of PLDI14 paper from SC13 folder