Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer. An annotation assistant for interactive debugging of programs with common synchronization idioms. In Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer, editors, Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM, 2009. [doi]
Abstract is missing.