如何評價港科大 CSE PhD 首次入選 POPL 的這篇論文？

---

謝謝提問者關注我們的工作！我就評論三點。

一是，確實我們花了很大精力歷時兩年半才搞出這篇文章，非常不容易，值得慶祝。有了零的突破是很大的鼓舞，最重要的是給師弟師妹們摘掉了popl的神秘感，有利於大家齊頭並進。就文章本身內容，最重要的take away message就是我們提出了online collect partial trace and offline infer full trace的策略，確實比online collect full trace要有效的多。不過不可否認，我們的演算法在實際系統中的實用性還有待擴展，因為我們依賴大量的static analysis，但現代的軟體有太多的dynamic features以及可能還是cross languages，都很難處理。不過瑕不掩瑜，思考角度上我們還是有很多可圈可點的，能為後續的工作開闢新思路我就很開心了。讓我們拭目以待。

二是，科大在楊老闆的掌舵下，正在全速向big data亞洲領先邁進，PL和system研究的投入短期內應該不會增加。我們去給楊老闆講我們的程序分析，楊老闆欽賜software AI名字給我們的技術，我們其實是無限光榮的。當然也可以看出短期內PL作為依附的地位應該不會變化。

三是，不過我們找到了更好的提高自身地位和影響力的方法，那就是造出切實可用的系統來make industry impact，而不是光發paper。學校不重視，我們可以創造價值讓他們重視嘛。其實你看我們除了這篇popl已經很久沒發paper了，原因嘛自然是想憋出更重要且有實際影響力的work :&>。

最後是，長遠看，3-5年，我覺得科大的PL一定能有很大的進步，因為現有的Charles和SCC的學生都很努力，近幾年拿了好幾個distinguished papers。至少我們目前夠資格邀請到Tom Ball, Barbara Ryder, Marry Sofa, Tom Reps等大牛來訪，也算衝出亞洲的第一步嘛，:&>

---

論文：要實用化需要很多擴展，比如處理複雜的語言特性像Java的reflection.

意義：不會更加重視。另外CSE幾個和PL有點關係的其實都更偏向SE（Software Engeerning），Charles Zhang組似乎逐漸轉向PL，研究program analysis/verification。

---

推薦閱讀：