Programming Languages Courses
ACM SIGPLAN via YouTube asai: A Library for Compiler Diagnostics
ACM SIGPLAN via YouTube The Network is the Computer: A Programming Language Perspective
ACM SIGPLAN via YouTube Mechanizing Refinement Types
ACM SIGPLAN via YouTube Reasoning via Semantic Transformations
ACM SIGPLAN via YouTube Why Languages Should Preserve Load-Store Order
ACM SIGPLAN via YouTube On the Need for Available, Functional, and Reusable Memory Models
ACM SIGPLAN via YouTube Working with Peter O'Hearn in Academia and Industry
ACM SIGPLAN via YouTube Can We Reason About the Security of Concurrent Systems Code?
ACM SIGPLAN via YouTube Totally Live Programming with Hazel - Progress Report
ACM SIGPLAN via YouTube