An integer programming framework for optimizing shared memory use on GPUs | IEEE Conference Publication | IEEE Xplore