shortened PPoPP