Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers Principles, Techniques, and Tools. Addison-Wesley publishing company, Reading (1986)
2. Alstrup, S., Lauridsen, P.W., Thorup, M.: Dominators in linear time. DIKU technical report (35) (1996)
3. Callahan, D., Subhlok, J.: Static analysis of low-level synchronization. In: Workshop on parallel and distributed debugging, pp. 100–111 (1989)
4. Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Escape analysis for java. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 1–19 (1999)
5. Choi, J., Lee, K., Loginov, A., Callahan, R.O., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 258–269 (2002)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023
2. Thread-Sensitive Data Race Detection for Java;2021 28th Asia-Pacific Software Engineering Conference (APSEC);2021-12
3. OpenMP aware MHP Analysis for Improved Static Data-Race Detection;2021 IEEE/ACM 7th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC);2021-11
4. On the fly MHP analysis;Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2020-02-19
5. Parallel Cost Analysis;ACM Transactions on Computational Logic;2018-10-31