程序语言与系统相关课程
编译原理
Cooper K D. Rice COMP512: advanced compiler construction. https://www.clear.rice.edu/comp512/Lectures/
McKinley K S. UTexas CS380C: advanced compiler techniques. (https://www.cs.utexas.edu/~mckinley/380C/)
Cornell CS 6120: Advanced Compilers (https://www.cs.cornell.edu/courses/cs6120/2022sp/schedule/ )
计算理论
Michael Sipser. MIT 18.404J: Theory Of Computation. https://ocw.mit.edu/courses/18-404j-theory-of-computation-fall-2020