程序分析领域的国外同行、大牛们

刚开始阅读英文论文时，首先就碰到了一个问题：搜索关键字是什么？我们平时叫“软件测试”，搜索"Software Test“往往结果99%不是自己需要的；那么换个词”静态分析 static analysis”呢？结果似乎好了点?再换一下试试“程序分析 program analysis”？还有别的同级别、同意义的关键词吗？software analysis? program verification? model checking? Abstract Interpretation? Predict Abstraction? SAT,SMT?..........

 

这种情况尤其在需要了解某个小领域时非常常见，比如当时想了解”循环中的数据流分析是如何进行的”，搜索关键词最终有这么多：recursion？loop? loop analysis? loop invariant analysis? loop transformation? loop bound analysis? loop optimization? .....

 

情况的解决往往是突然间，搜索到了一篇你非常需要的文章，然后问题迎刃而解：它的参考文献，作者主页，作者导师的主页（及其在读或已毕业学生），作者所在的研究组（组里的同事）。。。。。。这时，就发现自己已经掉进了一个知识陷阱，本来一口水都喝不着，忽然感觉要被淹死了！然后接下来的就是甄别，找最相关的，挖他们的创新点，钻他们的空子或者逆向思维或者？

 

好了，言归正传，总结下自己大半年来了解的国外同行，大牛们（甚至有的应该叫大象吧？！！）。这些大牛大多都来自国外一流的研究机构（MSRA，Bell），或者一流的大学（斯坦福，Wisconsin, MIT, UC Berkley, CMU), 在顶级的期刊会议中几乎每年都能见到他们的身影，甚至有的非常过分地占有好几席之地（一年就那么几十篇，有的团队能占到四五篇）！

 

1、Standford，本领域的高校NO.1，各种大牛带出来的各种NB学生，有的学生再当导师带出来一批批小牛，呈星状幅射到国际各大高校；这里只列举两个大母牛（产了好多厉害人物^_^,就这么尊称吧，没有私豪不敬）：

Alex Aiken：http://theory.stanford.edu/~aiken/

Dawson Engler：http://www.stanford.edu/~engler/

具体有牛到什么地点，可以看看他们的论文列表，看看他们的学生发表论文情况（有对模范夫妻，每年都有顶级好几篇，都是女第一，男第二作者）；其涉及的领域也非常广泛，只要你在本领域有研究需求，一般都能从他们这里链式搜索到！

 

 

2、MSRA，这个勿庸多说了，研究机构中绝对的NO.1，跟本领域相关的有几个出镜率比较高的研究组：CSE（ Center for Software Excellence）, Software Reliability Research, Rigorous Software Engineering。注意一下它们各自团队中的人员，及每年论文发表情况，惊叹！

 

 

3、Wisconson Madison,这个出镜率也非常高，应该是仅次于斯坦福的了吧！牛人也不少，只列举一个：

Thomas W. Reps，http://pages.cs.wisc.edu/~reps/

 

4、CMU，学校虽然NB，但出镜率一般，列举一个：http://www.cs.cmu.edu/~aldrich/

 

5、MIT，有一个专门的研究部门（忘了），出镜率也一般：http://people.csail.mit.edu/rinard/

 

6、加州大学伯克利分校，这个出镜率还是比较高的，列举两个NB的：

http://www.cs.berkeley.edu/~daw/

http://www.eecs.berkeley.edu/~necula/

 

7、其他零星的大牛也非常多，随便列举几个：

University of Nebraska:    http://www.cse.unl.edu/~grother/ 

University of Maryland, College Park： http://writeblog.csdn.net/PostEdit.aspx

 

 

另外,就是关注各顶级期刊会议的编委及主席(POPL PLDI SAS ISSTA ICSE CAV OOPLAS , TOPLAS TOSEM TOSE STTT STVR),会不时地发现更多大牛，然后突然感觉自己连大海里的一滴水都算不上，前边的路还非常长，不能浪费时间，要用功要努力。。。

 

 

下一篇总结下写论文的经验吧！