VAMP 2009
2nd Workshop on Verification and Analysis of Multi-threaded Java-like Programs
York, United Kingdom, March 28, 2009

The VAMP workshop provides a forum for researchers interested in verification and analysis of multi-threaded Java-like programs. It aims to bring together practically minded tool builders and theoretically minded concurrency researchers who are interested in verification and analysis techniques for Java-like languages. Topics of interest include but are not limited to (where MJLL stands for multi-threaded Java-like languages):

  • program logics for MJLL
  • automatic verification and static analysis techniques for MJLL
  • type-based verification for MJLL
  • software model checking for MJLL
  • specification techniques for MJLL
  • formal semantics for MJLL
  • formalizations of the Java memory model
  • race condition detection, deadlock detection, etc.
  • static analysis for bug discovery

Important Dates:
Paper submission: Wednesday, 17 December, 2008
Notification date: Wednesday, 28 January, 2009
Submission of version for the preliminary proceedings: Friday, 6 February, 2009