Concurrency Courses
ACM SIGPLAN via YouTube Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic
ACM SIGPLAN via YouTube Runtime Detection of Data Races in OCaml with ThreadSanitizer
ACM SIGPLAN via YouTube Towards Mailbox Typing for Erlang - Lightning Talk
ACM SIGPLAN via YouTube Modular Verification of Op-Based CRDTs in Separation Logic
ACM SIGPLAN via YouTube Algorithmic Verification - Session Preview at POPL 2023
ACM SIGPLAN via YouTube Semi-Globals and Multi-Threading - Challenges in Legacy Code Adaptation
Dyalog User Meetings via YouTube Asynchronous Programming in Dyalog APL - Part 3b: Futures - 2022 Conference Edition
Dyalog User Meetings via YouTube Future(s) - Asynchronous Programming in Dyalog - Part 3a
Dyalog User Meetings via YouTube Unblocking the Main Thread: Solving ANRs and Frozen Frames in Android Development
Android Makers via YouTube