Compiler Design Courses
ACM SIGPLAN via YouTube Co-dfns Update 2023 - Expanding APL Capabilities Through Compiler Design
Dyalog User Meetings via YouTube A2: A Programming Language for the Apple II
KansasFest via YouTube How to Be a Rockstar Developer - CPH DevFest 2024
NDC Conferences via YouTube The B Programming Language - Archaeology and Reconstruction
media.ccc.de via YouTube Verified Software Security Down to Gates
Conference on Computer-Aided Verification via YouTube