Compiler Design Courses
ACM SIGPLAN via YouTube The Principles of the Flix Programming Language
ACM SIGPLAN via YouTube Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs - PLDI 2023
ACM SIGPLAN via YouTube A Probabilistic Choreography Language for PRISM
ACM SIGPLAN via YouTube Four Languages for Portability - SPARSE 2024
ACM SIGPLAN via YouTube Compiling Probabilistic Programs for Variable Elimination with Information Flow
ACM SIGPLAN via YouTube Tiling for DMA-Based Hardware Accelerators
ACM SIGPLAN via YouTube The Sparse Abstract Machine: A Model for Sparse Tensor Algebra on Dataflow Accelerators
ACM SIGPLAN via YouTube Compiler Support for Structured Data
ACM SIGPLAN via YouTube SSA as Freyd Categories - Categorical Semantics for Compiler Design
ACM SIGPLAN via YouTube