程式分析領域的國內同行

剛開始接觸程式分析領域時（Program Analysis），根本不知道這個領域的“門派”劃分，只是有個模糊的感性認識：在電腦科學與技術中，有一個大的分支叫作軟體工程（SE），軟體工程中有一個階段叫軟體測試（Test），然後軟體測試按照不同的原則有很多分類：單元測試，整合測試，驗收測試，確認測試，功能測試，效能測試。。。

 

在接觸這領域長達一年的時間裡，自己就存在上述淺薄的認識，雖然代碼編寫了不少，進行了大量的調試、最佳化工作，但理論水平毫無長進，換句話說，自己不具備絲毫的科研素質！甚至有人問自己研究領域時自己都不好意思說是“軟體測試”，或者別人瞭解後敷衍著說一句”測試啊，現在社會需求量巨大，將來前景不可限量啊。。。”

 

直到後來在高人指導下逐步開始了科研之路，陸續地讀了若干國內外真正的高水平文章，瞭解了軟體測試是一門多麼博大精深的學問，國內外有很多同行在不同的測試領域忙碌著，而自己目前所知的東西連滄海一栗都算不上！回顧一下這個艱辛的曆程，自己大體經曆了這樣一個科研之路：完全不懂的門外漢---》為了讀論文而瞎讀---》瞎讀論文無任何收穫---》有針對性地搜尋閱讀論文，明確自己的領域現狀---》可以甄別論文有無價值---》精讀與泛讀的結合---》根據項目遇到的問題，進行研究點定位，然後在國內外同行中搜尋---》從同行的論文發表情況，瞭解期刊、會議的檔次、難易，選擇適合自己的刊源---》科研與實踐同步進行，明確投稿目標，按照deadline安排自己手頭工作---》OK了！！！

 

從2010.8月暑假到今天，變化是明顯的：體重在增長，肚子在變肥，體質在下降；收穫也是有的：投稿期刊、會議各一（一錄用、一複審），自己對研究點也有了較明確的認識。剩下來的就是時間！！！時間是科研的保證，這期間沒有任何捷徑或投機可言，這個自己還是深有體會的：有時雖然煩躁不已，但往往在短暫的平靜之餘，可以想到某個解決思路；而這些個靈感並不取決於工作效率的高低，往往你高效地讀論文、思考，但解決辦法就是遲遲不來。。。

 

說了這麼多，也算是一個小總結吧，本來心情極度煩躁，寫到這也終於算平靜下來，那就按照之前的計劃總結下國內的同行們吧（排名不分先後）：

 

1、北大，梅宏的團隊

這個團隊做的東西比較雜，往往是跟著新申請項目開展各項科研工作，這個從C-DBLP以及他們公開的論文發表情況可以看出來；其中的老大非常牛，是各種國際頂級會議的主席或編委（看會議的召集人時我一般會留意其中的中國人，看其哪個大學，然後再鏈式搜尋），發表的高水平論文也不下百篇；另外出鏡率比較高的還有王仟祥（開了一門進階軟體工程的課程，講的東西比較深），金芝。。。

 

2、中科院軟體所，張健的團隊

這個團隊應該是有一定積累的專門做測試的，從其論文情況來看各種技術應用都有：模型檢測，謂詞約束，動態測試等等。論文發表在國內一級學報的較多，國外會議及期刊相對較少點。出鏡率較高的還有許中興，張震宇（似乎都是近幾年畢業的博士，非常的年輕有為啊！），文章水平也都不錯！

 

3、國防科大，王戟的團隊

這個團隊的透明度不是很高，但論文發表挺多的，水平也主要是國內學報；另外有個陳立前的學生去法國跟著抽象解釋的大牛做了訪問學者，似乎去年也畢業了（畢業論文各種高深的東西，直接看不懂啊），其他出鏡的似乎不太多。

 

4、東南大學，徐寶文

這個團隊也是有深厚積累的，其中鄭國梁研究程式切片相當投入，也出版過一本專著書籍（圖書館有借，沒看過）

 

5、上海交大，趙建軍

這個團隊比較開放，直接有個項目組首頁，裡邊各種人員配備、論文科研、項目都有，還自己制定了一個RANK1-3的會議及期刊列表；團隊可能成立不久，積累似乎也不多，但他本人已經有好多厲害的論文發表。

 

6、香港大學，T.H. Tse

這個人看其首頁應該是非常厲害的人物（各種香港授予的什麼獎，QSIC主席），團隊積累也相當深厚，雖然頂級的文章不多，但近些年的各種層級的EI、SCI都有涉及。

 

其他高校的類似水平的團隊目前尚未發現（如清華也有，但出鏡率不高，沒有團隊化作業？），今後再補充吧！

 

下一篇說下自己對國外同行的認識。