跳到主要内容
10.1145/2535838acm会议书籍页面出版物页面波普尔会议记录会议集合
POPL’14:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录
ACM公司2014年诉讼
出版商:
  • 计算机协会
  • 纽约
  • 纽约州
  • 美国
会议:
POPL’14:第41届ACM SIGPLAN-SIGACT编程语言原理年会圣地亚哥加利福尼亚美国2014年1月22日至24日
国际标准图书编号:
978-1-4503-2544-8
出版:
2014年1月11日
合作中:
推荐ACM DL
已经是订户了吗?登录
下次会议
2025年1月19日至25日
丹佛,有限公司,美国
文献计量学
跳过抽象节
摘要

我们很高兴欢迎您参加在加利福尼亚州圣地亚哥举行的第41届ACM SIGPLAN-SIGACT编程语言原则研讨会——POPL’14。POPL上次在这里举行是1998年。我们很高兴能够安排一次逾期已久的回程,让与会者有机会体验这座充满活力的城市的魅力、宜人的天气和众多景点。

POPL'14具有以下共同定位的事件:

  • 第十五届验证、模型检验和抽象解释国际会议(VMCAI)

  • 第十六届声明性语言实践方面国际研讨会

  • 部分评估和程序操作(PEPM)研讨会

  • 编程语言研讨会与程序验证(PLPV)

  • 程序保护和逆向工程研讨会(PPREW)

  • 脱颖而出研讨会(OBT)

  • 编程语言指导研讨会(PLMW)

  • 实践中的原则研讨会(PiP)——一项新活动

公司赞助商的支持极大地帮助POPL保持了适度的注册费,并为学生提供了低成本的所有会议活动。我们深切感谢所有赞助商的支持和慷慨。POPL’14组委会应特别感谢他们的不懈努力,帮助(a)协调联合举办的活动和主要会议,(b)处理学生活动和辅导,(c)确保会议得到广泛宣传,以及(d)管理预算和资金。整个POPL指导委员会的明智建议也是非常宝贵的。我们也感谢以下专业人士的支持和贡献:综合管理解决方案公司的John Lateuere;Carole Mann和她的注册系统实验室团队;Sheridan Printing的Lisa Tolles和ACM SIG服务的Ashley Cozzi、Adrienne Griscti、Farrah Khan、Maritza Nichols、Stephanie Sabal和Debra Venedam。我们也要感谢美国格兰特酒店的工作人员,感谢他们在历史悠久的地点为POPL提供住宿服务。

征集论文吸引了220份提交。论文主要由27名研究人员组成的项目委员会进行审查,每个研究人员审查21-25篇(通常每篇论文三次PC审查)。审查过程没有涉及预选的外部审查委员会。相反,为了尽可能获得每一篇论文的最佳外部专家评论,从整个社区征集了评论。每个论文指定一名PC成员作为“监护人”,带头确定合适的外部候选人。总共有273名个人参与了外部审查。大多数论文(146篇)收到四篇评论;53人收到5份,15人收到3份,2人收到6份(其余4份在PC会议前撤回)。剑桥的PC会议在两天内讨论了102篇论文,第一次通过是随机的,然后是第二次审查通过。51篇论文被接受(23%的提交)。

为了减少第一印象偏见的影响,采用了轻量级双盲审查程序:作者被要求匿名提交他们的作品,但不限于以任何正常方式传播他们的作品。PC成员被允许在必要时对提交的文件进行非盲处理,例如讨论外部审核人员。允许提交个人电脑,但个人电脑没有以任何方式参与个人电脑提交的选择过程;这是由项目和总主席管理的,只有外部审查人员参与。

在作者回复期和PC会议期间,对作者进行了一项调查,收集了他们对双盲过程和审查质量的看法。提交时的一项调查评估了目前使用的机械化工具,如校对助理。总共有1009人在该过程中被提名,包括评审建议;这就可以衡量目前POPL社区的规模。

贡献者
  • 剑桥大学
索引项已通过自动分类分配给内容。

建议

验收费率

2014年流行音乐纸张接受率51属于220提交文件,23%总体验收率824属于4,130提交文件,20%
年份提交认可的费率
流行'152275223%
2014年流行音乐2205123%
04年流行1762916%
03年流行音乐1262419%
流行'021282822%
POPL'01年1262419%
POPL'00系列1513020%
流行'991362418%
98年流行1753218%
97年流行音乐2253616%
96年流行1483423%
94年流行音乐1733923%
93年流行1993920%
92年流行2043015%
91年流行1523120%
89年流行1913016%
88年流行音乐1772816%
87年流行1082927%
83年流行1702816%
82年流行1213831%
81年流行音乐1212420%
79年流行1462718%
78年流行音乐1352720%
77年流行音乐1052524%
流行'76902022%
流行'751002323%
流行'731002222%
总体4,13082420%