Add our PLDI'14 paper