24:13[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program OptimizACM SIGPLAN170 viewsView & Download
4:59Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations (Teaser)ACM SIGPLAN278 viewsView & Download
29:11Interactive Proofs in Higher-Order Concurrent Separation LogicPOPL PARIS 2017353 viewsView & Download
18:45[POPL'22] A Separation Logic for Heap Space under Garbage CollectionACM SIGPLAN310 viewsView & Download
49:36[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin TimanyACM SIGPLAN785 viewsView & Download
1:19:33Pulse: Proof-oriented Programming with Concurrent Separation Logic in F*VSS-IARCS229 viewsView & Download
13:25Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)ACM SIGPLAN825 viewsView & Download
19:33[POPL'24] Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intension...ACM SIGPLAN119 viewsView & Download
26:12[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)ACM SIGPLAN103 viewsView & Download
21:42MoSeL - A General, Extensible Modal Framework for Interactive Proofs in Separation LogicICFP Video152 viewsView & Download
1:13:47Probabilistic Error Cancellation with Sparse Pauli-Lindblad Models on Noisy Quantum ProcessorsQiskit6.2K viewsView & Download
![[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimiz — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/P4_FHYWnEzQ/mqdefault)
![[POPL'22] Concurrent Incorrectness Separation Logic — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/1m7ebAOH8CI/mqdefault)
![[POPL'22] A Separation Logic for Heap Space under Garbage Collection — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/rh5MVxrctBQ/mqdefault)
![[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/JlR0gavV7Ps/mqdefault)
![[POPL'24] Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intension... — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/eYgDMkHwfco/mqdefault)
![[POPL'22] Software Model-Checking as Cyclic-Proof Search — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/miozY4MV-lg/mqdefault)
![[POPL 2021] A Separation Logic for Effect Handlers (full) — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/Zqyu0LPbBb8/mqdefault)
![[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full) — ACM SIGPLAN — popl22 simuliris a separation logic framework for verifying concurrent program optimiz YouTube to MP3 & MP4 download on TubeGalore](/api/image/6QAaeND39go/mqdefault)
