SPLASH 2012 (series) / Shaz Qadeer

Not registered as user yet
Name:Shaz Qadeer
Affiliation:Microsoft Research
Personal website:http://research.microsoft.com/en-us/people/qadeer/
Contributions
SPLASH 2012 | GPUVerify: a verifier for GPU kernels | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2012-profile
View general profile
View general profile