CPA2020

5th International Workshop on CPAchecker

September 28th/29th, 2020 online

The goal of the 5th International Workshop on CPAchecker is to bring together researchers and practitioners that are interested in the open-source verification framework CPAchecker. The presentations include new concepts and algorithms in CPAchecker, application to interesting problems, experience reports, and discussion on further directions of the open-source project. The workshop is a presentations-only event, i.e., there are no proceedings.

Registration

There will be no registration fee.

However, we will provide the meeting credential only to registered participants. In order to participate in the workshop, you need to register here.

Program

The timezone for the event is Darmstadt local time, i.e. Central European Summer Time, UTC+02:00.

Monday, 28th of September

2:00pm Opening

Speaker: Marie-Christine Jakobs

2:45pm Recent advances of CPAchecker within Klever

Speaker: Evgeny Novikov

Slides

Abstract

3:15pm Break

3:30pm Searching for data races with support for RCU

Speaker: Vadim Mutilin

Slides

Abstract

4:00pm Violation Witnesses and Result Validation for Multi-Threaded Programs

Speaker: Karlheinz Friedberger

Slides

Abstract

4:30pm Break

4:45pm CFA mutations for automatic debugging CPAchecker

Speaker: Pavel Andrianov

Abstract

5:15pm Fault-Localization with CPAchecker

Speaker: Thomas Lemberger

Slides

Abstract

Tuesday, 29th of September

1:30pm Informal Get Together

2:00pm Loop summaries as Horn clauses (ongoing work)

Speaker: Gidon Ernst

Slides

Abstract

2:30pm Cooperative Verification using Invariants

Speaker: Jan Haltermann

Abstract

3:00pm Break

3:15pm From Configurable Towards Self-Configuring Program Analysis

Speaker: Cedric Richter

Slides

Abstract

3:45pm Information Weaving for Test-Case Generation

Speaker: Sebastian Ruland

Slides

Abstract

4:15pm Break

4:30pm Panel discussion

5:30pm Closing

Group picture of the workshop participants – © Marie-Christine Jakobs
Group picture of the workshop participants

Organization

Prof. Dr. rer. nat. Marie-Christine Jakobs

Semantics and Verification of Parallel Systems

Hochschulstraße 10
64289 Darmstadt

Office: S2|02 E307

+49 6151 16-20920


back