Verifying Data Parallel Programs Using Sequential Program Verification Technology

2017 1:10:57
Synopsis
I will report on recent work in the Multicore Programming Group at Imperial on the verification of data parallel programs.

You Might Also Like

GPUVerify: Verification method 40:42
Gpuverify: Verification Method
2014
GPUVerify: Introduction and overview 32:16
Gpuverify: Introduction And Overview
2014
Program verification with Leon 3:38
Program Verification With Leon
2014
Verifying Parallel and Distributed Systems: The Observer Problem 1:02:47
Verifying Parallel And Distributed Systems: The Observer Pro...
2021
Parasara Sridhar Duggirala – Logic and Program Verification 1:09:38
Parasara Sridhar Duggirala – logic And Program Verificati...
2018
Developing effective verification technology | Joseph Sifakis | TEDxNiendorf 7:57
Developing Effective Verification Technology | Joseph Sifaki...
2025
Verified Software Experiments 1:27:42
Verified Software Experiments
2017
Alan J. Hu - Automatic Formal Verification of Software: Really! 57:37
Alan J. Hu - Automatic Formal Verification Of Software: Real...
2013
Download Verification of Sequential and Concurrent Programs (Texts in Computer Science) [P.D.F] 0:31
Download Verification Of Sequential And Concurrent Programs ...
2017
Which Verification Engine When 17:30
Which Verification Engine When
2020
Program Verification via SVMs 37:02
Program Verification Via Svms
2017
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.