update for PPoPP 2015