1:01Mechanized Verification of Fine-grained Concurrent Programs: PLDI'15 Video AbstractIlya Sergey1.5K viewsView & Download
4:59Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations (Teaser)ACM SIGPLAN278 viewsView & Download
24:13[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program OptimizACM SIGPLAN170 viewsView & Download
![[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimiz — ACM SIGPLAN — erpops concurrent program YouTube to MP3 & MP4 download on TubeGalore](/api/image/P4_FHYWnEzQ/mqdefault)
![[ICFP'23] Calculating Compilers for Concurrency — ACM SIGPLAN — erpops concurrent program YouTube to MP3 & MP4 download on TubeGalore](/api/image/iOjoUHorufQ/mqdefault)
