Structural Lock Correlation with Ownership Types
No abstract available.
Related papers
- Ownership types for safe programming: preventing data races and deadlocks OOPSLA 2002
- LOCKSMITH: context-sensitive correlation analysis for race detection PLDI 2006
- Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form OOPSLA 1998
- Type-based safe resource deallocation for shared-memory concurrency OOPSLA 2012
- Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing OOPSLA 2006
- Ownership transfer in universe types OOPSLA 2007
- Separating ownership topology and encapsulation with generic universe types TOPLAS 2011
- Multiple ownership OOPSLA 2007