Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Language-Agnostic Static Deadlock Detection for Futures;Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming;2024-02-20
2. A Compositional Deadlock Detector for Android Java;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
3. Dynamic Deadlock Verification for General Barrier Synchronisation;ACM Transactions on Programming Languages and Systems;2019-03-31
4. Transitive joins;Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019-02-16
5. 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