11 search results - page 3 / 3 » Type Inference for Deadlock Detection in a Multithreaded Pol... |
PLDI
2006
ACM
13 years 11 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...