Verifying Concurrent Search Structure Templates

(14:56)

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

(46:)

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

(15:35)

Verifying Concurrent Multicopy Search Structures

(14:27)

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

(14:22)

HOP Tools - Concurrent Verification (Preview)

(4:2)

Verifying Concurrent, Crash-safe Systems with Perennial

(16:30)

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

(1:1econd)

17 June 1040 Verifying Concurrent Search Structure Templates

(1:2)

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

(58:25)

Interprocedural Analysis and the Verification of Concurrent Programs

(1:10:46)

Verifying Concurrent Go Code in Coq with Goose

(29:)

Jonsson \u0026 Sagonas; Testing and Verifying Concurrent Algorithms Using Stateless Model Checking

(29:15)

Executable and Verifiable Models of Multi-Threaded and Concurrent Systems

(8:18)

[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimiz

(24:13)

Verifying Optimizations of Concurrent Programs in the Promising Semantics

(17:52)

seL4 Multikernel Roadmap and Concurrency Verification - Corey Lewis

(29:49)

[CoqPL'22] Verifying Concurrent, Crash-Safe Systems with Perennial

(55:4)

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

(3:29:42)