Workshop-Program
Workshop-Program
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.
Program:
Wednesday, 05.10:
| 09:00 – 09.45 | Jan Haltermann: Get-together, Opening and Introduction |
| 09:45 – 10:30 | Dirk Beyer: Current Trends in CPAchecker |
| Coffee Break |
| 11:00 – 11:30 | Florian Dyck: |
| 11:30 – 12:00 | Marie-Christine Jakobs: Taking Advantage of Properties and Dataflow in Difference Verification |
| Lunch |
| 13:30 – 14:00 | Philipp Wendler: |
| 14:00 – 14:30 | Nian-Ze Lee: Enriching Software Verification with Analyses and Applications from Hardware |
| Coffee Break |
| 15:00 – 15:30 | Nicola Thoben: Online Performance Prediction of Software Verification: Heuristics vs Machine Learning |
| 15:30 – 16:00 | Discussions |
| evening | Dinner |
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,