Lowkey 的私房菜- USA software testing related 领域教授点评(已完结)

不错不错 期待后面内容

OSU..mike bond
lz消息很fresh，那个Phd是今年1月才收的

收藏了。谢谢楼主

期待楼主介绍UMD

4.17 已更新

我来补充一下UIUC做SE老师的介绍吧

Darko Marinov
以前的工作主要集中在exhaustive test generation,包括最近的UDITA（纠正一下，UDITA是针对顺序程序不是并发程序的哦）。最近主要集中在对于多线程程序的单元测试，回归测试，以及State Space Exploration/MODEL CHECKING(主要是JPF)的优化以及在测试中的应用等。

Grigore Rosu
主要专注于程序验证，使用一套自己开发的MATCHING LOGIC系统。关于测试方面，08年ICSE的jPredictor是一个对于多线程程序的预测分析工具。

Ralph Johnson
设计模式作者之一，工作主要集中在程序重构以及相关的测试等方面。

Danny Dig
UIUC毕业的，之后在MIT做过POST DOC后又回到UIUC当research professor.工作也偏重于程序重构，以及重构在并行优化的应用等。

Madhusudan Parthasarathy
也是偏重于做程序验证的老师，最近一年的POPL上连发了2篇文章。其中FSE‘10的PENELOPE是关于多线程程序的atomicity violation的predictive analysis.

Gul Agha
Koushik Sen的老师,除了Koushik的那些工作以外(DART,CUTE....),主要偏重于Actor系统的开发，测试，验证等。有自己的一套 ActorFoundary系统。

可能不全～

感谢楼上的，终于忽悠完了。。。

Zhendong Su确实和sjtu关系紧密，听说人超好，前年本科毕业出去跟他的一个师兄，今年已经发了篇icse了。
P.S.怎么好像都把gatech给无视了，Mary Jean Harrold、Alex Orso，这么好两教授。

Zhendong Su确实和sjtu关系紧密，听说人超好，前年本科毕业出去跟他的一个师兄，今年已经发了篇icse了。
P ...
hyperzh 发表于 2011-4-19 13:05

    GAtech的那俩太出名了，以前的帖子介绍的挺详细了，我就省略了，嘿嘿

嗯，非常有用，感谢楼主的辛勤奉献