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
15:00 - 15:10	Opening
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.