Anirudh Santhiar, Aditya Kanade. Static deadlock detection for asynchronous C# programs. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 292-305, ACM, 2017. [doi]
Abstract is missing.