Author of the publication

An Extensible Open-Source Compiler Infrastructure for Testing.

, , and . Haifa Verification Conference, volume 3875 of Lecture Notes in Computer Science, page 116-133. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Sixth International Workshop on Automatic Performance Tuning (iWAPT2011)., and . ICCS, volume 4 of Procedia Computer Science, page 2124-2125. Elsevier, (2011)Tuned and wildly asynchronous stencil kernels for hybrid CPU/GPU systems., and . ICS, page 244-255. ACM, (2009)Efficient Communications in Training Large Scale Neural Networks., , , , , , , and . ACM Multimedia (Thematic Workshops), page 110-116. ACM, (2017)CUP: Cluster Pruning for Compressing Deep Neural Networks., , , , and . IEEE BigData, page 5102-5106. IEEE, (2021)Scalable All-pairs Shortest Paths for Huge Graphs on Multi-GPU Clusters., , , , , and . HPDC, page 121-131. ACM, (2021)A Unified Approach for Localizing Non-deadlock Concurrency Bugs., , and . ICST, page 51-60. IEEE Computer Society, (2012)An Extensible Open-Source Compiler Infrastructure for Testing., , and . Haifa Verification Conference, volume 3875 of Lecture Notes in Computer Science, page 116-133. Springer, (2005)A Distributed Kernel Summation Framework for General-Dimension Machine Learning., , and . SDM, page 391-402. SIAM / Omnipress, (2012)HiCOO: hierarchical storage of sparse tensors., , and . SC, page 19:1-19:15. IEEE / ACM, (2018)Optimizing Sparse Tensor Times Matrix on Multi-core and Many-Core Architectures., , , and . IA3@SC, page 26-33. IEEE Computer Society, (2016)