Welcome to the Java Pathfinder Workshop
This year, the workshop is co-located with ASE in Urbana-Champaign, IL, USA on November 3, 2017. The goal of the workshop is to highlight research and tools for Java/Android program verification and analysis. Although there is a particular emphasis on the JPF tool, and on projects that use JPF to support basic research, tool development, or verification case studies, the workshop also welcomes contributions related to general program analysis of Java/Android programs. The hope is to use the workshop to grow the community of researchers investigating Java, Android, and JPF in an effort to foster collaboration and define future needs for program analysis of Java/Android.
Call for Papers
We solicit two types of submissions to be uploaded on EasyChair/JPF2017:
Regular papers: At most 5-page long papers in the ACM SIG Proceedings format will be reviewed by the organizing committee. Accepted regular papers will be presented at the workshop and published in the ACM SIGSOFT Software Engineering Notes and the ACM Digital Library, as in previous years.
Extended abstracts: At most 2-page long abstracts will be selected by the organizing committee. Accepted abstracts will be presented at the workshop but NOT published.
Regular papers should describe research and applications related to JPF and 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. Extended abstracts can describe recent work or work in progress. We also 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 topics of interest include, but are not limited, to the following:
- JPF extensions or tools
- JPF case studies
- Java program analysis or verification
- Android program analysis or verification
- General software verification techniques or tools
August 4, 2017August 11, 2017 (23:59:59pm AoE) submit on EasyChair/JPF2017
- Author Notification:
August 24, 2017August 31, 2017
- Camera-ready Version:
September 14, 2017September 22, 2017 submit on SEN Make a Submission with Submission Type: Paper
- Workshop: November 3, 2017
- Please see ASE 2017 Registration
Venue, Travel, and Accommodation
The workshop will be held at the Siebel Center for Computer Science, 201 N. Goodwin Ave., Urbana, IL, 61801 (near but not the same location as the main ASE conference)
Reimbursement Information for Students
This year, we are providing stipend for students who are going to present their work at JPF Workshop. Please note that the fund is limited, it can provide partial support, and the amount depends on the number of student applicants.
To apply, please send an email to <nastaran.shafiei [at] gmail.com> after the workshop. The email should include your name, expenses towards attending the workshop, and the title of the paper to be presented at JPF Workshop 2017.