JPF Day 2021 (Online)

Since 2008, ten times the Java PathFinder (JPF) workshop has been organized. Given the current pandemic, as in 2020 also this year we will organize a JPF day instead. On Saturday, December 4, a Zoom session will be held (15:00-17:45 UTC).

Schedule

All times are in UTC.

15:00 - 15:10	Opening
15:10 - 15:55	Invited Talk: Divya Gopinath Constraint-based repair of neural network classifiers
15:55 - 16:00	Short break
16:00 - 16:05	GSoC’2021 Overview and Results
16:05 - 16:25	Pu Yi, Pavel Parizek, Cyrille Artho Systematic Bit-Flip Fault Injection and Exploration using Java PathFinder
16:25 - 16:45	Parssa Khazra, Anto Nanah Ji, Matt Walker, Hongru Wang, Franck van Breugel jpf-ctl: CTL Model Checking of Java Code
16:45 - 17:05	Ward Muylaert, Coen De Roover Detecting Semantic Merge Conflicts with Symbolic Execution
17:05 - 17:45	Closing Panel Discussion

Participation

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

Additionally, we encourage you to join the official JPF Day 2021 discord server where you can engage in project-specific discussions with the authors, ask JPF-related questions, or just hang out during the event. We hope to see you there!