24:03[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement TypesACM SIGPLAN452 viewsView & Download
22:52[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and...ACM SIGPLAN162 viewsView & Download
25:20[POPL'23] DimSum: A Decentralized Approach to Multi-language Semantics and VerificationACM SIGPLAN327 viewsView & Download
18:42[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)ACM SIGPLAN113 viewsView & Download
8:37#ifdef #ifndef Conditional Compilation Directives | C Programming TutorialPortfolio Courses24.2K viewsView & Download
19:25Branchless Programming: Why "If" is Sloowww... and what we can do about it!Creel1.7M viewsView & Download
![[POPL'23] Conditional Contextual Refinement — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/fINgpZeyF_g/mqdefault)
![[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/x7fp-avX_QE/mqdefault)
![[Session Previews @ POPL'23] Concurrency & Linearizability — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/4pP5F1IzgIY/mqdefault)
![[POPL'23] A Compositional Theory of Linearizability — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/8daiHZvL1Vk/mqdefault)
![[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and... — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/S4XojkWuEtY/mqdefault)
![[POPL'23] DimSum: A Decentralized Approach to Multi-language Semantics and Verification — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/5IFZaoBdjkQ/mqdefault)
![[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…) — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/ELSREvt9_gQ/mqdefault)
![[POPL'22] Moebius: Metaprogramming using Contextual Types — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/XfiO8ZHiZNw/mqdefault)
![[POPL 2021] A Separation Logic for Effect Handlers (full) — ACM SIGPLAN — popl23 conditional contextual refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/Zqyu0LPbBb8/mqdefault)
