18:48A6.C — Concurrent separation logic meets template gamesSaarland Informatics Campus174 viewsView & Download
28:21Verified ZynqMP DMA Driver in Concurrent Separation Logic - Gordon Stewart, Riverside ResearchThe seL4 Microkernel126 viewsView & Download
15:00SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)ACM SIGPLAN113 viewsView & Download
13:53Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation LogicACM SIGPLAN575 viewsView & Download
14:57Cosmo: A Concurrent Separation Logic for Multicore Ocaml (ICFP 2020)ACM SIGPLAN168 viewsView & Download
1:16:056.826 Fall 2020 Lecture 16: Concurrent separation logic, IrisNickolai Zeldovich1.1K viewsView & Download
26:12[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)ACM SIGPLAN103 viewsView & Download
29:11Interactive Proofs in Higher-Order Concurrent Separation LogicPOPL PARIS 2017353 viewsView & Download
23:44A Relational Model of Types-and-Effects in Higher-Order Concurrent Separation LogicPOPL PARIS 201777 viewsView & Download
13:31Create, Deploy, and Test a Semantic Model Using Oracle Analytics Semantic ModelerOracle Learning6.1K viewsView & Download