关于选择Programming Language作为之后的研究方向的讨论

本人大三，目前对PL比较感兴趣，尤其是Static Program Analysis，目前在考虑是否选择研究生往这个方向发展。但希望听听地里的大佬们的建议，因为确实PL是个比较冷门的方向，做research只靠着喜欢是不行的，还要考虑今后自己的发展，我自己的目前考虑的是：
1. 今后可能读这个方向的phd，可能会跟着Waterloo的 Ondrej Lhotak, 之后回国去高校找教职。
2. 或者去大厂去做相关research （但听说招的很少）

最近上了南大 Yue Li老师的软件分析这门课，Yue Li老师本人对这个领域是比较看好的，以及目前的老板是Eric Bodden和Ondrej Lhotak的徒弟，有这个方向的很多资源，不管是学术还是人脉相关的，我自己之前和WALA的作者也有过一些项目合作，但地里还是有相当一部分人是看衰这个领域的，因为本人学识有限
所以还希望听听大家对这个领域的看法，
1. PL是否是个天坑领域？
2. PL的研究是否在工业界并不是那么受认可？
3. 大家可以谈谈对未来 10年之内对PL发展的预测

PL在Brian Kernighan和Ken Thompson那个时代是前沿科学，到八十年代主要的理论问题差不多都解决了，剩下的边角料像指针分析之类的到九十年代也解决得差不多了，现在根本没有什么能让普通后来者“创新”的，去PLDI和POPL看看，基本都是在炒冷饭，翻来覆去地解决几十年前就已经解决的问题。PhD的任务是要求探索未知领域同时创造新的知识，PL作为业余爱好学习了解一下未尝不可，但是作为PhD的方向一定要慎重。我非常喜欢生物化学，有很多东西都很有意思，但是绝不会去读生物化学的PhD

还是不错的，静态分析并没有发展到头，我觉得最近5年，工业界开始更关注PL而不是相反。
工业界目前的应用我知道的包括FB的infer, zoncolan. 还有微软有相当多的应用，比如SLAM等等。
我觉得PL的问题并不是像之前以为层主说的，都解决完了，大家在炒冷饭，而是真正很困难的问题没有被解决，导致很多问题很难做下去。比如loop invariant等等。
我个人觉得PL目前的状态有点像2000-2010的AI。

不是专门研究这块的，但是研究生有上高级编译器，以及目前项目有在用到。单独研究的话应该已经不属于什么前沿领域了，就像现在很少有什么编译理论重大突破一样。新语言也就前端➕llvm，属于工业应用范围，谈不上学术。编译器本身现在已经成为了一个工业品，跟cpu差不多，系统已经变得极其复杂，很多属于经验性质的坑。学术界新点子对于工业来说一般都没啥人用。除非学术界说有能创造出什么新的神级语言，干翻py cpp java。我个人觉得慎重。ssa本身概念也不难，PL目前我觉得重在用静态动态解决一些业界超级复杂以至于正常方法很难发现的问题。一般都跟系统bug，数据库前端有关。属于水非常深，很难做，有可能最后变成屠龙之技。当然，你如果本身一心科研，各种领域都是能研究。夸领域，结合ml，未来一些新兴领域，说不准有奇效。

我对PL这个方向了解不多 但是和研究PL的人聊天过程中对这个方向的印象大概是 (当然别人的主观感受不一定正确) 工业界对口工作比较少 因为PL研究的很理论。。

Static program analysis 应该是更属于SE吧，虽然也可以投PL的会。
SE四大顶会ICSE FSE ISSTA ASE
PL的: PLDI POPL OOPSLA ASPLOS

找工作确实不算好找，对口的不多吧，也很难带了直接的经济效益，你在晋升的时候也很难说明自己的工作有哪些impact。有些大厂的研究所会招，感觉入门待遇和别的方向差不多，但是后期就不清楚了


至于你说Yue Li...教授肯定不会在课上却退自己的方向吧(况且他的publication 并不算好啊

dtwind 发表于 2020/05/01 13:43:21
Static program analysis 应该是更属于SE吧，虽然也可以投PL的会。
SE四大顶会ICSE FSE...

谢谢回复，所以想先听听大家对这个方向的看法再做读研的决定

Ci_SkyII 发表于 2020-5-1 14:55
不是专门研究这块的，但是研究生有上高级编译器，以及目前项目有在用到。单独研究的话应该已经不属于什么前 ...

PL和Compiler其实是不同的方向，虽然很有关联，PL是TCS的实例，Compiler是PL的实例，PL的人往往有个毛病，喜欢说自己是做Compiler的，这样显得自己做的东西更有用

xiacijie 发表于 2020-5-1 14:03
谢谢回复，所以想先听听大家对这个方向的看法再做读研的决定

还需要给你提个醒，PL PhD毕业时的论文引用量很低，毕业两年能破百就很不错了，但是移民局很可能不会把你和CV NLP的人区别对待，如果找不到高明的律师帮你好好写文书，你申请EB1绿卡会和CS其他方向放在一个pool里，会很麻烦

trump 发表于 2020/05/01 23:58:17
还需要给你提个醒，PL PhD毕业时的论文引用量很低，毕业两年能破百就很不错了，但是移民局很可能不会把你和CV NLP的...

其实我目前计划是回国去 211/985 找教职

xiacijie 发表于 2020-5-2 00:14
其实我目前计划是回国去 211/985 找教职

国内教职现在也需要你有美国这边的正式职位的，学校级别，是否有tenure，是否有绿卡，都是他们考核的指标，应届博士回去没有任何竞争力