Parameterized Verification of GPU Kernel Programs