Formal Verification of High-Level Synthesis (SPLASH 2021 - Posters)

Who

Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson

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

Yann Herklotz

Imperial College London

United Kingdom

James D. Pollard

Imperial College London

United Kingdom

Nadesh Ramanathan

Imperial College London

United Kingdom

John Wickerson

Imperial College London

United Kingdom

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