29:15Jonsson & Sagonas; Testing and Verifying Concurrent Algorithms Using Stateless Model CheckingRISE SICS144 viewsView & Download
1:10:46Interprocedural Analysis and the Verification of Concurrent ProgramsMicrosoft Research330 viewsView & Download
1:01Mechanized Verification of Fine-grained Concurrent Programs: PLDI'15 Video AbstractIlya Sergey1.5K viewsView & Download
53:34Steel: A Concurrent Separation Logic Framework to Scale Up Verification in F*Microsoft Research578 viewsView & Download
26:45[CPP'24] Compositional Verification of Concurrent C Programs with Search Structure Templat...ACM SIGPLAN163 viewsView & Download
1:08:15A Framework for Runtime Verification of Concurrent ProgramsMicrosoft Research185 viewsView & Download
4:59Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations (Teaser)ACM SIGPLAN278 viewsView & Download
14:05GoJournal: a verified, concurrent, crash-safe journaling system (OSDI 2021)Tej Chajed201 viewsView & Download
10:28EBF 4.2: Black-Box Cooperative Verification for Concurrent ProgramsLucas Cordeiro112 viewsView & Download
1:20:40Verification of Concurrent Programs under Release Acquire -- Part IVSS-IARCS82 viewsView & Download
45:02Nikolay Novik — Verification of Concurrent and Distributed SystemsPyCon Ukraine537 viewsView & Download
58:25Modular Total Correctness Verification of Fine-Grained Concurrent Programs with Exceptions and I/OMicrosoft Research203 viewsView & Download