OSDI '21 - GoJournal: a verified, concurrent, crash-safe journaling system

(14:22)

Verified Concurrent Programmes: Laws of Programming with Concurrency

(1:7:7)

Dr. Viktor Vafeiadis | Scaling up the automated verification of concurrent programs

(46:)

HOP Tools - Concurrent Verification (Preview)

(4:2)

GoJournal: a verified, concurrent, crash-safe journaling system (OSDI 2021)

(14:5)

Mechanized Verification of Fine-grained Concurrent Programs: PLDI'15 Video Abstract

(1:1econd)

OSDI '22 - Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning

(15:35)

Modular Total Correctness Verification of Fine-Grained Concurrent Programs with Exceptions and I/O

(58:25)

QED: A Simplifier for Concurrent Programs

(56:23)

Verifying Concurrent Search Structure Templates

(14:56)

Sound Sequentialization for Concurrent Program Verification

(17:43)

A Framework for Runtime Verification of Concurrent Programs

(1:8:15)

[TutorialFest@POPL'24] Scaling Verification of Concurrent Programs with the Civl Verifier

(3:29:42)

Executable and Verifiable Models of Multi-Threaded and Concurrent Systems

(8:18)

Interprocedural Analysis and the Verification of Concurrent Programs

(1:10:46)

[OCaml24] Saturn: a library of verified concurrent data structures for OCaml 5

(24:28)

seL4 Multikernel Roadmap and Concurrency Verification - Corey Lewis

(29:49)

Verifying Optimizations of Concurrent Programs in the Promising Semantics

(17:52)

Verifying Concurrent Multicopy Search Structures

(14:27)

Verification of Concurrent Programs with Civl

(1:36:51)