Work

Efficient and precise datarace detection for multithreaded object-oriented programs