Reading list

• September 15: Extended Static Checking
• September 22 and 29:
  • Type-Based Race Detection for Java
  • A Parameterized Type System for Race-Free Java Programs
  • RacerX: Effective, Static Detection of Race Conditions and Deadlocks
• October 6:
  • Data flow analysis is model checking of abstract interpretations
  • A type system equivalent to flow analysis
• October 13: Type-safe multithreading in Cyclone
• Types as Models: Model Checking Message-Passing Programs