August 2022: I do not work for the Indian Institute of Science anymore. This website is not maintained actively. - Aditya Kanade
DeadWait is a static deadlock detection tool for asynchronous C# programs. DeadWait is based on our PLDI'17 paper. The source code of DeadWait is available at https://bitbucket.org/iiscseal/deadwait.
DeadWait found deadlocks in several open-source C# programs that used async/await. The deadlocks were caused by unforeseen interactions between synchronous and asynchronous waiting (await). We reported the bugs to the developers and many of them have been confirmed and fixed. The table below lists the applications in which bugs were found by DeadWait, and links to their fixes (where applicable).