Scalable and precise dynamic datarace detection for structured parallelism-Reference-Cited by-同舟云学术

Scalable and precise dynamic datarace detection for structured parallelism

Published:2012-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Raman Raghavan¹,Zhao Jisheng¹,Sarkar Vivek¹,Vechev Martin²,Yahav Eran³

Affiliation:

1. Rice University, Houston, TX, USA

2. ETH, Zurich, Switzerland

3. Technion, Haifa, Israel

Publisher

ACM

Link

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

Reference30 articles.

1. Intel Cilk++ Programmer's Guide. http://software.intel.com/enus/ articles/download-intel-cilk-sdk/. Intel Cilk++ Programmer's Guide. http://software.intel.com/enus/ articles/download-intel-cilk-sdk/.

2. The Computer Language Benchmarks Game. http://shootout.alioth.debian.org/. The Computer Language Benchmarks Game. http://shootout.alioth.debian.org/.

3. The habanero multicore software research project

4. On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs

5. Cilk

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

1. Disentanglement with Futures, State, and Interaction;Proceedings of the ACM on Programming Languages;2024-01-05

2. Automatic Parallelism Management;Proceedings of the ACM on Programming Languages;2024-01-05

3. WARDen: Specializing Cache Coherence for High-Level Parallel Languages;Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization;2023-02-17

4. Dynamic Race Detection with O(1) Samples;Proceedings of the ACM on Programming Languages;2023-01-09

5. Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11