中国9篇论文被全球程序语言顶会PLDI2021录用!

发布于 2021-05-11 23:36 ，所属分类：论文学习资料大全

前言

世界程序语言设计领域顶级学术会议“PLDI2021”目前在其官网公布了今年会议录用的论文名单，本年度共收到320篇论文，最终录用论文仅为87篇，录用率为27%。中国有9篇文章被录用，以第一作者单位统计，南大、清华分别有3篇和1篇署名文章。

1、中国九篇论文被录用

世界程序语言设计领域顶级学术会议“PLDI2021”（被中国计算机学会评为A类会议）在其官网公布了今年会议录用的论文名单，本年度共收到320篇论文，最终录用论文仅为87篇，录用率为27%。

中国共有9篇文章被录用，以第一作者单位统计，南京大学为3篇，香港科技大学为2篇，清华大学、西北大学、上海交通大学、数学工程与先进计算国家重点实验室分别有1篇论文。

欢迎加入知识星球，尽享第一手信息

在这9篇论文中，中国高校中有南京大学计算机科学与技术系冯新宇课题组、香港科技大学张川课题组、清华大学软件学院贺飞课题组独立署名。

2、南京大学

在“PLDI2021”上，南京大学共有3篇论文被录用，分别是《Abstraction for Conflict-Free Replicated Data Types》，《Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code》和《JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace》，其中1篇为独立署名单位，2篇为合作完成，合作单位均为加州大学洛杉矶分校。

Abstraction for Conflict-Free Replicated Data Types

完成单位：南京大学

《Abstraction for Conflict-Free Replicated Data Types》由南京大学冯新宇团队独立完成，第一作者为梁红瑾。值得注意的是，在“PLDI2019”上，南京大学计算机科学与技术系程序设计语言研究组冯新宇、梁红瑾及其团队的论文“Towards Certified Separate Compilation for Concurrent Programs”荣获杰出论文奖（Distinguished Paper Award），冯新宇、梁红瑾组是国内极少数可以稳定发POPL和PLDI的组。（点击阅读：40年来首次| 南京大学冯新宇、梁红瑾团队荣获PLDI2019杰出论文奖）

冯新宇、梁红瑾组获得奖项是PLDI自创办40年来，中国大陆科研院所为第一单位的论文首次获得PLDI Distinguished Paper Award。据小编了解，此前中国科学院同英特尔合作的一篇2004年的PLDI会议论文，花费了两个团队共15人两年的工作量，这也是当时中国单位第一次参加PLDI会议的论文(非第一作者)。

小编这里给大家着重介绍下学术新星梁红瑾，梁现任南京大学计算机科学与技术系副教授，博士毕业于中国科学技术大学，研究方向：程序设计语言。攻博期间，曾获得“中科院院长特别奖”、“中科院优博论文，2015年CCF优秀博士论文奖，2012年度微软学者、曾被美国麻省理工学院评选为2015年度电子与计算机领域“学术新星”（Rising Stars）等多项荣誉。导师冯新宇教授博士毕业于耶鲁大学，本硕均毕业于南京大学。

Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code

完成单位：南京大学，加州大学洛杉矶分校

《Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code》由南京大学李宣东团队完成，第一作者是左志强（这位大神有点猛！），本文的8位署名作者中，来自南大团队占了7个。

公开资料显示，左志强现任南京大学计算机系助理教授（副研究员），博士毕业于新加坡国立大学，美国加州大学尔湾分校博士后。左博士曾在OSDI、EuroSys，ASPLOS、OOPSLA等多个顶级会议上发表论文，研究兴趣是在系统软件、大数据系统、编译器方向从事创新性研究工作。曾任Internetware'20程序委员会委员，ASPLOS'20外部审核委员会（ERC）委员，第13届软件工程创新会议ISEC'20的程序委员会委员。

JPortal: Precise and Efficient Control-Flow Tracing for JVM Programswith Intel Processor Trace

完成单位：南京大学，加州大学洛杉矶分校

《JPortal: Precise and Efficient Control-Flow Tracing for JVM Programswith Intel Processor Trace》由南京大学李宣东团队完成，第一作者是左志强（对，还是这位大神！），本文的7位署名作者中，南大团队占了6个。

3、香港科技大学

在“PLDI2021”上，香港科技大学共有2篇论文被录用，分别是《Canary: PracticalStatic Detection of Inter-Thread Value-Flow Bugs》和《Path-Sensitive Sparse Analysis without Path Conditions》，其中1篇为独立署名单位，1篇为合作完成。

港科技大学两篇论文均来自于张川（Charles Zhang）团队，《Canary: PracticalStatic Detection of Inter-Thread Value-Flow Bugs》第一作者为Yuandao Cai，《Path-Sensitive Sparse Analysis without Path Conditions》的第一作者是时清凯。

小编在这里要着重介绍下香港科技大学张川（Charles Zhang）副教授团队，张川现为香港科技大学网络安全实验室主任，博士毕业于多伦多大学电气与计算机工程，研究领域为软件编程语言和网络安全，“IEEE TSE”编委，曾带领团队荣获亚洲首个PLDI最佳论文奖（亚洲第二个最佳论文奖由南大冯新宇团队获得，内地唯一）。

Canary: Practical Static Detection of Inter-Thread Value-Flow Bugs

完成单位：香港科技大学

Path-Sensitive Sparse Analysis without Path Conditions

完成单位：香港科技大学厦门大学

4、清华大学

在“PLDI2021”上，清华大学共有1篇论文被录用，论文为《Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification》，本文为清华大学软件学院贺飞团队独立署名。

Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification

完成单位：清华大学

5、上海交通大学北京大学奥利地科技学院

在“PLDI2021”上，上海交通大学和北京大学合著了1篇论文被录用，论文为《Quantitative Analysis of Assertion Violations in Probabilistic Programs》，本文为第一作者为上海交通大学Jinyi Wang。

Quantitative Analysis of Assertion Violations in Probabilistic Programs

完成单位：上海交通大学北京大学奥利地科技学院