Last Modified: Friday, 2012-08-29 — by dongyuan

董渊 博士， 副教授 清华大学计算机科学与技术系 北京 100084， 中国 电话: +86-10-6279.4240 地址: 东主楼10#209 邮件: dongyuan_at_tsinghua.edu.cn 网页: English Version

基本情况

2001年获博士学位, 2003年博士后出站并受聘任教, 2007~2008年美国耶鲁大学访问学者.
ACM, CCF, IEEE会员, CCF系统软件专业委员会委员.
Open64 Workshop at PLDI 2012 Chair, 欢迎投稿.

研究工作

研究领域为操作系统, 编译系统, 基于语言的可信软件, 主要工作:
1) 参加国家863“32位高性能嵌入式CPU研发”,提出一种软硬件协同开发中的操作系统设计方案并完成开发,提供CPU设计、实现、测试和运行支持. 2) 研究操作系统核心代码的编译支持,给出一种自动重定向方法,基于全球最好的开源高性能编译系统Open64完成PPC32后端,正确性和性能均达到和GCC相当的水平; 设计该编译器内嵌汇编核心代码支持方案,首次实现非GCC开源工具为IA64/PPC32和IA32处理器编译的Linux操作系统. 3) 针对操作系统(虚拟机)中断处理/线程切换等核心代码的可信问题，利用证明传递编译技术研究解决其正确性形式化验证.

招聘信息

如果你关注上述研究领域, 有Unix/Linux使用经验并对开源软件/开源软件开发方法有兴趣, 并愿意从事相关研究工作, 欢迎联系.

课堂教学

编译原理专题训练(秋季学期), 软件工程(秋季学期), 基于LINUX的C++(夏季学期). 教学资料入口

相关论文

[4] Die Li, Yuan Dong, Huan Luo, Tingyu Jiang, Shengyuan Wang, Yu Chen, Modeling, Analyzing and Optimizing Android System as Complex Networks(技术报告，PDF全文), 2012.
[3] 董渊，冯晓兵，王生原，陈文光，编译技术年度进展报告(PDF全文), (PDF讲稿)，(CCF年度进展报告), 2010.
[2] [法] Xavier Leroy, 董渊 译, 王生原 郭宇 审校, 真实编译器的形式化验证, 中国计算机学会通讯, 2010年第3期.
[1] 中文论文， 英文论文(注意：其中语音相关文章的作者为北邮Yuan Dong)。

教材专著

[1]王生原，董渊，杨萍，张素琴，编译原理，北京：人民邮电出版社，2010.
[2]郑莉，董渊，何江舟，C++ 语言程序设计（第四版），北京：清华大学出版社，2010.
[3]郑莉，董渊，张瑞丰，C++ 语言程序设计（第三版），北京：清华大学出版社，2003.
[4]郑莉，董渊，C++ 语言程序设计（第二版），北京：清华大学出版社，2001.
[5]汤荷美，董渊，李莉，程志锐，Linux系列教程：操作系统基础，北京：清华大学出版社，2001.
[6]董渊，朱亚平，倪逸，Linux系统Motif/OpenGL程序开发，北京：机械工业出版社，2000.
[7]郑莉，董渊，傅仕星，C++ 语言程序设计（第一版），北京：清华大学出版社，1999.

---