The Courses about PL and Compiler

Compilers

1. Stanford University

   CS143: Compilers

   CS243: Program Analysis and Optimization

   CS343: Advanced Topics in Compilers

2. University of Pennsylvania

   CIS341: Compilers

3. RICE University

   COMP 412: Compiler Construction for Undergraduates --Keith Cooper, Michael Burke

   COMP 512: Advanced Compiler Construction --Keith D. Cooper

4. California State University, Sacramento

   CSC 151: Compiler Construction --Bilibili video

5. University of Illinois Urbana-Champaign

   CS426: Compiler Construction

   CS526 Topics in Compiler Construction 2011 2020

6. University of Cambridge

   Compiler Construction

7. University of Texas

   CSE5317/CSE4305: Design and Construction of Compilers

8. University of California San Diego

   CSE131: Compiler Construction --Bilibili video

9. Cornell University

   CS 6120: Advanced Compilers β --Adrian Sampson

10. NPTEL(India, Contain video)

    IIT Kharagpur: Compiler Design --Santanu Chattopadhyay

    IIT Kanpur: Compiler Design --S.K.Aggarwal

    IISc Bangalore: Compiler Design --Y.N.Srikant

    IISc Bangalore: Principles of Compiler Design --Y.N.Srikant

11. University of Toronto

    CSCD70: COMPILER OPTIMIZATION --Gennady Pekhimenko

12. Carnegie Mellon University

    CS745: Optimizing Compilers --Todd C. Mowry

13. KAIST(Korea Advanced Institute of Science and Technology)

    CS420: Compiler Design --video

14. Swarthmore College

    Principles of Compiler Design

15. University of Massachusetts at Lowell

    406: Compiler Construction --Jay McCarthy

16. 中科院软件所PLCT实验室 && HelloGCC && HelloLLVM

    方舟·编译技术入门与实战 --吴伟

    方舟编译器短视频 --slides --Bilibili video --史宁宁

国内大学编译原理课程

1. 清华大学 --王生原,陈 渝,姚海龙

2. 中国科学技术大学

   编译原理 --Bilibili video --陈意云

   Principles and Techniques of Compiler(2019) --李诚

   Principles and Techniques of Compiler(2019) --张昱

   Principles and Techniques of Compiler(2020) --李诚

   Principles and Techniques of Compiler(2020) --张昱

3. 哈尔滨工业大学 --Bilibili video --陈鄞

4. 西安交通大学 --Bilibili video --冯博琴

5. 东南大学 --Bilibili video --廖力

6. 国防科技大学 --Bilibili video --王挺

7. 北京航空航天大学 --icourse --张莉

Program Analysis

1. Stanford University: CS243: Program Analysis and Optimization

2. University of Pennsylvania: Software Analysis and Testing

3. Aarhus University: Static Program Analysis

4. Federal University of Minas Gerais: DCC888: Static Program Analysis YOUTUBE video --Fernando M Q Pereira

5. Carnegie Mellon University: 17-355/17-665/17-819 Program Analysis

6. Peking University:

Software Analysis 2019 --Yingfei Xiong(熊英飞)

Software Analysis 2020(video) --Yingfei Xiong(熊英飞)

7. Nanjing University

   Software Analysis --Yue Li(李樾), Tian Tan(谭添)

   --Bilibili video:

   01：Introduction 02: Intermediate Representation 03: Data Flow Analysis I 04: Data Flow Analysis II

   05: Data Flow Analysis - Foundations I 06: Data Flow Analysis - Foundations II 07: Interprocedural Analysis 08: Pointer Analysis

   09：Pointer Analysis - Foundations I 10: Pointer Analysis - Foundations II 11: Pointer Analysis - Context Sensitivity I 12: Pointer Analysis - Context Sensitivity II

   13: Static Analysis for Security 14: Datalog-Based Program Analysis 15: CFL-Reachability and IFDS 16: Soundness and Soundiness

8. 燧原科技

   《编译优化》--官孝峰

   --Bilibili video:

   01: 编译器简介+从源码到运行 02: BB+CFG+Local_optimization 03: DFA1 04: DFA2

   05: WorkList 06: Pointer Analysis 07: SSA 08: Register Allocation

   09: Case Study & ILP(I) 10: ILP(II) Instruction Scheduling (完结)

Virtual Machine && Runtime

1. University of California, Berkeley

   CS294-113: Virtual Machines and Managed Runtimes Bilibili video

2. Virtual Machines Summer School

   2016(Cumberland Lodge,UK)

Programming Languages

1. Brown University

   CS173: Programming Languages

2. University of WASHINGTON

   Programming Languages Part A Part B Part C --Dan Grossman

3. Carnegie Mellon University

   15-312: Foundations of Programming Languages

4. Peking University

   编程语言的设计原理 --Yingfei Xiong(熊英飞)

5. Programming Language Implementation Summer School

   2017 2019

6. Cornell University

   CS 4110: Programming Languages and Logics --Adrian Sampson

   CS 6110: Advanced Programming Languages --Adrian Sampson

7. Indiana University Bloomington

   P523: Programming Language Implementation --Arun Chauhan

   C311/B521/A596: Programming Languages --Daniel P. Friedman

8. Nanjing University

   程序设计语言的形式语义 -- Hongjin Liang(梁红瑾)

   CS61a: Structure and Interpretation of Computer Programs -- Xinyu Feng(冯新宇)

   CS242: Foundations of Programming Languages -- Xinyu Feng(冯新宇)

9. OPLSS — Oregon Programming Language Summer Schoo

   2020:Due to the unprecedented public health crisis caused by the Covid-19 outbreak, the organisers of OPLSS2020 have decided to cancel the event for this summer.

   2019:Foundations of Probabilistic Programming and Security

   2018:Parallelism and Concurrency

   2017:A Spectrum of Types

   2016:Types, Logic, Semantics, and Verification

   2015:Types, Logic, Semantics, and Verification

   2014:Types, Logic, Semantics, and Verification

   2013:Types, Logic, and Verification

   2012:Logic, Languages, Compilation, and Verification

   2011:Types, Semantics and Verification

   2010:Logic, Languages, Compilation, and Verification

   2009:Theory & Practice of Language Implementation

   2008:Logic and Theorem Proving

   2007:Integrating with the External World

   2006:Concurrent and Distributed Software

   2005:Reliable Computing

   2004:Software Security

   2003:Foundations of Security

   2002:Proofs as Programs