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.