J*********n
发帖数: 370 | 1 出国打算申programming language方向，粗略了解了下形式语义，自动机，计算模型等
东西，想问一下
1）这个方向当前的研究前沿是什么？
2）有那些新颖的应用？
3）这方面的牛导师，牛校和program有哪些？
有劳这方面的牛人解答一下，不胜感激，先行谢礼，orz |
h******u
发帖数: 155 | 2 1) pl作为非常基础理论的cs研究很难申请grant，目前pl研究都多多少少与其他一些
area搭界，比如software engineering和security。 pl本身研究范围也很广，从type
theory到program analysis到compiler都可以包括，所以每一个子领域都一些focus和
前沿的东西。
2）如上述，foundamental的东西已经被研究光了，现在多多少少target一些实际的问
题，而不是纯粹的理论研究 （e.g.,算法复杂度，compiler的优化等等）。 这些实际
问题包括debug，statically/dynamically自动发现某些类型的bug(say data race,
memory leak etc)
3）以下group是比较active 的， 比如
1. Stanford-Alex Aiken (constaint-based analysis), Monica Lam(program
analysis, with a bit system-oriented flavor)
2. Berkeley-Ras Bod
【在 J*********n 的大作中提到】
: 出国打算申programming language方向，粗略了解了下形式语义，自动机，计算模型等
: 东西，想问一下
: 1）这个方向当前的研究前沿是什么？
: 2）有那些新颖的应用？
: 3）这方面的牛导师，牛校和program有哪些？
: 有劳这方面的牛人解答一下，不胜感激，先行谢礼，orz
|
w***g
发帖数: 5958 | 3 这个表很赞的说
type
【在 h******u 的大作中提到】
: 1) pl作为非常基础理论的cs研究很难申请grant，目前pl研究都多多少少与其他一些
: area搭界，比如software engineering和security。 pl本身研究范围也很广，从type
: theory到program analysis到compiler都可以包括，所以每一个子领域都一些focus和
: 前沿的东西。
: 2）如上述，foundamental的东西已经被研究光了，现在多多少少target一些实际的问
: 题，而不是纯粹的理论研究 （e.g.,算法复杂度，compiler的优化等等）。 这些实际
: 问题包括debug，statically/dynamically自动发现某些类型的bug(say data race,
: memory leak etc)
: 3）以下group是比较active 的， 比如
: 1. Stanford-Alex Aiken (constaint-based analysis), Monica Lam(program
|
h*******e
发帖数: 225 | 4 居然都没有UIUC, 呵呵
type
【在 h******u 的大作中提到】
: 1) pl作为非常基础理论的cs研究很难申请grant，目前pl研究都多多少少与其他一些
: area搭界，比如software engineering和security。 pl本身研究范围也很广，从type
: theory到program analysis到compiler都可以包括，所以每一个子领域都一些focus和
: 前沿的东西。
: 2）如上述，foundamental的东西已经被研究光了，现在多多少少target一些实际的问
: 题，而不是纯粹的理论研究 （e.g.,算法复杂度，compiler的优化等等）。 这些实际
: 问题包括debug，statically/dynamically自动发现某些类型的bug(say data race,
: memory leak etc)
: 3）以下group是比较active 的， 比如
: 1. Stanford-Alex Aiken (constaint-based analysis), Monica Lam(program
|
b***e
发帖数: 1419 | 5 I think you'd better not get into this area unless if you are seriously
interested in it. If you want to get a PhD and have a promising job in the
future, you'd better go with networks, databases, artificial intelligence (
information retrieval, recognition, vision), or image processing. For PL,
you get into a hard way even if you get your PhD. Faculty positions in this
area are very rare as compared to other areas, and industry does not really
need much of the stuff in academic PL research e |
J*********n
发帖数: 370 | 6 I really appreciate your reply,thanks a lot.
type
【在 h******u 的大作中提到】
: 1) pl作为非常基础理论的cs研究很难申请grant，目前pl研究都多多少少与其他一些
: area搭界，比如software engineering和security。 pl本身研究范围也很广，从type
: theory到program analysis到compiler都可以包括，所以每一个子领域都一些focus和
: 前沿的东西。
: 2）如上述，foundamental的东西已经被研究光了，现在多多少少target一些实际的问
: 题，而不是纯粹的理论研究 （e.g.,算法复杂度，compiler的优化等等）。 这些实际
: 问题包括debug，statically/dynamically自动发现某些类型的bug(say data race,
: memory leak etc)
: 3）以下group是比较active 的， 比如
: 1. Stanford-Alex Aiken (constaint-based analysis), Monica Lam(program
|
J*********n
发帖数: 370 | 7 Thanks for your advice.I will take it seriously
the
this
really
research
【在 b***e 的大作中提到】
: I think you'd better not get into this area unless if you are seriously
: interested in it. If you want to get a PhD and have a promising job in the
: future, you'd better go with networks, databases, artificial intelligence (
: information retrieval, recognition, vision), or image processing. For PL,
: you get into a hard way even if you get your PhD. Faculty positions in this
: area are very rare as compared to other areas, and industry does not really
: need much of the stuff in academic PL research e
|
J*********n
发帖数: 370 | 8 如果你知道的话也欢迎你把它补齐啊，呵呵
【在 h*******e 的大作中提到】
: 居然都没有UIUC, 呵呵
:
: type
|
h******u
发帖数: 155 | 9 Ohh yeah, I agree. Unless you are truly a brilliant guy (having great ideas,
solid programming skills, and patience), you would even find it difficult
to get a paper accepted in a PL conference. I would say PL conferences like
PLDI, POPL, FSE are really really competitive as compared to top conferences
in other CS disciplines.
Your choice depends on your interest, though. Fewer people are in this area,
really because it is HARD. PL has a whole universe of well-defined and well
-organized theori
【在 b***e 的大作中提到】
: I think you'd better not get into this area unless if you are seriously
: interested in it. If you want to get a PhD and have a promising job in the
: future, you'd better go with networks, databases, artificial intelligence (
: information retrieval, recognition, vision), or image processing. For PL,
: you get into a hard way even if you get your PhD. Faculty positions in this
: area are very rare as compared to other areas, and industry does not really
: need much of the stuff in academic PL research e
|
N********n
发帖数: 8363 | 10 I seriouly suggest you stay away from this field unless you are fanatic
about PL. It takes tremendous amount of energy to research and yet it
doesn't pay off as well as other fields. The demand for PL people is
not huge either. Learning sth like DB, OS, Network and so on can be much
more rewarding than PL.
BTW, I used to study in this field.
【在 J*********n 的大作中提到】
: 出国打算申programming language方向，粗略了解了下形式语义，自动机，计算模型等
: 东西，想问一下
: 1）这个方向当前的研究前沿是什么？
: 2）有那些新颖的应用？
: 3）这方面的牛导师，牛校和program有哪些？
: 有劳这方面的牛人解答一下，不胜感激，先行谢礼，orz
|
|
|
J*********n
发帖数: 370 | 11 Now I find I am in a dilemma.I took two courses related to PL, principle of
compiler construction and principle of programming language, I liked them
very much and scored 99 for the former and full marks for the later. Besides
, when I was reading SICP, I found it was really amazing for all the
brilliant thoughts in this area.But I am only an undergraduate, which makes
it impossible for me to know much about this field and determine whether I
am suitable for the research on it.What's more, I com
【在 h******u 的大作中提到】
: Ohh yeah, I agree. Unless you are truly a brilliant guy (having great ideas,
: solid programming skills, and patience), you would even find it difficult
: to get a paper accepted in a PL conference. I would say PL conferences like
: PLDI, POPL, FSE are really really competitive as compared to top conferences
: in other CS disciplines.
: Your choice depends on your interest, though. Fewer people are in this area,
: really because it is HARD. PL has a whole universe of well-defined and well
: -organized theori
|
J*********n
发帖数: 370 | 12 Thank you very much for your advice.
Actually I have another choice, that is network, especially I am interested
in network security.But the problem is I haven't do much about it, even less
than what I know about PL.
【在 N********n 的大作中提到】
: I seriouly suggest you stay away from this field unless you are fanatic
: about PL. It takes tremendous amount of energy to research and yet it
: doesn't pay off as well as other fields. The demand for PL people is
: not huge either. Learning sth like DB, OS, Network and so on can be much
: more rewarding than PL.
: BTW, I used to study in this field.
|
b*****e
发帖数: 474 | 13 说得不错, 不过看到你列的:
我就笑了... 不过我想你并不是在排什么名.
其实, fundamental 的东西倒也没有研究完, 比如 semantics 的理论就还不完善
functional programming 里好多东东还是很有得搞的, 但这些东西目前弄不到钱
= 死了.
搞应用的, 那还是不错的, 因为PL和很多领域有联系, 有些公司也感兴趣
type
,
code
型等 |
p*****e
发帖数: 537 | 14 最热是并行啊。search “parallel programming model for multi-core systems"就
知道可做的实在太多了。那个表里列的太局限了， 连UIUC和Rice都没有。建议去看看
IBM,MS,Intel的research center的网页。 |
N********n
发帖数: 8363 | 15
PL/COMPILER只有当别人发布了新的语言或芯片架构时才有用，而且也就那么
几个数得出来的大公司要人。平时也就做做PAPER而已。学起来好玩，现实中
市场很小，照其他方向差几个数量级。
【在 p*****e 的大作中提到】
: 最热是并行啊。search “parallel programming model for multi-core systems"就
: 知道可做的实在太多了。那个表里列的太局限了， 连UIUC和Rice都没有。建议去看看
: IBM,MS,Intel的research center的网页。
|
J*********n
发帖数: 370 | 16 那网络安全怎么样呢？不是太了解，知道的人有劳介绍一下这方面的情况，
也是按照上面那样
1）这个方向当前的研究前沿是什么？
2）有那些新颖的应用？
3）这方面的牛导师，牛校和program有哪些？
另外，UWaterloo和UToronto在这方面如何
【在 N********n 的大作中提到】
:
: PL/COMPILER只有当别人发布了新的语言或芯片架构时才有用，而且也就那么
: 几个数得出来的大公司要人。平时也就做做PAPER而已。学起来好玩，现实中
: 市场很小，照其他方向差几个数量级。
|
J*********n
发帖数: 370 | 17 记得看过一篇说并行当前状况的文章，具体内容不带记得了，大意是说目前并行在很大程度上只是在现有计算机体系架构上做的一些Ad hoc的小动作，并没有从思想上得到突破。如果真的能得到突破，那么计算机无论从理论到应用，硬件到软件都将发生翻天覆地的变法，IT行业可能因此而重新洗牌
不知是不是真的，大家也来说说并行吧，欢迎您的高见
【在 p*****e 的大作中提到】
: 最热是并行啊。search “parallel programming model for multi-core systems"就
: 知道可做的实在太多了。那个表里列的太局限了， 连UIUC和Rice都没有。建议去看看
: IBM,MS,Intel的research center的网页。
|
s*x
发帖数: 3328 | 18 你是UWaterloo的还是UToronto的？
【在 J*********n 的大作中提到】
: 那网络安全怎么样呢？不是太了解，知道的人有劳介绍一下这方面的情况，
: 也是按照上面那样
: 1）这个方向当前的研究前沿是什么？
: 2）有那些新颖的应用？
: 3）这方面的牛导师，牛校和program有哪些？
: 另外，UWaterloo和UToronto在这方面如何
|
T*o
发帖数: 363 | 19 what about software engineering in security?
【在 N********n 的大作中提到】
: I seriouly suggest you stay away from this field unless you are fanatic
: about PL. It takes tremendous amount of energy to research and yet it
: doesn't pay off as well as other fields. The demand for PL people is
: not huge either. Learning sth like DB, OS, Network and so on can be much
: more rewarding than PL.
: BTW, I used to study in this field.
|
D********g
发帖数: 650 | 20 3的Mike Ernst回washington了
type
【在 h******u 的大作中提到】
: 1) pl作为非常基础理论的cs研究很难申请grant，目前pl研究都多多少少与其他一些
: area搭界，比如software engineering和security。 pl本身研究范围也很广，从type
: theory到program analysis到compiler都可以包括，所以每一个子领域都一些focus和
: 前沿的东西。
: 2）如上述，foundamental的东西已经被研究光了，现在多多少少target一些实际的问
: 题，而不是纯粹的理论研究 （e.g.,算法复杂度，compiler的优化等等）。 这些实际
: 问题包括debug，statically/dynamically自动发现某些类型的bug(say data race,
: memory leak etc)
: 3）以下group是比较active 的， 比如
: 1. Stanford-Alex Aiken (constaint-based analysis), Monica Lam(program
|
|
|
s*******u
发帖数: 476 | 21 准备转校 也是准备做 PL 各位前辈能不能提供点top50(TOP20 对我来说太难了)的这
方面的信息 比如各个学校的特点在这个方向 谢谢 |
h******u
发帖数: 155 | 22 what!! He is on sabattical in Germany. I just met him a couple of months
ago.
【在 D********g 的大作中提到】
: 3的Mike Ernst回washington了
:
: type
|
s*****t
发帖数: 737 | 23 当前最热的是multicore systems.
形式语义,自动机,计算模型都是非常基础的知识,
对应programming language来说还远远不够,
PL和computer architecture是紧密相关的.
正因为multicore的出现,concurrent software 的编写将是一个非常大的挑战.
因为以往软件很多都是随着单cpu的主频的提高而运行速度得到提高.
但是在multicore systems上,这个free lunch已经不存在了.
当前有很多基于multicore system的PL research.
【在 J*********n 的大作中提到】
: 出国打算申programming language方向，粗略了解了下形式语义，自动机，计算模型等
: 东西，想问一下
: 1）这个方向当前的研究前沿是什么？
: 2）有那些新颖的应用？
: 3）这方面的牛导师，牛校和program有哪些？
: 有劳这方面的牛人解答一下，不胜感激，先行谢礼，orz
|
a*****e
发帖数: 1700 | 24 hehe，无非是把 80 年代末的冷饭拿出来热炒
如果没有理论的突破，都是重复劳动而已，趁着钱多赶快捞一笔
PL 目前就是这块钱多了，所以热，其实我看没有什么进展
【在 s*****t 的大作中提到】
: 当前最热的是multicore systems.
: 形式语义,自动机,计算模型都是非常基础的知识,
: 对应programming language来说还远远不够,
: PL和computer architecture是紧密相关的.
: 正因为multicore的出现,concurrent software 的编写将是一个非常大的挑战.
: 因为以往软件很多都是随着单cpu的主频的提高而运行速度得到提高.
: 但是在multicore systems上,这个free lunch已经不存在了.
: 当前有很多基于multicore system的PL research.
|
a*****e
发帖数: 1700 | 25 看你的目的是什么了
如果是为了找 faculty 的工作，很难。research 的工作也不好找
如果是纯粹的兴趣所在，会很有收获
能够在 PL 领域有 5-6 年的 formal training 是很有益处的事情
无论你今后从事哪方面的工作
但是前提是你必须有内在的动力，不然很难学有所成
【在 J*********n 的大作中提到】
: 出国打算申programming language方向，粗略了解了下形式语义，自动机，计算模型等
: 东西，想问一下
: 1）这个方向当前的研究前沿是什么？
: 2）有那些新颖的应用？
: 3）这方面的牛导师，牛校和program有哪些？
: 有劳这方面的牛人解答一下，不胜感激，先行谢礼，orz
|
a*****e
发帖数: 1700 | 26 80 年代末大牛们都企图洗牌，那时候的硬件设计可谓百花齐放
可惜最后都被摩尔效应和 intel 给洗了
现在风传摩尔效应即将失效，所以大家都又磨刀霍霍，大有卷土重来的姿态
大程度上只是在现有计算机体系架构上做的一些Ad hoc的小动作，并没有从思想上得到
突破。如果真的能得到突破，那么计算机无论从理论到应用，硬件到软件都将发生翻天
覆地的变法，IT行业可能因
【在 J*********n 的大作中提到】
: 记得看过一篇说并行当前状况的文章，具体内容不带记得了，大意是说目前并行在很大程度上只是在现有计算机体系架构上做的一些Ad hoc的小动作，并没有从思想上得到突破。如果真的能得到突破，那么计算机无论从理论到应用，硬件到软件都将发生翻天覆地的变法，IT行业可能因此而重新洗牌
: 不知是不是真的，大家也来说说并行吧，欢迎您的高见
|
a*****e
发帖数: 1700 | 27 弄不到钱 =/= 死了
PL 的 research 多数是不需要很多经费的
所以就算不带学生，一个人拿死工资在那儿吭哧，没准儿也能出成果
历史上这样的例子还少么
所以用钱烧得多不多来衡量领域的 active 程度，我认为欠妥
如果不 active，PL 的几个 top conference 怎么会那么 competitive？
我比较不赞成读 phd 冲着工作前景去读，应该还是根据爱好来
执着和进取，才是读书的本心
【在 b*****e 的大作中提到】
: 说得不错, 不过看到你列的:
: 我就笑了... 不过我想你并不是在排什么名.
: 其实, fundamental 的东西倒也没有研究完, 比如 semantics 的理论就还不完善
: functional programming 里好多东东还是很有得搞的, 但这些东西目前弄不到钱
: = 死了.
: 搞应用的, 那还是不错的, 因为PL和很多领域有联系, 有些公司也感兴趣
: type
: ,
: code
: 型等
|
a*****e
发帖数: 1700 | 28 top 20 的学校每个都有 PL 大牛坐镇吧
非 top 的学校普遍不重视 PL，去了也难说能学到什么
另一方面讲，该有的坑都被占了，又没有新坑出来，所以找工作难啊
type
【在 h******u 的大作中提到】
: 1) pl作为非常基础理论的cs研究很难申请grant，目前pl研究都多多少少与其他一些
: area搭界，比如software engineering和security。 pl本身研究范围也很广，从type
: theory到program analysis到compiler都可以包括，所以每一个子领域都一些focus和
: 前沿的东西。
: 2）如上述，foundamental的东西已经被研究光了，现在多多少少target一些实际的问
: 题，而不是纯粹的理论研究 （e.g.,算法复杂度，compiler的优化等等）。 这些实际
: 问题包括debug，statically/dynamically自动发现某些类型的bug(say data race,
: memory leak etc)
: 3）以下group是比较active 的， 比如
: 1. Stanford-Alex Aiken (constaint-based analysis), Monica Lam(program
|
J*********n
发帖数: 370 | 29 neither~~~~~
【在 s*x 的大作中提到】
: 你是UWaterloo的还是UToronto的？
|
