final PLDI15 submission