Skip to content

Latest commit

 

History

History
262 lines (132 loc) · 12.5 KB

Courses.md

File metadata and controls

262 lines (132 loc) · 12.5 KB

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. Urtecht University: Automatic Program Analysis

  7. Peking University:

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

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

  1. 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

  2. 燧原科技

    《编译优化》--官孝峰

    --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 (完结)

  3. University of Stuttgart: Program Analysis

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)

  3. Cornell University

    CS 6120: A Unified Theory of Garbage Collection(2019)

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

  10. Stanford University

    CS242: Programming Languages

  11. The University of Utah

    CS 3520/6520: Programming Languages video --Matthew Flatt