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

xiacijie 发表于 2020/05/02 04:11:27
确实是这样哈哈，不知道你认不认识Ifaz，master跟着Ondrej的，现在跟着Karim读phd了，可能就是你说的这...

读博都是靠你自己。导师肯帮你改文章就很不错了。Karim这种还是AP的，才会帮学生做事，真的参与到你的研究中去。EB引用最多的文章也是AP时指导学生做出来的。

AlanLiu1 发表于 2020/05/02 04:16:24
读博都是靠你自己。导师肯帮你改文章就很不错了。Karim这种还是AP的，才会帮学生做事，真的参与到你的研究中去。EB引用...

我看层主拿到了AWS的一个offer，工作内容也是和Program Analysis相关的么

是。工作不要担心，读博读的好，工作都会来找你。主要看自己实力，CS里方向我觉得不是很重要，只要不是纯算法。。。实在不行就刷题找码农工作呗。

AlanLiu1 发表于 2020/05/02 05:20:44
是。工作不要担心，读博读的好，工作都会来找你。主要看自己实力，CS里方向我觉得不是很重要，只要不是纯算法。。。实在不行就...

感谢前辈的指导 很有启发

不客气，正好看到了就说下自己的想法。帮我加点大米吧。

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

AlanLiu1 发表于 2020-5-2 05:20
是。工作不要担心，读博读的好，工作都会来找你。主要看自己实力，CS里方向我觉得不是很重要，只要不是纯算 ...

请问一下，纯算法指的是？

perryszw 发表于 2020-5-2 11:43
请问一下，纯算法指的是？

Theory方向完全靠纸笔工作的那种……很多算法提出来了证明了有好的性质，其实实际中是不会去实现的……

是的。反正方向里面带theory和algorithm的要慎重考虑吧。身边读了这种的毕业没一个人做跟专业相关的，最好的也是去了MSR做码农，还是刷题进去的。

PL出来可以做很多事，Compiler, system, security都能，纯理论的话现在做的人相对较少。如果真的感兴趣就去试试吧，目前看机会没什么AI，ML多，但说实话PL的知识和技能更concrete，能帮你找到很有意思的工作。读博最重要的是有一个自己喜欢的方向