Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States
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