3:29:42 [TutorialFest@POPL'24] Scaling Verification of Concurrent Programs with the Civl Verifier ACM SIGPLAN
1:31:15 [TutorialFest@POPL'24] Verified Message-Passing Concurrency in Iris: Separation Logic Meet... ACM SIGPLAN
1:34:50 [TutorialFest@POPL'24] Cedar: A language for expressing fast, safe, and fine-grained autho... ACM SIGPLAN
2:56:54 [TutorialFest@POPL'24] Automated Datastructure Verification using Unfoldings and SMT Solvi... ACM SIGPLAN
