Simulee-Reference-Cited by-同舟云学术

Simulee

Published:2020-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
language:
Short-container-title:

Author:

Wu Mingyuan¹,Ouyang Yicheng¹,Zhou Husheng²,Zhang Lingming²,Liu Cong²,Zhang Yuqun¹

Affiliation:

1. Southern University of Science and Technology, Shenzhen, China

2. University of Texas at Dallas

Funder

National Science Foundation

Science and Technology Innovation Committee Foundation of Shenzhen

Ant Financial Services Group

National Natural Science Foundation of China

Shenzhen Peacock Plan

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3377811.3380358

Reference54 articles.

1. 2019. Cauchy distribution. https://en.wikipedia.org/wiki/Cauchy_distribution. 2019. Cauchy distribution. https://en.wikipedia.org/wiki/Cauchy_distribution.

2. 2019. CUDA program introduction. https://en.wikipedia.org/wiki/CUDAr. 2019. CUDA program introduction. https://en.wikipedia.org/wiki/CUDAr.

3. 2019. GPGPU introduction. https://en.wikipedia.org/wiki/General-purpose_computing_on_graphics_processing_units. 2019. GPGPU introduction. https://en.wikipedia.org/wiki/General-purpose_computing_on_graphics_processing_units.

4. 2019. Normal distribution. https://en.wikipedia.org/wiki/Normal_distribution. 2019. Normal distribution. https://en.wikipedia.org/wiki/Normal_distribution.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Indigo3: A Parallel Graph Analytics Benchmark Suite for Exploring Implementation Styles and Common Bugs;ACM Transactions on Parallel Computing;2024-08-27

2. Descend: A Safe GPU Systems Programming Language;Proceedings of the ACM on Programming Languages;2024-06-20

3. Structural testing for CUDA programming model;Concurrency and Computation: Practice and Experience;2024-04-09

4. cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications;Proceedings of the ACM on Programming Languages;2023-06-06

5. Memory access protocols: certified data-race freedom for GPU kernels;Formal Methods in System Design;2023-05-26