Detecting bank conflict of GPU programs using symbolic execution. - Koki Hamaya; Satoshi Yamane (GCCE, 2016)