Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06
2. TDB: Breaking All Hop-Constrained Cycles in Billion-Scale Directed Graphs;2023 IEEE 39th International Conference on Data Engineering (ICDE);2023-04
3. An empirical study of blockchain system vulnerabilities: modules, types, and patterns;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
4. Deadlock prediction via generalized dependency;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18
5. Sound Predictive Atomicity Violation Detection§;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12