Browsing by Author Qadeer, S
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) |
|---|---|---|
| 18-Jul-2014 | Engineering a static verification tool for GPU kernels | Bardsley, E; Betts, A; Chong, N; Collingbourne, P; Deligiannis, P, et al |
| 19-Oct-2012 | GPUVerify: A Verifier for GPU Kernels | Betts, A; Chong, N; Donaldson, AF; Qadeer, S; Thomson, P |
| 16-Mar-2013 | Interleaving and lock-step semantics for analysis and verification of GPU kernels | Collingbourne, P; Donaldson, AF; Ketema, J; Qadeer, S; Felleisen, M, et al |
| May-2015 | The design and implementation of a verification technique for GPU Kernels | Betts, A; Chong, N; Donaldson, AF; Ketema, J; Qadeer, S, et al |
| 25-Feb-2016 | Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!) | Deligiannis, P; McCutchen, M; Thomson, P; Chen, S; Donaldson, AF, et al |