康奈尔大学 CS 6120 高级编译器自主在线课程：聚焦编程语言实现！

转载于 2026-06-19 08:34:59 发布 · 21 阅读

【课程资源】

CS 6120 课程有丰富的资源链接，包括课程主页、课程表、教学大纲、课程内容、Zulip 交流平台、讨论区、博客。

【课程介绍】

CS 6120 是康奈尔大学计算机科学系（Cornell CS）由 Adrian Sampson 讲授的博士级课程，聚焦于编程语言实现。课程涵盖通用编译器主题，如中间表示、数据流和“经典”优化，也涉及更具研究性的主题，如并行化、即时编译和垃圾回收。课程学习包括阅读论文和开源编程任务，使用 LLVM 和专门为该课程设计的教育性中间表示（IR）。

本页面列出了在想象中的大学学习该课程的课程安排，可获得四个想象学分（无评分）。课程有一个线性的时间线，穿插着需要阅读的论文。每节课都有视频和文字笔记，部分课程还有需要完成的 _实现任务_。这些任务或多或少都是开放性的，旨在通过将抽象概念转化为实际代码，巩固对这些概念的理解。课程顺序是观看视频和阅读论文的建议安排。

与“真实”的 CS 6120 课程相比，自主学习版本可以忽略任务截止日期，也无法参与 Zulip 上的讨论线程。真实的 CS 6120 课程在学期末还有一个课程项目，而在自主学习版本中，学期末的任务是通过编译器的魔力改变世界。

由于授课教师是视频制作新手，请谅解视频的制作质量，尤其是早期课程的视频。CS 6120 课程是开源的，可在 GitHub 上查看，如果发现问题，请提交 bug 报告。完成课程后，请填写这份反馈表。

【课程详情】

第 1 课：欢迎与概述

包含视频，需阅读《在未明显出错的情况下产生错误数据！》（Todd Mytkowicz、Amer Diwan、Matthias Hauswirth 和 Peter F. Sweeney 著，发表于 2009 年 ASPLOS 会议）以及 SIGPLAN 实证评估指南。

第 5 课：全局分析

包含全局分析与优化视频，需阅读《高效路径分析》（Thomas Ball 和 James R. Larus 著，发表于 1996 年 MICRO 会议）。

第 6 课：静态单赋值

有静态单赋值视频，需阅读《使用 Alive 实现可证明正确的窥孔优化》（Nuno P. Lopes、David Menendez、Santosh Nagarakatte 和 John Regehr 著，发表于 2015 年 PLDI 会议）。

第 7 课：LLVM

包含 LLVM 简介视频和编写 LLVM 通行证视频。

第 8 课：循环优化

有视频。

第 9 课：过程间分析

有视频，需阅读《基于类型的别名分析》（Amer Diwan、Kathryn S. McKinley 和 J. Eliot B. Moss 著）。

第 10 课：别名分析

有视频，需阅读《统一的垃圾回收理论》（David F. Bacon、Perry Cheng 和 V. T. Rajan 著，发表于 2004 年 OOPSLA 会议）以及《快速保守的垃圾回收》（Rifat Shahriyar、Stephen M. Blackburn 和 Kathryn S. McKinley 著，发表于 2014 年 OOPSLA 会议）。

第 11 课：内存管理

有视频，需阅读《SELF：一种基于原型的动态类型面向对象语言的高效实现》（C. Chambers、D. Ungar 和 E. Lee 著，发表于 1989 年 OOPSLA 会议）以及《动态语言基于跟踪的即时类型特化》（Andreas Gal、Brendan Eich、Mike Shaver 等著，发表于 2009 年 PLDI 会议）。

第 12 课：动态编译器

包含动态编译器视频、通过推测进行跟踪视频，需阅读《超级优化器：最小程序的研究》（Alexia Massalin 著，发表于 1987 年 ASPLOS 会议）以及《叶绿素：面向低功耗空间架构的合成辅助编译器》（Phitchaya Mangpo Phothilimthana、Tikhon Jelvis、Rohin Shah 等著，发表于 2014 年 PLDI 会议）。

第 13 课：并发与并行

有视频，需阅读《线程不能作为库实现》（Hans - J. Boehm 著，发表于 2005 年 PLDI 会议）、《利用多媒体指令集挖掘超字级并行性》（Samuel Larsen 和 Saman Amarasinghe 著，发表于 2000 年 PLDI 会议）、《确定性并行 Java 的类型与效果系统》（Robert L. Bocchino、Vikram S. Adve、Danny Dig 等著，发表于 2009 年 OOPSLA 会议）以及《现实编译器的形式验证》（Xavier Leroy 著，发表于 2009 年 CACM 期刊）。