概况

本小组致力于计算机系统方面的研究，以“开放、创新、合作”为实验室文化建设主旨，主要研究方向是虚拟化技术、程序监控与分析、下一代网络、移动与嵌入式计算，研究目的是构建高性能、高可信和高可用的计算机系统基础设施。

目前小组有教师三名，其中戚正伟获得教育部新世纪优秀人才支持计划支持，博士生3名，硕士每年约6-7人，并有本科生在实验室学习。学生毕业后继续出国深造（美国CMU、GIT，加拿大McGill，新加坡NUS）或国内IT（微软、Intel、IBM、摩根斯坦利）等企业就职，已经和微软、Intel、IBM、阿里云、南京中兴、摩根斯坦利等建立了良好的合作关系，经常派遣学生去带项目进行研究型实习，和国外CMU、McGill、瑞士卢加诺大学进行学术交流，并联合撰写论文，详见本网站“People”和“Projects”。

本小组申请专利6项，获得著作权3项，出版教材3部。出版译著《UNIX环境高级编程（第3版）》、《UNIX环境高级编程（第2版）》，为2008、2009年度畅销榜TOP50（China-Pub）。主持一项2009年度教育部精品课程建设。发表论文在HPDC、ICSM、AOSD、WCRE、APSYS、ODSI（poster）、SAC、EUC、TOOLS、ICPADS、 TON、TPDS、TACO、JSS、SCP、SPE、JCSS、CCPE、Digital Investigations、Journal of Systems Architecture、Computers and Mathematics with Applications等国际会议和期刊了发表了50余篇论文。详见本网站“Publications”。

本小组在承担国家自然科学基金3项，国家科技重大专项子课题1项，科技部基础专项子课题1项，上海科委重点基础研究1项，上海市国际科技合作基金1项，微软研究院青年教师基金1项，上海航天805所和56所项目各一项。参与上海科委项目1项，IBM研究院数据中心合作项目2项，西门子研究院1项，公安部重点实验室开放课题1项；国家科技重大专项子课题1项，上海市国际科技合作基金1项，863计划子课题（2011AA01A202）1项，获得教育部科技进步奖一等奖1项（2012）。详见本网站“Projects”。

教学工作

• Computer Systems Security

• The Foundation of Virtualization Technology ---- 虚拟化技术

• 软件开发基础(本科)[2006-2008]

• 嵌入式系统及优化(本科,研究生)[2005-2009]

• 高级操作系统(研究生)[2007-2012]

• Computer Architecture ---- CAAQA for graduate of Engineering

• The Lab of Programming Language Design III

• Computer Systems A Programmer’s Perspective ---- CSAPP for SE undergraduates

• Operating Systems ---- OS for SE graduate students

项目

1. 基于无线传感器网络的数据中心节能.

2. 大规模分布式系统实时可预测在线分析研究.

3. 分布式二进制翻译.

4. 基于虚拟机的数据中心绿色计算.

5. 基于虚拟机的实时嵌入式系统分析.

6. 基于模型检测的方法研究次序相关的并发缺陷.

7. 教育部China Grid一期的研发工作.

8. 面向领域的应用服务器中间件平台与通用中间件的研究.

9. 信息网格系统软件开发及网格结点建设.

10. 面向智能手机的嵌入式软件系统的研究与开发.

11. 手持式移动终端及信息服务平台.

12. 可重构制造系统的制造执行系统MES建模与模型检验课题.

13. 云化网关研究.

14. 基于虚拟机的系统分析.

15. 云计算操作系统研究.

16. 弹性虚拟池研究.

17. 基于程序分析的绿色节能研究.

18. 数据中心能耗管理.