Parallel Programming Courses
ACM SIGPLAN via YouTube Parallel Sequences in Multicore OCaml
ACM SIGPLAN via YouTube Resource Polymorphism: Integrating First-Class Resources into ML
ACM SIGPLAN via YouTube DisLog: A Separation Logic for Disentanglement
ACM SIGPLAN via YouTube Disentanglement with Futures, State, and Interaction
ACM SIGPLAN via YouTube Efficient CHAD - Optimizing Combinatory Homomorphic Automatic Differentiation
ACM SIGPLAN via YouTube Runtime Detection of Data Races in OCaml with ThreadSanitizer
ACM SIGPLAN via YouTube Programming the Machines of Tomorrow Today - Legion Programming Model
INSAIT Institute via YouTube