The Indigo Program-Verification Microbenchmark Suite of Irregular Parallel Code Patterns | IEEE Conference Publication | IEEE Xplore