1. Types for safe locking: static race detection for Java;Abadi;ACM Trans. Program. Lang. Syst.,2006
2. Type discovery for parameterized race-free Java;Agarwal,2004
3. Type inference for parameterized race-free Java;Agarwal,2004
4. Detecting potential deadlocks with state analysis and run-time monitoring;Agarwal,2006
5. Type and Effect Systems: Behaviours for Concurrency;Amtoft,1999