no photo

  
Wang, Sheng-Yuan


    

副教授

 

 

 

电子邮件

wwssyy@tsinghua.edu.cn

 

 

 

    

86-10-62794240

 

 

 

 

通信地址

清华大学计算机系软件技术研究所, 100084


研究兴趣:

 

²       程序设计语言, 理论, 与系统

²       并发/分布系统建模

²       Petri 网应用


近年负责的项目

 

²       基于有色网的事务型并发编程模型及其验证技术,国家自然科学基金可新软件基础研究重大研究计划面上项目, NSFC No.90818019, 2009.1-2011.12

²       Optimized Open Source System Software for Freescale 32-Bit ProcessorsFreescale公司项目, 2007.4-2009.3

²       适合低级并发程序验证的抽象机模型基础研究,清华大学985基金项目,2007.10-2008.12

²       Open64 as a backend of GCC in IA64HP公司项目, 2005-2007(负责重定向设计)。

²       用于目标机描述的元对象Petri网模型,国家自然科学基金面上项目,NSFC No.60573017, 2006.1-2008.12

²       OpenMP并行转换器,军口合作项目,2005.1-2006.7

²       OpenMP C/Fortran 2.0编译系统,Intel公司项目,2002.6-2003.12(负责编译前端开发)。

²       32位高性能微处理器研发,国家863重点项目与清华大学985校级重点项目,2002.9-2003.12(负责开发工具与环境小组的工作,包括针对THUMP 体系结构的编译器、汇编器、调试器等)。

²       面向交叉编译器构造的目标机描述,清华大学第4 批骨干人才资助计划项目, 2002


近年论文(部分)

 

 

 

 


近年教学(2001-

 

²       Formal Languages and Automata

形式语言与自动机

99,00,01,02,03,软件01,软件02,04, 05, 06

²       Principles and Practice of Compiler Construction

编译原理

02,03,软件03,04, 05, 06

 

 

Copyright©  清华大学系统软件与软件工程组
地址 :清华大学东主楼102 100084
最近更新: 2008年12月1