Call for Papers

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

Workshop Description:
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

Paper Submission:
We invite full papers of up to 15 pages in ENTCS-style format, and short papers of up to 6 pages that raise interesting issues for discussion. Papers should be submitted electronically through the submission webpage. They will be refereed by the program committee. We will prepare preliminary proceedings for the workshop and, if there is a sufficient number of good submissions and sufficient interest among the contributors, post-workshop proceedings can be published in the Electronic Notes in Theoretical Computer Science (ENTCS).

Important Dates:
Paper submission: Wednesday, 17 Dec, 2008
Notification date: Wednesday, 28 January, 2009
Version for the preliminary proceedings: Friday, 6 February, 2009
Workshop: Saturday, 28 March, 2009

Progam Committee:

Christian Haack (contact person), Marieke Huisman, Joe Kiniry, Erik Poll