Java Pathfinder Workshop 2022

The goal of the workshop is to highlight current research and tools development for Java/Android program verification and analysis. Although the workshop’s theme revolves around the JPF tool, e.g., use of JPF to support basic research, tool development, or in verification case studies, we also welcome contributions related to program analysis of Java/Android applications. The workshop will serve as a platform to grow the community of researchers, foster collaboration and define future directions for JPF development and Java/Android program analysis research.

Check our Twitter account for the latest news and updates!

Accepted Papers

Using Theia Traceviewer to Visualize JPF Traces
Johan Besseling and Cyrille Artho
Towards Wider Support for Java String Functions
Qiuchen Yan, Cyrille Artho and Pavel Parizek
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
Pavel Parizek and Filip Kliber
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code
Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang and Franck van Breugel

Call for Submissions

We solicit regular paper submissions on existing research and applications related to JPF or its extensions, as well as topics on Java/Android static analysis. We welcome comparative analysis papers that evaluate algorithms in JPF or its extensions with other relevant tools. If the underlying research idea has been published in another venue, authors need to clarify the novel aspects that are being presented in their papers. We also solicit extended abstracts and position papers on recent or in progress work. Submissions should be at most 5 pages long (including references) in the ACM SIGSOFT SEN format. The extended abstracts and position paper should be at most 2-pages (including references). Accepted regular papers will be published in the Software Engineering Notes (SEN) and the ACM digital library.

Topics of interest include the following:

JPF extensions or tools
JPF case studies
Position papers on JPF, such as future directions
Java program analysis or verification
Android program analysis or verification
General software verification techniques or tools

All papers must be submitted electronically through the JPF 2022 EasyChair submission site: https://easychair.org/conferences/?conf=jpf2022. All submissions must be in English.

Participation

We invite practitioners, academics, and students who are interested in Java development, automated program analysis, and related software engineering research and practice to attend the JPF workshop. Submitting a paper is not required to participate, enjoy, and learn about JPF. The workshop will be co-located with ASE 2022 in Ann Arbor, Michigan, United States.

While we want to encourage all participants to join on-site in Ann Arbor, we want to highlight that the JPF workshop will be held as a hybrid event. This also means that authors are not necessarily required to present in person but can also present virtually.

Important Dates (in AoE) ⚠️

Submission:	Friday, ~~July 29, 2022~~ August 5, 2022 👈
Notification:	Wednesday, ~~August 24, 2022~~ August 31, 2022
Final Version:	Friday, ~~September 2, 2022~~ September 9, 2022
Workshop day:	Monday, October 10, 2022