Author:
Choi Jong-Deok,Min Sang Lyul
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference18 articles.
1. A framework for determining useful parallelism
2. Compile-time detection of race conditions in a parallel program
3. J. D. Choi B. P. Miller and R. H. B. Netzer. Techniques for debugging parallel programs with flowback analysis. A CM Transactions on Programming Languages and Systems 1991. To appear. 10.1145/115372.115324 J. D. Choi B. P. Miller and R. H. B. Netzer. Techniques for debugging parallel programs with flowback analysis. A CM Transactions on Programming Languages and Systems 1991. To appear. 10.1145/115372.115324
4. Static analysis of low-level synchronization
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. BiRD: Race Detection in Software Binaries under Relaxed Memory Models;ACM Transactions on Software Engineering and Methodology;2022-07-12
2. Preparing the software engineer for a modern multi-core world;Journal of Parallel and Distributed Computing;2018-08
3. Dynamic Analysis of Embedded Software Using Execution Replay;2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing;2014-06
4. VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs;International Journal of Parallel Programming;2013-07-25
5. On-the-fly race detection in multi-threaded programs;Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging;2008-07-20