q**w
发帖数: 782 | 1 中科大－耶鲁联合中心论文被POPL国际会议录用真正实现内地“零的突破”
2011-10-08
日前，中科大－耶鲁高可信软件联合研究中心梁红瑾、冯新宇和付明的论文A Rely
-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
被第39届 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
（简称POPL）录用。这是联合研究中心的研究迈入国际一流水平的里程碑。此前，中国
大陆无任何单位以第一作者单位的身份在POPL上发表过论文。梁红瑾等的论文的发表，
将使得中国科学技术大学成为大陆第一个以第一单位在POPL上发表论文的高校和科研院
所，真正实现了“零的突破”。
POPL是编程语言领域历史最久、水平最高的国际会议，它是讨论编程语言和编程系
统最新突破的最主要论坛，内容涵盖编程语言的理论、编程语言的设计、编译器技术、
程序分析、程序验证、可信软件等众多研究领域。国际期刊和会议的各种分区方法都把
POPL放在该... 阅读全帖 |
|
p**q
发帖数: 1130 | 2 这到底是怎么回事？清华的那篇不是第一作者？
——————————————————————————
清华教师论文被POPL国际会议接收 实现内地“零的突破”
【新闻中心讯】日前，清华大学计算机系计算机科学与人工智能研究部量子计算与
信息研究组的冯元、段润尧、应明生的合作论文Bisimulation for quantum processes
（量子进程的互模拟关系）被第38届ACM SIGACT-SIGPLAN Symposium on Principles
of Programming Languages（程序语言原理国际会议，简写为POPL）接收。这也是POPL
接收的第一篇作者来自中国内地的论文。
冯元、段润尧和应明生合作提出了一种刻画量子进程等价性的互模拟关系，并证明
了这一关系在各种进程构造符作用下的同余性。此项工作彻底解决了量子进程代数研究
的最关键问题，对设计复杂量子协议的验证方法以及建立量子通信并发理论具有重大意
义。
POPL是程序语言理论方面最好的国际会议，稿件录用率年平均不到20%。中国台湾
今年也有一篇第二作者的论文被接收，港澳地区目前尚无论文被会议接收。（供稿 ... 阅读全帖 |
|
c****n
发帖数: 21367 | 3 http://dl.acm.org/citation.cfm?id=1926446
Authors: Yuan Feng University of Technology Sydney, Australia,
Sydney, Australia
Runyao Duan University of Technology Sydney, Australia, Sydney,
Australia
Mingsheng Ying University of Technology Sydney, Australia, Sydney,
Australia
可能是和清华的合作实验室，但是作者都是悉尼科技大学的
processes
POPL |
|
|
G***Y
发帖数: 9698 | 5 中国游客住法拉盛家庭旅馆 财物被盗
发布于 2014-04-29, 周二 02:19
【侨报记者孙璎姝4月28日纽约报道】警方消息，日前位于法拉盛Pople大道的一处
家庭小旅馆出租房内发生一起入室盗窃案。从中国来美旅游的华人夫妇，将钱包等物品
遗留在出租房内，回来时发现4000元现金、信用卡及身份证件等不翼而飞。警方指出，
商家做生意的同时，也应保障房客的安全。小旅馆内应安装监控摄像，定期对房间门锁
进行更换。
近日，一对来美旅游的中国夫妇入住在位于法拉盛Pople大道的一家小旅馆内，他
们所住的房间此前一直住着一名外族裔房客。如今该名外族裔房客已换到了隔壁房间，
而原来房间的门锁却未及时更换。27日下午5点左右，这对夫妇返回住处后发现留在出
租房内的钱包不翼而飞，其中装有现金4000元、信用卡及身份证等。他们随后联系了房
东，同时发现隔壁的外族裔房客正在行色匆匆地整理衣物，准备搬离。由于未有足够的
证据，不能阻止其离开，房东只好报警。警方赶到后发现，该旅馆内不仅没有安装监控
摄像系统，同时房间内还存在非法改建等问题。
警方表示，房屋非法改建问题在华人社区集中的法拉盛、华埠及... 阅读全帖 |
|
s**********y
发帖数: 8135 | 6 好几年前看见的一篇文章，写的非常通俗易懂，非常喜欢作者提出的气宗剑宗的说法，
不知道西方文化里有没有相对应的划分方法，一种直击重点不拘小节，一种稳扎稳打条
分缕析。现如今做计算的门槛降的很低，只要有个还不错的计算机，买个现成软件一装
就能武装起一个实验室。大量产生数据的同时，一些重要的insight却被轻易的忽视了
，不能不说是一种悲哀啊，所以才有计算化学家站出来大声疾呼，Give me insight,
not numbers! 不过发现insight需要长期积累练出来的火眼金睛啊，对我这样的科研小
ds谈何容易。。。
全文转载如下。
The underlying physical laws necessary for mathematical theory of a
large part of physics and the whole of chemistry are thus completely
known, and the difficulty is only that the exact application of these
laws leads to equatio... 阅读全帖 |
|
h*d
发帖数: 19309 | 7 发信人: strong (大拿~恭祝清华百年华诞), 信区: TsinghuaCent
标 题: 清华大学的2010
发信站: 水木社区 (Sun Apr 24 14:46:09 2011), 站内
清华大学的2010
注：本文由水木社区BBS世纪清华版（TsinghuaCent）整理，各项资料来自清华大学网
站、清华大学新闻网、北京协和医学院（清华大学医学部）网站和水木社区BBS世纪清
华版等。
正文：
本文系统总结2010年度清华大学、北京协和医学院（清华大学医学部）师生校友荣获的
各类学术和社会荣誉、学科竞赛成绩以及学校在教学科研领域中获得的各类成果和进展
。限于篇幅，在关于各类获奖成果的统计中，本文仅统计获得过一等奖、金奖（国家科
学技术奖除外）以上的成果（绩）。
*********************
一．最高荣誉
●清华大学数学科学中心主任丘成桐教授获得2010年沃尔夫（Wolf）奖，以表彰他在几
何分析领域的贡献，以及在几何和物理的多个领域都产生的“深刻而引人注目的影响”
。这是丘成桐继1982年获得菲尔茨奖后，再... 阅读全帖 |
|
s****s
发帖数: 66 | 8 转一个有关理论物理的八卦，我想也适用于量子化学吧：
------------------------
突然想起来个古老的八卦, 听说的。大概是01或者02年的时候。俞允强（学过电动力学
的应该知道他哈）还是李淼（中科院物理所搞超弦的）来着，招收理论物理研究生。面
试。
老师：你家兄弟几个？
考生：就我一个。
老师：你学理论物理，你父母怎么办？
考生：……
------------------------
现在这个急功近利的社会，很难孕育理论界的人才呀！
另外Pople还是有贡献的吧，至少从Pople basis set 来说。 |
|
e*******n
发帖数: 4912 | 9 201. Nobert Wiener听学术报告的习惯是一般迟到几分钟，然后在
第一排坐下，拿出本杂志很认真的看，如果他比较累就会睡上
一觉，在报告快结束时问一个关键的问题，或者自己来做一个
小型报告
Wiener经常会让人列出美国最伟大的十个数学家，1930s有一
次在duke大学的一次数学会议上，一些人故意只列出9个，然
后观察Wiener那种表情
202. 在Princeton大学曾经流传着一些数学家证明定理的“显然”
标准
if Wedderburn says it's obvious,everybody in the
room has seen it ten minutes ago
if Bohnenblust says it's obvious,it's obvious
if Bochner says it's obvious,you can figure it out
in half an hour
if von Neumann says it's obvious,you can prove it
in three months if you are a genius
if... 阅读全帖 |
|
l****o
发帖数: 2909 | 10 Cambridge's Nobel Prize winners since 1996:
# 1996 James Mirrlees, Trinity College
Prize in Economics, for studying behaviour in the absence of complete
information
# 1997 John Walker, Sidney Sussex College
Nobel Prize in Chemistry, for studying how a spinning enzyme creates the
molecule that powers cells in muscles
# 1998 Amartya Sen, Trinity College
Prize in Economics, for his contributions to welfare economics
# 1998 John Pople, Trinity College
Nobel Prize in Chemistry, for the development of... 阅读全帖 |
|
f**x
发帖数: 4325 | 11 世界上哪个单项科研成果不是“就那么回事儿”？
下面这些又牛逼了多少？怎么就不是“就那么回事儿”了？
The Nobel Prize in Chemistry 2014
Eric Betzig, Stefan W. Hell and William E. Moerner
"for the development of super-resolved fluorescence microscopy"
The Nobel Prize in Chemistry 2013
Martin Karplus, Michael Levitt and Arieh Warshel
"for the development of multiscale models for complex chemical systems"
The Nobel Prize in Chemistry 2012
Robert J. Lefkowitz and Brian K. Kobilka
"for studies of G-protein-coupled receptors"
The Nobel Prize in Chemist... 阅读全帖 |
|
g*******0
发帖数: 2933 | 12 或者AAAI, KDD
让其他专家也看看？
只敢在blog上面对着不明真相群众喷
算什么英雄好汉？ |
|
p********e
发帖数: 6030 | 13 中国人写的东西，为什么非要让老外来评价？你是精神外F。 |
|
发帖数: 1 | 14 科学诺贝尔奖获得者：
中国大陆
Tu Youyou 屠呦呦, Physiology or Medicine, 2015
中华民国台湾，和香港
Charles K. Kao*, Physics, 2009
Daniel C. Tsui*, Physics, 1998
Yuan T. Lee, Chemistry, 1986
Samuel C. C. Ting, Physics, 1976
Chen-Ning Yang, Physics, 1957
Tsung-Dao Lee, Physics, 1957
中华民国华裔后代
錢永健 Chemistry,2008
朱棣文 Physics，1997
日本 （近20年）
Tasuku Honjo, Physiology or Medicine, 2018
Kazuo Ishiguro*, Literature, 2017
Yoshinori Ohsumi, Physiology or Medicine, 2016
Takaaki Kajita, Physics, 2015
Satoshi ōmura, Physiology or Medicine... 阅读全帖 |
|
发帖数: 1 | 15
你再做100年梦吧。
100多年前，1906年美国人均GDP就超过当时的老大英国了。中国人均GDP至今还世界百
名倒数。
看看下面的重要数据
科学诺贝尔奖获得者：
中国：
Tu Youyou 屠呦呦, Physiology or Medicine, 2015
英国 （近20年）
Greg Winter, Chemistry, 2018
Richard Henderson, Chemistry, 2017
Oliver Hart, Economics, 2016
Fraser Stoddart, Chemistry, 2016
David J. Thouless, Physics, 2016
F. Duncan M. Haldane, Physics, 2016
John M. Kosterlitz, Physics, 2016
Angus Deaton, Economics, 2015
Tomas Lindahl, born in Sweden, Chemistry, 2015
John O'Keefe, Physiology or Medicine, 2014
Michael Le... 阅读全帖 |
|
a***c
发帖数: 315 | 16 I would say 3 top conference papers already hard for CS APs in most areas.
For tenure, some schools only count papers published on those places,
networking: Sigcomm, Mobicomm, Mobisys
system: OSDI, SOSP, NSDI
hardware: ASPLOS, HPCA, ISCA, MICRO
language: PLDI, POPL, ICSE
security: CCS, S&P
graphics: Siggraph
Those conferences only accept 25-30 papers a year. |
|
U*******1
发帖数: 1565 | 17 If they give your onsite, you need to show confidence when contacting other
pople.
Do not feel that you are a student (just graduated). You must treat you as a
potential faculty as the same as them. |
|
z***t
发帖数: 2374 | 18 刺激不够大
要是整天娱乐还有成捆的POPL,PLDI,ICSE那才刺激啊 |
|
u****x
发帖数: 97 | 19 请勿人肉，拜谢！
个人情况：
top30的学校
PhD第五年
Computer Science的security领域
publications: POPL一作一篇 CGO一作一篇 Usenix security二作一篇 在审的有三篇
做了一堆research lab和IT company的intern
有个gf准备马上结婚，也是cs，还有两三年才phd毕业
年龄：33
今年on-site了两个CS排名60－90的学校，都被据了。英语口语不好，presentation差
计划6月份defense，因为这是学校暑假毕业defense的deadline
现在考虑三条路
（1）做postdoc，两年后找教职，期间顺便带我gf发几篇paper。但对自己两年后能不
能找到教职不是很有信心。
（2）去industry赚钱养家。找机会挣点外快，有机会就搞个start-up
（3）去research lab。不是特别想走这条路。因为在research lab呆过，感觉生活没
有尽头。而且现在hiring time window也基本关了吧
跟老板谈，老板也模棱两可。老板不是大牛，人很nice，但基本风格... 阅读全帖 |
|
z***t
发帖数: 2374 | 20 还是考虑去工业界吧
你就一篇POPL，找学术界工作完全要靠运气了
如果做postdoc的地方能很快出几篇security一作文章
那还有机会 |
|
j******3
发帖数: 67 | 21 嗯 其实我觉得其实大部分会在灌水这个程度上讲都差不多，什么ICML/NIPS/CVPR/AAAI
/SODA/COLT/SIGCOMM/WWW/STOC/FOCS/SIGMOD/VLDB/KDD/SIGMETRICS/INFOCOM/POPL/
PLDI 都是不少灌水paper 有的灌的高明点 有的灌的直白点
没发之前都觉得很难，发了发现大家也就在不同的层面上灌而已 真正的突破很少
不过话说回来 要是都是突破的话 人类科技发展不会这么慢 |
|
|
s****g
发帖数: 2 | 23 MA。 BOSTON in Malden town, walk 6-mins to T station. 3-bedrooms, 1-living
room,1-bathroom, one kitch and 1-parking spot for rent.
July 17 2013 can move in.
Good for family ,working pople or students together to rent.
One year list agreement.
may call:1-617-820-6060 In Chinese.
Or e-mail: s*******[email protected] |
|
u****x
发帖数: 97 | 24 【 以下文字转载自 Working 讨论区 】
发信人: usenix (unisex), 信区: Working
标 题: 新人请教一个紧急的求职问题
发信站: BBS 未名空间站 (Sun May 4 17:30:49 2014, 美东)
关于码工求职的问题，不知道发这个版是否合适。人生抉择的关口，还请版主手下留情
个人情况：
top30的学校
PhD第五年
Computer Science的software/systems security方向
国内一所还不错的工科学校的CS bachelor & master
publications: POPL一作一篇 CGO一作一篇 Usenix security二作一篇 在审的有三篇
（一作两篇）
做了一堆research lab和IT company的intern，在国内做过一年多的Software
Engineer，一共近3年的industrial experience
计划6月份defense，因为这是学校暑假毕业defense的deadline
自己内心是很喜欢coding，这也是搞系统安全的人共同爱好吧，个人长处是解决问题强... 阅读全帖 |
|
u****x
发帖数: 97 | 25 【 以下文字转载自 Faculty 讨论区 】
发信人: usenix (unisex), 信区: Faculty
标 题: 很迷茫 恳求大牛们建议
发信站: BBS 未名空间站 (Wed Apr 16 18:12:16 2014, 美东)
请勿人肉，拜谢！
个人情况：
top30的学校
PhD第五年
Computer Science的security领域
publications: POPL一作一篇 CGO一作一篇 Usenix security二作一篇 在审的有三篇
做了一堆research lab和IT company的intern
有个gf准备马上结婚，也是cs，还有两三年才phd毕业
年龄：33
今年on-site了两个CS排名60－90的学校，都被据了。英语口语不好，presentation差
计划6月份defense，因为这是学校暑假毕业defense的deadline
现在考虑三条路
（1）做postdoc，两年后找教职，期间顺便带我gf发几篇paper。但对自己两年后能不
能找到教职不是很有信心。
（2）去industry赚钱养家。找机会挣点外快，有机会就搞个sta... 阅读全帖 |
|
u****x
发帖数: 97 | 26 关于码工求职的问题，不知道发这个版是否合适。人生抉择的关口，还请版主手下留情
个人情况：
top30的学校
PhD第五年
Computer Science的software/systems security方向
国内一所还不错的工科学校的CS bachelor & master
publications: POPL一作一篇 CGO一作一篇 Usenix security二作一篇 在审的有三篇
（一作两篇）
做了一堆research lab和IT company的intern，在国内做过一年多的Software
Engineer，一共近3年的industrial experience
计划6月份defense，因为这是学校暑假毕业defense的deadline
自己内心是很喜欢coding，这也是搞系统安全的人共同爱好吧，个人长处是解决问题强
，学东西比较快，是个埋头干事的人。之前因为各种project和申请教职（都挂了）的
耽误，所以现在才开始找industry工作。年纪不小了，准备好好工作、挣钱养家，
有几个问题
（1）像我这样略有工作经验的fresh PhD投flag（faceb... 阅读全帖 |
|
L***M
发帖数: 396 | 27 Lived in kew gardens, very nice area, safe and quiet. many jewish pople live
here. primary school is so so, rated 7/10... |
|
V*****8
发帖数: 33122 | 28 Rainbow Child Development Center
133-20 Avery Ave Ground Floor, Flushing, NY 11355
(718) 496-5513
国宝就在隔壁那条街上，Pople Street |
|
m******7
发帖数: 316 | 29 加拿大出生的印度移民后代, 脱口秀, 类似单口相声, make fun of all kinds of
pople, he makes fun of Indians, Chinese, British,Italians, etc. i watched
few chips of his on youtube, really funny... |
|
l*x
发帖数: 14021 | 30 yep, i was reading backwards from the newest post to the oldest. and pople
were all talking about size of their body part. and Dango has a trick to make it larger. |
|
v******d
发帖数: 1939 | 31 Thanks, my friends. I wish someday I don't need to be so cautious....
something is wrong with this society!
Good night! Time to go to bed for pople like me on the east coast. |
|
c********1
发帖数: 517 | 32 CMU Nobel related (chemistryy only):
Paul Flory (Research Associate, Mellon Institute), Nobel Prize in Chemistry,
1974
John Pople (Professor 1964–1993), Nobel Prize in Chemistry, 1998
Walter Kohn (Professor), Nobel Prize in Chemistry, 1998
another potential nominator:
Robert Parr (Professor 1948-1962), Chemical Sciences, 2004 |
|
l****r
发帖数: 14809 | 33 Why, lots of pople can do it, but not me |
|
q**w
发帖数: 782 | 34 mingsheng ying以前是清华的老师，好像早跳槽的悉尼科大去了，这篇文章没清华什么事 |
|
o*****h
发帖数: 2082 | 35 扯，应明生的那篇怎么就和清华没关系了？冯元，段润尧都是应明生在清华的博士，毕
业后进入悉尼那家大学做发考题，应明生现在应邀在那里做sabbatical，那篇文章不过
是应的系列之一，他的学生好像还拿过STOC最佳论文之类的
据说悉尼那家大学开出了很高的价钱想留下应（说是该校教授工资top3的价钱，是应在
清华的工资的10来倍），现在还不知道结果
应没有博士学位，本科毕业于一个很不起眼的学校，但是他做得确实牛，他这些年带出
来的学生也很了得
说实在的，像应明生这样没什么显赫的学霸罩着，又不善于拉关系的学者，在国内学霸
林立的环境中也很不好混，还不如让人家远走高飞，落个清静 |
|
j****u
发帖数: 1413 | 36 应明生牛是谁也不能否认的。有一次在清华和姜涛（796，APS Fellow）教授走在路上
遇到应明生，姜老师介绍应明生教授充满尊敬。
但是一码归一码，你说得这些事，都只能说明文章和清华有渊源，但署名上清华大学作
为单位一个字都没出现。都是理工科的，白底黑字的。 |
|
w********d
发帖数: 270 | 37 应只有专科学历，(师范专科). 也当过中学老师。
算是传奇。 |
|
|
|
wy
发帖数: 14511 | 40 就是business pople用来装13用得 |
|
c***a
发帖数: 655 | 41 看来这个版上搞system/network的居多啊。
个人人为会议排名对新手有很大的启蒙作用，phd读了一年多之后就就只能起参考作用。
因为不是每篇SOSP，sigcomm都感人肺腑催人泪下，也不是每篇globecom都空洞乏味。
原因有很多种，比如deadline不合适，写作水平,或是很排外的community,派系斗争等。
另外领域里还有更细的划分，例如network里如果不搞wireless, 为什么要看重
MobiHoc? 如果搞measurement, IMC是很好的会但是没有被提到。
顺带替其他领域的好会打点广告，比如POPL, PLDI; ISCA, HPCA; NIPS, ICML
.....
Anyway, 新手尽量避免抱着普通会议的proceedings一篇一篇死扣，但是看到
所谓“烂会”的文章就带上有色眼镜就显得naive了
到底什么会的该仔细看？go ask your advisor |
|
S*********r
发帖数: 4729 | 42
这两年的submissions已经超过1200了，此外，
Vision的这些定级会议，只要是用心做research，要中个poster应该相对容易。
因为submissions太多，里面鱼龙混杂，垃圾文章也不少。
不像sig系列的会议，敢投的大多是精品。
sigplan 是个组织，相对应的会议是popl。
自
第
会
通
，
也
万
几 |
|
b***e
发帖数: 1419 | 43 似乎是theory和programming language的混合. 不知道大家
如何评价这个会. 前面有个帖子把它评为theory的top
conference.
具体的说, 请thoery的人讲讲这个会比起stoc, focs, soda
这种top conference来significance如何? 请PL的人讲讲这
个会和POPL, PLDI, ICFP这种top conference的significance
比起来如何.
多谢赐教. |
|
b***e
发帖数: 1419 | 44 OH. How do you rank these PL conference then. I do not really
hear about LICS in PL much. I hear most about those 3. I would
say PLDI = POPL >= ICFP. Where would you have LICS in this
ranking. |
|
b***e
发帖数: 1419 | 45 PL conferences:
First class:
PLDI, POPL, ICFP, LICS, OOPSLA
Second class:
ESOP, ECOOP, ... |
|
h******u
发帖数: 155 | 46 Well, I am a pl guy~~ more closely a compiler guy~~ If you have enough top
conference papers (PLDI, POPL, ICSE, FSE, ISSTA), go and find a academic job
. Otherwise go to industry doing whatever the company wants you to do. No
specifics in this area except you gotta have very solid and technically
sophiscated papers to publish in these top conferences. |
|
h******u
发帖数: 155 | 47 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 |
|
s*****x
发帖数: 52 | 48 个人经历3个都是非常好的会议，看你工作的重点在哪个领域。
ASPLOS 是偏重arch的，50% attributes to arch, 25% to PL, 25% to OS.
USENIX ATC 比较偏system design and implementation, 很少涉及arch proposal.
EuroSys是最近5年的后起之秀，直接跟USENIX ATC竞争的。它家的notification
deadline通常就是ATC的submission deadline前一天。
如果是做OS/distributed System/Networked System:
OSDI, SOSP > USENIX, NSDI, ASPLOS > EuroSys
如果是做Arch:
ISCA ASPLOS > MICRO > HPCA
如果是做PL:
PLDI, POPL > ASPLOS > OOPSLA
吗？ |
|
s*****x
发帖数: 52 | 49 个人经历3个都是非常好的会议，看你工作的重点在哪个领域。
ASPLOS 是偏重arch的，50% attributes to arch, 25% to PL, 25% to OS.
USENIX ATC 比较偏system design and implementation, 很少涉及arch proposal.
EuroSys是最近5年的后起之秀，直接跟USENIX ATC竞争的。它家的notification
deadline通常就是ATC的submission deadline前一天。
如果是做OS/distributed System/Networked System:
OSDI, SOSP > USENIX, NSDI, ASPLOS > EuroSys
如果是做Arch:
ISCA ASPLOS > MICRO > HPCA
如果是做PL:
PLDI, POPL > ASPLOS > OOPSLA
吗？ |
|
