Author:
Williams Amy,Thies William,Ernst Michael D.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Artho, C., Biere, A.: Applying static analysis to large-scale, multi-threaded Java programs. In: ASWEC, pp. 68–75 (2001)
2. Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA, pp. 211–230 (2002)
3. Breuer, P.T., Garcia-Valls, M.: Static deadlock detection in the Linux kernel. In: Ada-Europe, pp. 52–64 (2004)
4. Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N.: Automated, compositional and iterative deadlock detection. In: MEMOCODE (2004)
5. Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. IEEE TSE 30, 388–402 (2004)
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Petri Net Unfolding-Based Detection and Replay of Program Deadlocks;IEEE Access;2024
2. TSVD4J: Thread-Safety Violation Detection for Java;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
3. Hippodrome
: Data Race Repair Using Static Analysis Summaries;ACM Transactions on Software Engineering and Methodology;2023-03-31
4. Peahen: fast and precise static deadlock detection via context reduction;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
5. Deadlock prediction via generalized dependency;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18