ETAPS2009 - 2nd Workshop on Verification and Analysis of Multi-threaded Java-like Programs, York, UK

<p> The VAMP workshop provides a forum for researchers interested in verification and analysis of multi&#8211;threaded Java&#8211;like programs&#046; It aims to bring together practically minded tool builders and theoretically minded concurrency researchers who are interested in verification and analysis techniques for Java&#8211;like languages&#046; Topics of interest include but are not limited to (where <em class=&#8243;emph&#8243;>MJLL</em> stands for <em class=&#8243;emph&#8243;>multi&#8211;threaded Java&#8211;like languages</em>): </p><ul><li>program logics for MJLL</li><li>automatic verification and static analysis techniques for MJLL</li><li>type&#8211;based verification for MJLL</li><li>software model checking for MJLL</li><li>specification techniques for MJLL</li><li>formal semantics for MJLL</li><li>formalizations of the Java memory model</li><li>race condition detection, deadlock detection, etc&#046;</li><li>static analysis for bug discovery</li></ul>