使用这部分的部分文件需要特殊的软件: .rm, .mp3.
除了下载讲义外,也在下面提供了所选讲义(L)和习题课(R)。
(S): 教授Saman Amarasinghe的课程部分(M): 教授Martin Rinard的课程部分