Program Analysis
Books
Courses
- ⭐NJU : Static Program Analysis | Fall 2021
- CMU 17-355/17-665/17-819: Program Analysis | Spring 2022
- ⭐Stuttgart : Program Analysis | Winter 2021
- USTC : Theory of Programming Language | Spring 2020
- ⭐PKU : 软件分析技术 | 2022
- ⭐USTC : Programming Language Design and Program Analysis | Spring 2023
- CMU 15-414 Bug Catching: Automated Program Verification and Testing | Spring 2023
- CMU 15-817 Introduction to Model Checking | Spring 2011
- ⭐Static Program Analysis - DCC888
- COMS W4995: Program Analysis for Security
- Stanford : CS243 – Program Analysis and Optimizations | Winter 2023
- Harvard : Advanced Topics in Programming Languages | Fall 2015
- WISC : CS704 Principles of Programming Languages | Spring 2022
- WISC : CS704-NOTES | Spring 2013
- Abstract Interpretation Winter School | Winter 2015
Programming Language
Books
- Types and Programming Languages
- 编程语言基础：Agda 描述
- 软件基础
- OCaml Programming: Correct + Efficient + Beautiful
Courses
- ⭐USTC Principle of Programming Languages | Spring 2023
- ⭐IDEA : 程序语言理论与实现
- COMS W4115 Programming Languages and Translators | Spring 2015
- PKU : 软件科学基础 | 2023春
- PKU : 编程语言的设计原理 | 2021
- ⭐USTC : Formal Methods Foundation
- ⭐Albert-Ludwigs-Universität Freiburg : Essentials of Programming Languages | 2022
- ⭐ETH : Advanced Formal Language Theory | Spring 2022 | Rycolab
- CS410 | 2021
- ⭐IITM : CS3100: Paradigms of Programming | 2020
- ⭐Formal Methods of Software Design
- ⭐Leiden University : Concepts of Programming Languages | 2021-2022 - YouTube
- ⭐Leiden University : Program Correctness | 2021-2022 - YouTube
- ⭐Trento : Formal Method | 2020
- ⭐UCSC CSE 114A: Foundations of Programming Languages | Spring 2023
- ⭐Washington : CSE 341 | Spring 2023
- ⭐CUW : Programming Language Theory (Fall 2021)_哔哩哔哩_bilibili
- ⭐McMaster : Principles of Programming Languages (Fall 2021)_哔哩哔哩_bilibili
- ⭐KAIST : GraduatePL | 2020
- USTC : Formal Methods Foundation | 2015
- USTC : Formal Methods Foundation | 2014
Interestingly, the last two courses are about PL and not FM.
Compiler
Books
- Compilers: Principles, Techniques, and Tools
- Modern Compiler Implementation in ML
- Engineering a Compiler
- Basics of Compiler Design
- Crafting Interpreters
- Curated list of awesome resources on Compilers, Interpreters and Runtimes
Courses
- ⭐Harvard : COMPSCI 153: Compilers | Fall 2021
- NEU : CS 4410/6410: Compiler Design | Spring 2023
- ⭐Stanford : CS143: Compilers
- Cornell : Compilers | Spring 2023
- Indiana University : Compilers | Fall 2022
- [University of Northern Iowa : CS 4550: Translation of Programming Languages | 2022
- MIT 6.035 | Fall 2018
- ⭐CS 164 | Fall 2022
- CMU 15-411/611 Compiler Design | 2020
- University of Illinois Urbana Champaign : CS 426: Compiler Construction | Fall 2022
- PKU Compiler
- USTC : Principles and Techniques of Compilers | Fall 2022
- Brown : CSCI 1260: Compilers | Spring 2021
- Brown : CSCI 1260: Compilers and Program Analysis
- ⭐NJU : 编译原理 | 2022年春
- Washington : CSE P 501 | Fall 2021
- ⭐UML : COMP 4060 Compiler Construction | Spring 2021
- SH : 编译原理
- ⭐HUST : 编译原理
- ⭐Cornell : CS 6120: Advanced Compilers γ | Fall 2020
- ⭐CSU : CS 151: Compilers | YouTube
- ⭐USTC : Compiler | 2014
MLSys
Guides
Courses
- ⭐MLC
- ⭐DLSys
- CMU 15-884 MLSys | Spring 2021
- Stanford : CS 329S: Machine Learning Systems Design | Winter 2022
- ⭐Stanford : MLSys Seminars
- UCB AISys | Spring 2022
- ⭐Cornell : ML Hardware and Systems | 2022
- MIT 6.5940 TinyML and Efficient Deep Learning Computing | Fall 2023
- FDU : AI Core and RISC Architecture | 2020
Parallel Computing
Books
Is Parallel Programming Hard, And, If So, What Can You Do About It?
Courses
- Stanford : CS 149 Parallel Computing | Fall 2022
- CMU 15-418/15-618: Parallel Computer Architecture and Programming | Spring 2021
- Washington : CSE 552 | Fall 2019
- Stanford : CS315B: Parallel Programming | Fall 2022
- Purdue : CS525: Parallel Computing | Spring 2023
- Udacity CS344: Intro to Parallel Programming | NVIDIA Developer
- Caltech : CS 179: GPU Programming | Spring 2023
- University of South Carolina : CSCE569 Parallel Computing | Spring 2018
- UNC : COMP 633 Parallel Computing | Fall 2021
- Georgia Institute of Technology : High Performance Computing
- Michigan : EECS 498/598: Applied Parallel Programming with GPUs | Fall 2021
- ⭐Parallel101 : 高性能并行编程与优化
- SHTec : CS121 Parallel Computing
Distributed System
Courses
- illinois : CS425/ECE428 | Spring 2023
- CMU 15-712 Advanced Operating Systems and Distributed Systems | Spring 2023
- ⭐MIT 6.824 Distributed Systems | Spring 2023
- CMU 15-719/18-709 Advanced Cloud Computing | Spring 2023
- CMU 15-440/640 Distributed Systems | Fall 2021
- Cornell : Distributed Computing Principles | Spring 2023|
- Princeton : COS 418 Distributed Systems | Fall 2022
- Washington : CSE 452 Distributed System | Spring 2020
- Distributed Systems Course
- Columbia : Distributed Systems | Fall 2013
- COMS 4113 Distributed Systems Fundamentals
- ETH : Distributed Systems | 2022
- UBC : Distributed Systems | Winter 2021
- Georgia : CS 7210: Distributed Computing
- ⭐Cambridge : Distributed Systems | 2022
- ⭐UCSC : CSE138 Distributed Systems | Spring 2021
