136
Voted
ESOP
2012
Springer
14 years 18 days ago
2012
Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...