1. Ownership types for safe program: preventing data races and deadlocks;Boyapati,2002
2. A type and effect system for atomicity;Flanagan,2003
3. Types for safe locking: static race detection for Java;Abadi;ACM Trans. Program. Lang. Syst.,2006
4. A new type system for deadlock-free processes;Kobayashi,2006
5. Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references;Suenaga,2008