程式分析領域的國外同行、大牛們

剛開始閱讀英文論文時，首先就碰到了一個問題：搜尋索引鍵是什嗎？我們平時叫“軟體測試”，搜尋"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),會不時地發現更多大牛，然後突然感覺自己連大海裡的一滴水都算不上，前邊的路還非常長，不能浪費時間，要用功要努力。。。

 

 

下一篇總結下寫論文的經驗吧！