Stem sherlock$ (all stems)
2 papers:
FSE-2014-EslamimehrP #concurrent #detection #named #scalability #source code
- Sherlock: scalable deadlock detection for concurrent programs (ME, JP), pp. 353–365.
DAC-2009-VenerisS
- The day Sherlock Holmes decided to do EDA (AGV, SS), pp. 631–634.