OSDI, SOSP与美国著名计算机系的调查报告

【Princeton Univ】
有人说 Princeton是一所梦一样的学校。这所座落在纽约边上小镇的学校以它的学术水平
蜚声世界。在50-60年代，著名的高等研究中心吸引了一大批欧洲的科学家，爱因斯坦，外
尔，陈省身都在那里留下了自己的足迹。在计算机系，这个只有17个Professor的小系，却
在USnews上长期霸占前十的位置。Princeton在OSDI上一共发表了12篇文章，值得一题的是
它是唯二的两个在每一届的OSDI上面都有文章发表的学校（另一个是 Washington）。值得
一题的是，在普林斯顿的System方向，我们中国人做出了非凡的成绩。

在12篇文章中，主要是由两位教授完成的，每人完成6篇，可能方向不太一致，两位高产教
授居然没有在OSDI中合作过。这两位是系主任 Larry Peterson和中国教授Kai Li(李凯)。
李凯教授在OSDI上发表过6篇文章，不仅如此，他还指导了许多中国学生在OSDI上崭露头角
。其中来自清华计算机系的学生就至少有： Pei Cao,Yu xiang, Xiaohu Qie。他们分别在
94，2000和2002年的OSDI上和李凯教授发表文章。不仅如此，Pei Cao师姐在1996年又以W
isconsin副教授的身份发表了一篇OSDI。

在李凯教授的众多学生中，最著名的莫过于现在在UIUC当教授的 Yuanyuan Zhou。Yuanyu
an Zhou是北大计算机本科毕业的，她跟李凯教授的第一篇论文就是发表在OSDI上面。她到
UIUC后，发表了UIUC在OSDI上面的第一篇论文。现在 Prof. Zhou独自扛起了UIUC里OS的大
梁，她已经在OSDI和SOSP上发表了4篇论文。

System方向的另一位教授 Larry Peterson比起李凯教授可能更加活跃。Larry Peterson在
OSDI和SOSP上共发表了11篇文章，名列第6名。同样的，他指导了很多中国学生的研究工作
。比如来自上海交大的Ruoming Pang，来自北大的Limin Wang，还有Ming Zhang, Chi Zh
ang，Zhe Wang都和Larry Peterson发表过OSDI。在普林斯顿总共发表的11篇OSDI中就有1
0篇是和中国人有关的。

两位教授近年来也在做一些比较有意思的事情。李凯教授前些年在做一个Scalable Displ
ay Wall 用很多台投影仪搭建一个超大尺寸的视频墙。今年李凯教授过来讲座，得知最近
他在开一个公司，关于数据备份压缩的研究。

Larry Peterson一直在领导一个很大的项目PlanetLab。这个项目是一个超大的分布式平台
，把很多实验室，工业界的计算资源整合起来，在全球已经有了722个结点。包括David C
uller，Larry Peterson在内很多教授都参与了这个项目。最近的进展是12.13号发布了Pl
anetLab Services。

【U.Washington】

作为位于微软老巢的学校，Washington在System领域自然是不甘落后，甚至有和四大叫板
的实力。一个有意思的现象是，我所介绍的6 所学校中，除了4大牛校之外，剩下两所学校
的系主任都是搞System的，而且都是发文狂人，这也从一个侧面说明了System在这两所学
校中的地位吧。

和普林斯顿一样，Washington也是在每届OSDI中都有收获的学校。在Washington中，有两
位教授在OSDI上都发表过4篇文章，他们是：系主任Henry M. Levy和Steven D. Gribble
。另两位教授Thomas Anderson，Brian N. Bershad在Washington发表了3篇文章，其中Br
ian N. Bershad还在CMU当教授期间发了一篇OSDI，这两位教授都是Washington毕业的，而
且都是Henry M. Levy的学生。Henry M. Levy不仅培养出优秀的学生，自己的工作也十分
的出色。在OSDI和SOSP发文排行榜上，Henry M. Levy以15篇文章和MIT的M. Frans Kaash
oek并列第一位。在排行榜的前6位中，Henry M. Levy， Brian N. Bershad，Thomas And
erson师徒三人分别名列第1，3，6位，这是多么厉害的数字。另一位Steven D. Gribble教
授不是来自Washington，他是来自OS牛校Berkeley。Steven D. Gribble在Berkeley导师是
Eric Brewer，后面会提到Eric Brewer也是我们系师兄周枫的导师。Steven D. Gribble在
做学生的时候于97年发了一篇SOSP，2000年又发了一篇OSDI。

上述四位教授主要都是在Systems, Networking, and Security Research组工作。他们组
的项目很多，正在做的就有17项，包括分布式系统和网络、安全，操作系统等等。在分布
式领域，他们和普林斯顿一样，都参加了PlantLab项目。其他的几个项目都是和网络相关
：比如Internet Astronomy是要检测互联网的每一处行为，并构建下一代互联网协议；Wi
reless Network Design主要是讨论未来无线网的协议。在安全方面，Spyware and Worms
项目主要是检测和防御蠕虫和间谍软件。Electronic Voting主要是加强电子投票器的安全
问题。在操作系统方面，Denali和Nooks这两个操作系统使他们关注的热点。其中Nooks主
要是解决操作系统中经常出现的驱动失败的问题。总而言之，网络和安全（包括修复错误
）是Washington近期的研究的热点，他们最近的文章也都是这方面的内容。很遗憾，和MI
T一样，在Washington没有看见中国人的身影。

OSDI，SOSP与美国著名计算机系的调查（一）4
【Stanford Univ.】

斯坦福大学位于信息世界的心脏地带--硅谷，它是所有学CS人心目中的dream school。Su
n, Yahoo, Google等等公司都是由斯坦福的学生创办的。斯坦福在OSDI上发了11篇文章，
其中有5篇是由Dawson Engler教授发表的，此外Dawson Engler还发表了5篇SOSP，以10篇
的成绩名列第8位。

Dawson Engler毕业于大名鼎鼎的MIT的PDOS组，他是前面提到的MIT大牛人Frans Kaashoe
k的学生，可谓名师出高徒。他所研究的就是查找一些真实代码中的bug， 比如他做的Met
a-Level Compilation项目，这个东西主要是用来检查，优化，修改操作系统代码中。它能
够查处500多处出现在Linux, OpenBSD, Xok, 和Stanford FLASH machine中的错误。它主
要是由一个compiler(xgcc)和一种编程语言Metal。另外他还开了一个公司：coverity用来
推广静态检查产品。Dawson Engler最近研究的东西是自动生成一些输入数据，用来覆盖程
序中所有的分支，对所有值的检查，用来发现代码中的问题。

在他的学生中，有一个很牛的清华计算机系的师兄Junfeng Yang。他和Dawson Engler合作
，以第一作者的身份发表了两篇OSDI。他们组做的工作都是用软件去寻找代码中的bug，显
得很有新意。

此外，还有一位华裔女性教授在OSDI上发表了2篇文章，在SOSP上发表了3篇文章，她就是
Monica S. Lam（林倩玲）。她做的工作之一和Dawson Engler有点类似，是通过Static A
nalysis and Dynamic Instrumentation方法来提高程序的鲁棒性。此外，她还提出了一种
新的体系结构，利用Virtual Appliances.技术来使计算机更容易管理。

【UC Berkeley】

Berkeley是OS的发祥地， BSD版的UNIX影响了整个OS界，伯克利的RISC技术后来成为了SU
N公司SPARC微处理器的核心技术。可能是因为Berkeley大师太多了，所以没有像Henry M.
Levy那样的领军人物。发文数最多的Eric A. Brewer,教授有3篇OSDI和两篇SOSP。但是，
有像David Patterson，David Culler这样的泰斗级人物的存在，Berkeley依然是OS的领跑
者。在Berkeley中，有两个方向常常在OSDI上发表文章，它们是 Computer Architecture
& Engineering (ARC)和Operating Systems (OS)。

OS 组是由Eric A. Brewer领导的。同时Eric A. Brewer还领导着Intel Research Berkel
ey。Eric教授主要是做和网络相关的OS。他现在主要做两个项目：TIER和NEST。TIER是一
个类似于100美金笔记本的项目，但是它不仅仅是造一台机器。从官方主页上来看，它包含
了无线，存储，教育，医疗，语言和能源。这是一个非常大的项目，目前在很多非洲国家
都有部署，有美国国家自然科学基金会的资助、来自Intel、HP和微软的协助以及联合国计
划开发署、Grameen Bank和Markle Foundation的支持。另一个NEST是网络嵌入式系统，它
是伯克利无线嵌入式系统的一部分，David Culler也参加了这个工作。值得一题的是Eric
A. Brewer有一位得意门生是来自清华计算机系的周枫师兄，周师兄在06年的OSDI上发表
了一篇论文，是关于用软件的方法来解决Linux中驱动崩溃的情况。解决驱动崩溃的东西前
面提到的Washington也在做，不知道这是不是一个热门的方向。

David Culler的涉猎范围十分的广泛，和Eric A. Brewer一样，他们都毕业于MIT。Culle
r教授现在研究的项目有，前面提到的普林斯顿和华盛顿都在做的PlanetLab，和Eric教授
一起参与的Wireless Embedded Sestems，另一个网络嵌入式系统TinyOS，高性能的网络工
作站NOW，一种并行编程语言Split-C:，等等。

总之，伯克利的牛人太多了，像David Patterson这种泰斗，我都不知道怎么介绍了。另外
有意思的一点就是伯克利的教授一般都是自己开公司，像Eric A. Brewer，David Culler
都有自己的公司，在加州的这片热土上，有足够的机遇和人才来促进计算机的研究和发展
。

上一页  [1] [2] [3] 下一页