EasyChair submission page

We solicit regular paper submissions on existing research and applications related to JPF or its extensions. If the underlying research idea has been published in another venue the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit extended abstracts submissions on recent work or work in progress. We welcome comparative analysis papers that evaluate algorithms in JPF or its extensions with other relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF and Java/Android program analysis in general. The papers should be in the ACM SIG Proceedings format.

Categories of papers:

Topics of interest: