中级农民
- 积分
- 125
- 大米
- 颗
- 鳄梨
- 个
- 水井
- 尺
- 蓝莓
- 颗
- 萝卜
- 根
- 小米
- 粒
- 学分
- 个
- 注册时间
- 2009-8-1
- 最后登录
- 1970-1-1
|
PL往往和软件工程(SE)在一起,除了warald所说的那种纯理论的研究,90%的情况不可能孤立开来的。
目前从事PL研究的人往往都是把PL的技术用在SE上,如自动化测试,自动化debug,做verification等等,或者增强OS系统和network的reliability等等。。。比如说可以google下:Alex Aiken,Dawson Engler, Mike Ernst, Dan Grossman, YY Zhou, Zhendong Su, Atanas Rountev, Barbara Ryder, Koushik Sen, Ras Bodik, Mary Lou Soffa, Martin Rinard, Calvin Lin等知名教授,很少有纯理论的。 而且基本上top 20的每个学校都有1 - 2个professor
因此个人觉得并不是很冷门。
PL的人往往很容易跳到SE这边,而且理论基础更好,对于从事research类的工作更加有优势。
目前dominate 软件工程顶级会议的人,90%是原来PL和compiler的人,很少很少有一路是SE做上来的。 IBM最好的TJ Waston实验室,基本上所有从事SE的研究的人都是PL出来,而且创造了很多应用价值的成果,比如:David Bacon给IBM的JVM设计了自动垃圾回收的算法,ibm靠他这个专利就卖了n多million |
|