Publications

Effective static analysis to find concurrency bugs in Java

• • Zhi Da Luo
  • Linda Hillis
  • et al.
• 2010
• SCAM 2010