Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang. Static data race detection for concurrent programs with asynchronous calls. In Hans van Vliet, Valérie Issarny, editors, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009. pages 13-22, ACM, 2009. [doi]
Abstract is missing.