abetts

user stats

Member SinceApril 25, 2012
Last VisitApril 13, 2015

Contact

developer for

GPUVerify: A verifier for GPU kernels

abetts

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

No projects being followed.

forks

GPUVerify: A verifier for GPU kernels: GPUVerifyCruncher