Stem lockset$ (all stems)
2 papers:
- HPCA-2007-ZhouTZ #concurrent #detection #named
- HARD: Hardware-Assisted Lockset-based Race Detection (PZ, RT, YZ), pp. 121–132.
- FATES-RV-2006-ElmasQT #named #using
- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets (TE, SQ, ST), pp. 193–208.