Lightning talks

In addition to full talks, we will have one session of lightning talks. Each lightning talk is 5 minutes, without discussion. Every participant is encouraged to use this opportunity to quickly present their research (especially if the person does not give a full talk) and how they use CPAchecker (or would like to use it). Lightning talks can also be used to quickly share ideas and impulses. We can do more than one lightning talk per person, if time permits.

Organization of the lightning talks will be done in the opening of the workshop, so there is no need to register before.


Wednesday, 05.10:

09:00 – 09.45   Jan Haltermann:
Get-together, Opening and Introduction    
09:45 – 10:30 Dirk Beyer:

Current Trends in CPAchecker

10:30 – 11:00

Coffee Break
11:00 – 11:30

Florian Dyck:
Benchmark generation for software verifiers with semantics preserving transformations.

11:30 – 12:00 Marie-Christine Jakobs:
Taking Advantage of Properties and Dataflow in Difference Verification

12:00 – 13:30

13:30 – 14:00

Philipp Wendler:
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification

14:00 – 14:30 Nian-Ze Lee:
Enriching Software Verification with Analyses and Applications from Hardware

14:30 – 15:00

Coffee Break
15:00 – 15:30 Nicola Thoben:
Online Performance Prediction of Software Verification: Heuristics vs Machine Learning
15:30 – 16:00 Discussions


Thursday, 06.10:

09:00 – 09:30 Lightning Talks 1
09:30 – 10:00 Daniel Baier:
Concrete-Value Analysis with Symbolic Memory Graph Domain Extension and CEGAR
10:00 – 10:30 Jan Haltermann:
Information Exchange between Over- and Under-approximating Software Analyses

10:30 – 11:00
Coffee Break
11:00 – 12:00 Panel Discussion
12:00 – 13:00 Lunch and Closing

Full Talks:

Every participant is invited to contribute a talk on their ongoing or latest research and development with and around CPAchecker. Talks will be 20 minutes, +10 minutes time for discussion.

If you have any questions,

(Changed: 10 Oct 2022)