Scalability and Precision by Combining Expressive Type Systems and Deductive Verification (SPLASH 2021 - Posters)

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Who

Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl

Track

SPLASH 2021 Posters

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 22 Oct 2021 10:20 - 10:50 at Zurich D - Posters Virtual Session
Fri 22 Oct 2021 18:20 - 18:50 at Zurich D - Posters Virtual Session

Florian Lanzinger

KIT

Germany

Alexander Weigl

KIT

Germany

Mattias Ulbrich

KIT

Germany

Werner Dietl

University of Waterloo

Canada

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change

10:20 - 10:50	Posters Virtual SessionPosters at Zurich D +8h

10:20 30m Poster		Formal Verification of High-Level SynthesisVirtualDemoOOPSLA Posters Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London
10:20 30m Poster		Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtualDemoOOPSLA Posters Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo

18:20 - 18:50	Posters Virtual SessionPosters at Zurich D

18:20 30m Poster		Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtualDemoOOPSLA Posters Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo
18:20 30m Poster		Formal Verification of High-Level SynthesisVirtualDemoOOPSLA Posters Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London