![]() Dimitar Dimitrov, Martin Vechev, and Vivek Sarkar.Association for Computing Machinery, New York, NY, USA, 63-74. In Proceedings of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units (Pittsburgh, Pennsylvania, USA) (GPGPU-3). The Scalable Heterogeneous Computing (SHOC) Benchmark Suite. Roth, Kyle Spafford, Vinod Tipparaju, and Jeffrey S. Anthony Danalis, Gabriel Marin, Collin McCurdy, Jeremy S.IEEE Computer Society, Washington, DC, USA, 44-54. In Proceedings of the 2009 IEEE International Symposium on Workload Characterization (IISWC) (IISWC '09). ![]() Rodinia: A Benchmark Suite for Heterogeneous Computing. Sheaffer, Sang-Ha Lee, and Kevin Skadron. Shuai Che, Michael Boyer, Jiayuan Meng, David Tarjan, Jeremy W.Martin Burtscher, Rupesh Nasre, and Keshav Pingali.IEEE Computer Society, Washington, DC, USA, 141-151. In Proceedings of the 2012 IEEE International Symposium on Workload Characterization (IISWC) (IISWC '12). A Quantitative Study of Irregular Programs on GPUs. In 2008 Workshop on Software Tools for MultiCore Systems. Automated Dynamic Analysis of CUDA Programs. Michael Boyer, Kevin Skadron, and Westley Weimer.In Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (Toronto, Ontario, Canada) (PLDI '10). PACER: Proportional Detection of Data Races. The Design and Implementation of a Verification Technique for GPU Kernels. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, and John Wickerson. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (Tucson, Arizona, USA) (OOPSLA '12). Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer, and Paul Thomson.In Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures (Barcelona, Spain) (SPAA '04). On-the-fly Maintenance of Series-parallel Relationships in Fork-join Multithreaded Programs. Springer-Verlag New York, Inc., New York, NY, USA, 230-245. In Proceedings of the 6th International Symposium on NASA Formal Methods - Volume 8430. Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels. Springer-Verlag, Berlin, Heidelberg, 226-242. In Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559. Engineering a Static Verification Tool for GPU Kernels. ![]() Donaldson, Jeroen Ketema, Daniel Liew, and Shaz Qadeer. Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. ![]() In 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
0 Comments
Leave a Reply. |