JPF 2022 : Java Pathfinder Workshop 2022
JPF 2022 : Java Pathfinder Workshop 2022

JPF 2022 : Java Pathfinder Workshop 2022

Oakland Center, Michigan, United States
Event Date: October 10, 2022 - October 10, 2022
Submission Deadline: August 05, 2022
Notification of Acceptance: August 31, 2022
Camera Ready Version Due: September 09, 2022


Call for Papers

# 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!

## 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: 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, August 5, 2022
Notification: Wednesday August 31, 2022
Final Version: Friday, September 9, 2022
Workshop day: Monday, October 10, 2022

## Organizers

- Elena Sherman, Boise State University
- Yannic Noller, National University of Singapore

## Program Committee

- Cyrille Artho, KTH Royal Institute of Technology
- Franck van Breugel, York University
- Antonio Filieri, Imperial College London
- Milos Gligoric, University of Texas at Austin
- Falk Howar, TU Dortmund
- Xuan-Bach D. Le, University of Melbourne
- Thanh Vu H. Nguyen, George Mason University
- Pavel Parizek, Charles University
- Corina Pasareanu, NASA Ames and CMU
- Sang Phan, Meta
- Vaibhav Sharma, Amazon
- Arnaud Venet, Meta
- Guowei Yang, University of Queensland

## Contact

- Email: [email protected]
- Twitter:


JPF 2022 : Java Pathfinder Workshop 2022 will take place in Oakland Center, Michigan, United States. It’s a 1 day event starting on Oct 10, 2022 (Monday) and will be winded up on Oct 10, 2022 (Monday).

JPF 2022 falls under the following areas: etc. Submissions for this Workshop can be made by Aug 5, 2022. Authors can expect the result of submission by Aug 31, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Sep 9, 2022 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the JPF 2022

  • Short Name: JPF 2022
  • Full Name: Java Pathfinder Workshop 2022
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of JPF 2022
  • Event Type: Workshop
  • Website Link:
  • Location/Address: Oakland Center, Michigan, United States

Credits and Sources

[1] JPF 2022 : Java Pathfinder Workshop 2022

Check other Conferences, Workshops, Seminars, and Events