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.
For more information, please check our website: https://github.com/javapathfinder/jpf-core/wiki/Java-Pathfinder-Workshop-2022
Plenary
Mon 10 OctDisplayed time zone: Eastern Time (US & Canada) change
Mon 10 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
09:00 15mDay opening | Welcome [Workshop] JPF '22 | ||
09:15 45mTalk | Invited talk: "Eclipse Foundation: Enabling Open, Vendor Neutral Collaboration" [Workshop] JPF '22 John Kellerman Eclipse Foundation | ||
10:00 - 10:30 | |||
10:00 15mCoffee break | Coffee Break Social | ||
10:30 - 12:00 | |||
10:30 15mTalk | Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs [Workshop] JPF '22 | ||
10:45 15mTalk | Using Theia Traceviewer to Visualize JPF Traces [Workshop] JPF '22 Johan Besseling KTH Royal Institute of Technology, Sweden, Cyrille Artho KTH Royal Institute of Technology, Sweden | ||
11:00 60mTutorial | Tutorial: Java PathFinder [Workshop] JPF '22 Cyrille Artho KTH Royal Institute of Technology, Sweden | ||
13:30 - 15:00 | |||
13:30 45mTalk | Invited talk: "Virtual threads: scalable, harmonious concurrency" [Workshop] JPF '22 | ||
14:15 15mTalk | jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code [Workshop] JPF '22 Matt Walker York University, Canada, Parssa Khazra York University, Canada, Anto Nanah Ji York University, Canada, Hongru Wang York University, Canada, Franck van Breugel York University, Toronto | ||
14:30 15mTalk | Towards Wider Support for Java String Functions [Workshop] JPF '22 Qiuchen Yan University of Minnesota, Cyrille Artho KTH Royal Institute of Technology, Sweden, Pavel Parizek Charles University | ||
14:45 15mTalk | Gradle support for Symbolic PathFinder [Workshop] JPF '22 Gaurang Kudale University of Pune | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break Social | ||
15:30 - 17:00 | |||
15:30 60mTutorial | Tutorial: Symbolic PathFinder [Workshop] JPF '22 Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
16:30 30mDay closing | Open Discussion [Workshop] JPF '22 | ||
Accepted Papers
| Title | |
|---|---|
| Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs [Workshop] JPF '22 | |
| jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code [Workshop] JPF '22 | |
| Towards Wider Support for Java String Functions [Workshop] JPF '22 | |
| Using Theia Traceviewer to Visualize JPF Traces [Workshop] JPF '22 |