Sound and precise analysis of parallel programs through schedule specialization-Reference-Cited by-同舟云学术

Sound and precise analysis of parallel programs through schedule specialization

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:

Wu Jingyue¹,Tang Yang¹,Hu Gang¹,Cui Heming¹,Yang Junfeng¹

Affiliation:

1. Columbia University, New York, NY, USA

Publisher

ACM

Link

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

Reference38 articles.

1. The LLVM compiler framework. http://llvm.org. The LLVM compiler framework. http://llvm.org.

2. The Princeton application repository for shared-memory computers (PARSEC). http://parsec.cs.princeton.edu/. The Princeton application repository for shared-memory computers (PARSEC). http://parsec.cs.princeton.edu/.

3. Parallel BZIP2 (PBZIP2). http://compression.ca/pbzip2/. Parallel BZIP2 (PBZIP2). http://compression.ca/pbzip2/.

4. Stanford parallel applications for shared memory (SPLASH). http://www-flash.stanford.edu/apps/SPLASH/. Stanford parallel applications for shared memory (SPLASH). http://www-flash.stanford.edu/apps/SPLASH/.

5. STP Constraint Solver. https://sites.google.com/site/stpfastprover/. STP Constraint Solver. https://sites.google.com/site/stpfastprover/.

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

1. Understanding and Reaching the Performance Limit of Schedule Tuning on Stable Synchronization Determinism;Proceedings of the International Conference on Parallel Architectures and Compilation Techniques;2022-10-08

2. Static Deadlock Detection in Low-Level C Code;Computer Aided Systems Theory – EUROCAST 2022;2022

3. Canary: practical static detection of inter-thread value-flow bugs;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. GPU-accelerated fixpoint algorithms for faster compiler analyses;Proceedings of the 28th International Conference on Compiler Construction - CC 2019;2019

5. Scheduling constraint based abstraction refinement for weak memory models;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03