Publisher
Springer Berlin Heidelberg
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Compositional Deadlock Detector for Android Java;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
2. Dynamic Deadlock Verification for General Barrier Synchronisation;ACM Transactions on Programming Languages and Systems;2019-03-31
3. Transitive joins;Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019-02-16
4. Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers;Proceedings of the ACM on Programming Languages;2017-10-12
5. A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques;Software Quality Journal;2017-08-10