1:10:57Verifying Data Parallel Programs Using Sequential Program Verification TechnologyMicrosoft Research169 viewsView & Download
1:36Verification & Validation - Georgia Tech - Software Development ProcessUdacity49.3K viewsView & Download
22:30Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical SequentializationACM SIGPLAN108 viewsView & Download
1:02:47Verifying Parallel and Distributed Systems: The Observer ProblemEdward Lee765 viewsView & Download
15:35OSDI '22 - Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoningUSENIX379 viewsView & Download