上课时间：周四 1-2节
上课地点：理教 107
任课教师：王千祥
助教：
邵津 shaojin07@sei.pku.edu.cn
梁广泰 lianggt08@sei.pku.edu.cn
刘海文 liuhw08@sei.pku.edu.cn
石奎 shikui08@sei.pku.edu.cn
课程设置目标
巩固 所学习的编译知识深入 理解 编程语言：新语言？深入 理解 处理器：多核编程？学习 典型开发工具：新工具？体会 大项目流程：软件工程
课程内容
学： 学习 编译知识、开发工具、开发流程做： 开发 解释器、编译器说： 讲解 自己的工作写： 撰写 基于 自己工作 的 报告
今年与课程相关的内容都放在“北大教学网”上。
自选题目
1、Java 程序的约束描述与验证
2、面向UniCore体系结构的C语言子集编译器
3、程序污点分析、面向GPU集群的CUDA程序自动转换