Towards a framework and a benchmark for testing tools for multi-threaded programs
Concurrency and Computation: Practice and Experience, pp. 267-279, 2007.
SUMMARY Multi-threaded code is becoming very common, both on the server side, and very recently for personal computers as well. Consequently, looking for intermittent bugs is a problem that is receiving more and more attention. As there is no silver bullet, research focuses on a variety of partial solutions. We outline a road map for comb...More
Full Text (Upload PDF)
PPT (Upload PPT)