Media Summary: Talk by Nikhil Swamy in the IARCS Verification Seminar Series, on April 8, 2025. More details can be found on the webpage: ... MIT 6.826: Principles of Computer Systems Information about accessibility can be found at ... ... San Diego Jan Hoffmann, Carnegie Mellon University [43:30]
Cosmo A Concurrent Separation Logic - Detailed Analysis & Overview
Talk by Nikhil Swamy in the IARCS Verification Seminar Series, on April 8, 2025. More details can be found on the webpage: ... MIT 6.826: Principles of Computer Systems Information about accessibility can be found at ... ... San Diego Jan Hoffmann, Carnegie Mellon University [43:30] We define (with machine-checked proofs in Coq) a modular operational semantics for Steel: Proof-Oriented Programming in a Dependently Typed Authors: Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas Presented at SPLASH 2019.
Anindya Banerjee (IMDEA Software Institute) František Farka (IMDEA Software Institute, Spain) Germán Andrés Delbianco ...
![[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany](https://i.ytimg.com/vi/JlR0gavV7Ps/mqdefault.jpg)
![[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)](https://i.ytimg.com/vi/6QAaeND39go/mqdefault.jpg)
![[POPL'22] Concurrent Incorrectness Separation Logic](https://i.ytimg.com/vi/1m7ebAOH8CI/mqdefault.jpg)
![[POPL'24] Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intension...](https://i.ytimg.com/vi/eYgDMkHwfco/mqdefault.jpg)
