24:03[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement TypesACM SIGPLAN452 viewsView & Download
1:14:21Prof. Neel Krishnaswami | CN: A separation-logic refinement type system for production systems...INI Seminar Room 1154 viewsView & Download
8:38[Session Previews @ POPL'23] Relational & Automated VerificationACM SIGPLAN63 viewsView & Download
49:36[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin TimanyACM SIGPLAN785 viewsView & Download
10:00Essence C: A New Programming Language (Final Year Project - Maynooth University)CodePulse583 viewsView & Download
13:25Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)ACM SIGPLAN825 viewsView & Download
23:05[POPL'22] Verified Compilation of C Programs with a Nominal Memory ModelACM SIGPLAN206 viewsView & Download
8:03you will never ask about pointers again after watching this videoLow Level3.3M viewsView & Download
![[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types — ACM SIGPLAN — popl23 cn verifying systems c code with separation logic refinement types YouTube to MP3 & MP4 download on TubeGalore](/api/image/x7fp-avX_QE/mqdefault)
![[Session Previews @ POPL'23] Relational & Automated Verification — ACM SIGPLAN — popl23 cn verifying systems c code with separation logic refinement types YouTube to MP3 & MP4 download on TubeGalore](/api/image/SkNH6MMsxl4/mqdefault)
![[POPL'24] An Iris Instance for Verifying CompCert C Programs — ACM SIGPLAN — popl23 cn verifying systems c code with separation logic refinement types YouTube to MP3 & MP4 download on TubeGalore](/api/image/xr5ecmtJ25U/mqdefault)
![[POPL'23] Conditional Contextual Refinement — ACM SIGPLAN — popl23 cn verifying systems c code with separation logic refinement types YouTube to MP3 & MP4 download on TubeGalore](/api/image/fINgpZeyF_g/mqdefault)
![[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany — ACM SIGPLAN — popl23 cn verifying systems c code with separation logic refinement types YouTube to MP3 & MP4 download on TubeGalore](/api/image/JlR0gavV7Ps/mqdefault)
![[POPL'22] Verified Compilation of C Programs with a Nominal Memory Model — ACM SIGPLAN — popl23 cn verifying systems c code with separation logic refinement types YouTube to MP3 & MP4 download on TubeGalore](/api/image/ZhnPaZ0aC3o/mqdefault)
