n**********0
发帖数: 51 | 1 哪来这么多top conferences!? 这个list太鱼龙混杂了。
说说我心目中（也是比较熟悉的方向）的top会议：
Security: S&P (Oakland), CCS
Programming Language: POPL, PLDI
Software Engineering: ICSE, SIGSOFT/FSE
Networking: SIGCOMM, MobiCom
Parallel & Distributed Processing: PODC, PPoPP |
|
z***t
发帖数: 2374 | 2 I said "E.g.". You extend it to equivalent by yourself.
PL is Logic research, which was a branch in math and merged to CS.
Please read papers from POPL to understand PL.
Some researchers work on both PL and system, and publish papers in applied
conference PLDI.
Computer science theory people are mathematicians, including PL theory
people.
http://www.cs.princeton.edu/~appel/papers/science.pdf
pretty
consider |
|
a*****e
发帖数: 1700 | 3 我挺你。PL 理论不能简单归结为数学分支，尽管它和 logic, category theory
等联系紧密。
王垠本人，我今年 POPL 的时候见过，外表挺谦虚的小伙儿，虽然骨子里肯定是骄
傲的。他的其它博文有些看法我不能认同，但是这篇讲 google 的写得不错，和我
的经验类似。 |
|
z***t
发帖数: 2374 | 4 I said "E.g.". You extend it to equivalent by yourself.
PL is Logic research, which was a branch in math and merged to CS.
Please read papers from POPL to understand PL.
Some researchers work on both PL and system, and publish papers in applied
conference PLDI.
Computer science theory people are mathematicians, including PL theory
people.
http://www.cs.princeton.edu/~appel/papers/science.pdf
pretty
consider |
|
a*****e
发帖数: 1700 | 5 我挺你。PL 理论不能简单归结为数学分支，尽管它和 logic, category theory
等联系紧密。
王垠本人，我今年 POPL 的时候见过，外表挺谦虚的小伙儿，虽然骨子里肯定是骄
傲的。他的其它博文有些看法我不能认同，但是这篇讲 google 的写得不错，和我
的经验类似。 |
|
|
|
a*****e
发帖数: 1700 | 8 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 PL 领域并不少见。
不妨客观地看看他经手的几个项目：
1. Pysonar。将类型推导引入动态语言，是个不错的主意，具体的优势，光凭王本人的
吹嘘不足取信。如果他能够给出一整套形式化的总结，包括 language and type
definition, type inference rules, proof of soundness 等等，写一篇 paper，如
果有料，完全可以投到 POPL 或者 PLDI。
2. Register allocation。他提出了不同于传统 colorization 的方案，如果能有一个
完整的实现和 evaluation，也至少是一片 PLDI 量级的论文。
3. PL 课堂作业。似乎他本人非常引以为豪，但这其实没什么了不起的，框架都是老师
搭好的，就做个具体实现，而且实现的也不是新方案。碰巧和某前人的研究成果撞车，
但这一点也不新鲜，人家有能力有耐心把具体实现中的技巧提炼出来成为理论，并且给
与证明。而从 1 和 2 可以看出，王垠本人其实从未正经完成过这样的事情。
缺乏一个 PhD... 阅读全帖 |
|
|
m******t
发帖数: 635 | 9 对programming language的学术界不熟，这两个conference PLDI和POPL水平怎样啊?
当教授的话要几篇才够 (不算journal的话）？ |
|
m******t
发帖数: 635 | 10 如果alanine说的没错的话，王垠到目前的工作大概相当于两、三篇顶级编程语言学术
会议论文的水平，感觉还可以啊。Scala的作者Martin Odersky是知名学校的正教授也
没几篇POPL呢，大家不要苛求太多。 |
|
|
f**********e
发帖数: 1994 | 12 Boys 当时被鄙视是因为他老是口齿不清。我 1995 年在剑桥听 Pople 讲的。 |
|
f**********e
发帖数: 1994 | 13 只有做实验的化学家和做计算的化学家彼此依赖，那些物理/数学家
根本不用依赖化学，还可以来抢化学炸药奖，抢化学系的发考题位置。
1998 年的两个得奖的一个是 applied math PhD (Pople),
一个是 physics PhD (Kohn). 悲催啊。 |
|
d****z
发帖数: 9 | 14 根本吸引不了聪明的新人投入其中，本身也确实没有什么值得研究的新方向。
现有的中老年研究人员知识缺口很大，普遍统计力学，加声光电磁知识理论缺乏，
这样要解释现象，解决问题就是盲人骑瞎马。
其实上次量化得诺奖的Pople就没有什么理论贡献，数值计算方面也不如 Pulay有创造
力。
物理ＤＦＴ方面倒还是有点小用。 |
|
a****o
发帖数: 6612 | 15 你对量子化学很有误解。 Kohn 和 Pople 一起分享了1998年的诺贝尔化学奖。
PBE算反应焓是决计得不了诺贝尔奖的。得诺贝尔奖的倒是有可能用PBE算算东西。
50
correlation |
|
h*****h
发帖数: 264 | 16 啥时候Shi能得这个奖才能跟 yang 一样。
ACS Award for Creative Work in Synthetic Organic Chemistry
2012 Gregory C. Fu
2011 David W. C. MacMillan
2010 Ei-ichi Negishi
2009 Hisashi Yamamoto
2008 Masakatsu Shibasaki
2007 Steven V. Ley
2006 Stephen L. Buchwald
2005 Chi-Huey Wong
2004 Tohru Fukuyama
2003 Scott E. Denmark
计算牛人一网打尽
ACS Award for Computers in Chemical and Pharmaceutical Research
•2012 Weitao Yang
•2011 Thom H. Dunning, Jr.
•2010 Kenneth M. Merz, Jr.
•2009 Mark S. Gordon
•2... 阅读全帖 |
|
h********r
发帖数: 821 | 17 人Dirac早就说了，方程一写，剩下就是应用数学问题，你做得再好也是搞装修的。
在量化圈子里面谋地位是要看谱系的，比如说Garnet是MHG的人，MHG继承了Pople的衣
钵，而Bartlett是Florida量化老基地的人。。。。。。
虽然还不能说理论可以预测化学，但是和30年前比，今天的理论化学已经发生了天翻地
覆的变化。再过20年化学家们也许会更看得起理论。就目前而言，对于理论化学的基本
目标“算准”和“算快”两个方面都没有突破性的进展，因此不得奖也不足为奇。 |
|
d*****w
发帖数: 124 | 18 当年de Gennes刚说完量化是要死的化学，Pople就得了NB奖。但对有些人，这有机合成也
就是混饭的手艺。
道
世界上还有什么再复杂的化合物是他们做不出来的吗？他们可以带着来自世界各地的PhD
常
给
以
天 |
|
b*********e
发帖数: 2642 | 19 理论化学家都不认为自己是化学家，呵呵，虽然他们贡献的应用主要是在化学上。
Kohn如此，Pople也如此。 |
|
m*****r
发帖数: 3822 | 20 wiki上，kohn是theoretical physicist,pople是chemist
H-K定理和K-S方程里的，H,S都是在物理系。
当然在量子层次上，物理化学有时候很难区分。我还是觉得从H-K定理的角度，
很明显是物理的思路，也许正因为如此所以拿不了物理奖吧，呵呵 |
|
y****i
发帖数: 1504 | 21 The fifth edition by Levin, Quantum Chemistry is very good.
There are thousands of ab initio software, to my knowledge Gamess_US is a
free software which is widely used. Since you are talking about Gaussian98.
Now Pople is not at Gaussian company, he is at Qchem company. The two man
write Qchem wrote the DFT and CCSD code for Gaussian. |
|
s*******e
发帖数: 873 | 22 呵呵，给大家看看我们家胖妞写的ｊｏｕｒｎａｌ。很罗嗦，而且一点重点都没有，标
点符号经常省略，而且每次的结尾不是We ｈａｄ ｆｕｎ！就是It ｗａｓ ａ ｆ
ｕｎｄａｙ！
On Saturday we went to watch a show dance called Sleeping Beuty. I wore one
of my blue dresses. When we got there, I keep on saying too my mom everybody
are pretter than me. I also told my mom a girl is wearing a Sleeping Beuty
outfit. Lots of pople were wearing costumes. We went unstairs, we had to go
to the bathroom. Sunenly something rang! Quickly! My mom called. I was so
quick that the show hadn't started |
|
t********r
发帖数: 4908 | 23 ☆─────────────────────────────────────☆
fourpigs (目前小猪两个,已经焦头烂额了) 于 (Wed Mar 24 22:09:32 2010, 美东) 提到:
I like Spring! I like the flowers that bloom in Spring! The flowers are so
pretty! Last Saturday was the first day of Spring. This Sunday morning I am
going to Disney world just like Jeffry. It is going to be fun.
很会用简单词语简单句子.居然没拼错一个字.
☆─────────────────────────────────────☆
brooks (橙蓝) 于 (Wed Mar 24 22:14:07 2010, 美东) 提到:
赞, 她上一年级?还是K?
am
☆─────────────────────────────────────☆
f... 阅读全帖 |
|
