Compiler Design Courses
ACM SIGPLAN via YouTube A Type System for Safe Intermittent Computing
ACM SIGPLAN via YouTube Indexed Streams - A Formal Intermediate Representation for Fused Contraction Programs
ACM SIGPLAN via YouTube An Intrinsically Typed Compiler for Algebraic Effect Handlers
ACM SIGPLAN via YouTube Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
ACM SIGPLAN via YouTube Optimization-Aware Compiler-Level Event Profiling
ACM SIGPLAN via YouTube Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable - OOPSLA 2023
ACM SIGPLAN via YouTube Bring Your Own Data Structures to Datalog
ACM SIGPLAN via YouTube Modern DSL Compiler Architecture in OCaml - Experience with Catala
ACM SIGPLAN via YouTube Challenges with Hardware-Software Co-design for Sparse Machine Learning on Dataflow Architectures
ACM SIGPLAN via YouTube