An Accurate GPU Performance Model for Effective Control Flow Divergence Optimization | IEEE Conference Publication | IEEE Xplore