Skip to content

Latest commit

 

History

History
50 lines (32 loc) · 2.76 KB

JPF-Online-Day-2020.md

File metadata and controls

50 lines (32 loc) · 2.76 KB
Raw

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 parizek@d3s.mff.cuni.cz and franck@eecs.yorku.ca 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 parizek@d3s.mff.cuni.cz and franck@eecs.yorku.ca 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

Organizers

  • Pavel Parízek, Charles University, Czech Republic
  • Franck van Breugel, York University, Canada