Krishna S - Verification Of Concurrent Programs Under Weak Memory

2025 1:16:20
Synopsis
Abstract: This is an overview of recent work on the verification of concurrent programs. Traditionally concurrent programs are ...

You Might Also Like

Verification of Concurrent Programs under Release Acquire by Krishna S 36:37
Verification Of Concurrent Programs Under Release Acquire By...
2022
Ori Lahav — Weak memory concurrency in C/C++11 59:54
Ori Lahav — Weak Memory Concurrency In C/c++11
2020
Verification of Concurrent Programs under Release Acquire 1:13:51
Verification Of Concurrent Programs Under Release Acquire
2025
[APLAS] Verification of Concurrent Programs under Release-Acquire Concurrency 1:03:31
[aplas] Verification Of Concurrent Programs Under Release-...
2024
Verification of Concurrent Programs under Release Acquire -- Part I 1:20:40
Verification Of Concurrent Programs Under Release Acquire --...
2023
Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model 14:00
Formal Verification Of A Concurrent Bounded Queue In A Weak ...
2022
Concurrency Vs Parallelism! 4:13
Concurrency Vs Parallelism!
2025
Brijesh Dongol “Owicki-Gries Reasoning for Weak Memory Models”, VeTSS Summer School 25 (VSS25) 2:04:40
Brijesh Dongol “owicki-gries Reasoning For Weak Memory Mod...
2026
Modular verification of concurrent programs with heap 58:29
Modular Verification Of Concurrent Programs With Heap
2017
Taming Release-Acquire Consistency 22:41
Taming Release-acquire Consistency
2017
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models 20:52
Bridging The Gap Between Programming Languages And Hardware ...
2020
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
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.