JPF Online Day 2020

Since 2008, ten times the Java PathFinder (JPF) workshop has been organized. Given the current pandemic, in 2020 we will organize a JPF day instead. On Saturday, November 7, two Zoom sessions will be held (11:00-13:00 UTC and 15:00-17:00 UTC).

For the JPF day, we solicit presentations on research and applications related to JPF and its extensions, including work in progress. If the underlying research idea has been presented in another venue, the one-page abstract needs to clarify the novel aspects that are being presented. We also welcome comparative analysis presentations that evaluate algorithms in JPF or its extensions with other relevant tools. The goal of the JPF day is to encourage the flow of ideas relevant to JPF and Java (byte)code analysis in general.

Topics of interest include the following:

JPF extensions or tools
JPF case studies
Position papers on JPF, such as future directions
Java (byte)code analysis or verification
General software verification and symbolic execution techniques or tools

Submissions

Submit a one-page abstract to [email protected] and [email protected] by Friday, October 23.

Presentations

Each accepted presenter will get assigned a 15 minutes slot, 5-10 minutes presentation (leaving the exact length up to the presenter), and the remainder for questions and discussion. Preference for the early or late session will be taken into account, but cannot be guaranteed. The presentation can be either recorded in advance or live.

Participation

For those interested in participating, please send an email to [email protected] and [email protected] with the subject JPF 2020. The receipt of your email will be acknowledged and the Zoom details will be emailed to you one day in advance of the meeting.

Schedule

All times are in UTC.

Session I; chair: Pavel Parízek

11:00 Eva Darulova - Finding Inductive (Floating-point) Loop Invariants using Counterexamples - invited talk
11:45 Cuong Bui Quang - Automated Repair of Regression Error for Java Program
12:00 Pu Yi - Finding Polluter Tests Using Java PathFinder
12:15 Yuvaraj Anbarasan - Java 11 support for JPF
12:30 Yang Zhou - JPF Visualization using Trace Compass

Session II; chair: Franck van Breugel

15:00 Karim Ali - Is Program Analysis The Silver Bullet Against Software Bugs? - invited talk
15:45 Amgad Rady - Bootstrap Method Support in JPF
16:00 Syyeda Zainab Fatmi - jpf-label
16:15 Xiang Chen - Quantitative Verification of Randomized Java Code
16:30 Muhammad Usman - Symbolic PathFinder for Neural Network Analysis
16:45 Soha Hussein - Branch Coverage for Path-Merged Symbolic Execution