|
王 生 原 |
通信地址 |
清华大学计算机系软件技术研究所, 100084 |
|
²
基于有色网的事务型并发编程模型及其验证技术,国家自然科学基金可新软件基础研究重大研究计划面上项目, NSFC No.90818019, 2009.1-2011.12。 ²
Optimized Open Source System Software for Freescale
32-Bit Processors,Freescale公司项目, 2007.4-2009.3。 ²
适合低级并发程序验证的抽象机模型基础研究,清华大学985基金项目,2007.10-2008.12。 ²
Open64 as a backend of GCC in IA64,HP公司项目, 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。 |
Copyright© 清华大学系统软件与软件工程组
地址 :清华大学东主楼10区2层 100084
最近更新: