13:53Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation LogicACM SIGPLAN574 viewsView & Download
1:19:33Pulse: Proof-oriented Programming with Concurrent Separation Logic in F*VSS-IARCS229 viewsView & Download
15:00SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)ACM SIGPLAN113 viewsView & Download
29:11Interactive Proofs in Higher-Order Concurrent Separation LogicPOPL PARIS 2017353 viewsView & Download
19:44[PLDI'25] PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed ProgramsACM SIGPLAN58 viewsView & Download
13:25Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)ACM SIGPLAN825 viewsView & Download
24:13[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program OptimizACM SIGPLAN170 viewsView & Download
52:53The Return of Procedural Programming - Richard FeldmanChariotSolutions90.0K viewsView & Download