TOP前言
“TOP大学来了”小编按，世界程序语言设计领域顶级学术会议“PLDI2021”目前在其官网公布了今年会议录用的论文名单，本年度共收到320篇论文，最终录用论文仅为87篇，录用率为27%。中国有9篇文章被录用，以第一作者单位统计，南大、清华分别有3篇和1篇署名文章。
1、中国九篇论文被录用
“TOP大学来了”小编按，世界程序语言设计领域顶级学术会议“PLDI2021”（被中国计算机学会评为A类会议）在其官网公布了今年会议录用的论文名单，本年度共收到320篇论文，最终录用论文仅为87篇，录用率为27%。
“TOP大学来了”小编统计来看，中国共有9篇文章被录用，以第一作者单位统计，南京大学为3篇，香港科技大学为2篇，清华大学、西北大学、上海交通大学、数学工程与先进计算国家重点实验室分别有1篇论文。
“TOP大学来了”小编发现，在这9篇论文中，中国高校中有南京大学计算机科学与技术系冯新宇课题组、香港科技大学张川课题组、清华大学软件学院贺飞课题组独立署名。
2、南京大学
“TOP大学来了”小编统计来看，在“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
完成单位：南京大学
“TOP大学来了”小编发现《Abstraction for Conflict-Free Replicated Data Types》由南京大学冯新宇团队独立完成，第一作者为梁红瑾。值得注意的是，在“PLDI2019”上，南京大学计算机科学与技术系程序设计语言研究组冯新宇、梁红瑾及其团队的论文“Towards Certified Separate Compilation for Concurrent Programs”荣获杰出论文奖（Distinguished Paper Award），冯新宇、梁红瑾组是国内极少数可以稳定发POPL和PLDI的组。（点击阅读：40年来首次| 南京大学冯新宇、梁红瑾团队荣获PLDI 2019杰出论文奖）
冯新宇、梁红瑾组获得奖项是PLDI自创办40年来，中国大陆科研院所为第一单位的论文首次获得PLDI Distinguished Paper Award。据小编了解，此前中国科学院同英特尔合作的一篇2004年的PLDI会议论文，花费了两个团队共15人两年的工作量，这也是当时中国单位第一次参加PLDI会议的论文(非第一作者)。
“TOP大学来了”小编这里给大家着重介绍下学术新星梁红瑾，梁现任南京大学计算机科学与技术系副教授，博士毕业于中国科学技术大学，研究方向：程序设计语言。攻博期间，曾获得“中科院院长特别奖”、“中科院优博论文，2015年CCF优秀博士论文奖，2012年度微软学者、曾被美国麻省理工学院评选为2015年度电子与计算机领域“学术新星”（Rising Stars）等多项荣誉。导师冯新宇教授博士毕业于耶鲁大学，本硕均毕业于南京大学。
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
完成单位：南京大学 ，加州大学洛杉矶分校
“TOP大学来了”小编统计，《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 Programs with Intel Processor Trace
完成单位：南京大学 ，加州大学洛杉矶分校
“TOP大学来了”小编统计，《JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace》由南京大学李宣东团队完成，第一作者是左志强（对，还是这位大神！），本文的7位署名作者中，南大团队占了6个。
3、香港科技大学
“TOP大学来了”小编发现，在“PLDI2021”上，香港科技大学共有2篇论文被录用，分别是《Canary: Practical Static Detection of Inter-Thread Value-Flow Bugs》和《Path-Sensitive Sparse Analysis without Path Conditions》，其中1篇为独立署名单位，1篇为合作完成。
“TOP大学来了”小编统计来看，香港科技大学两篇论文均来自于张川（Charles Zhang）团队，《Canary: Practical Static Detection of Inter-Thread Value-Flow Bugs》第一作者为Yuandao Cai，《Path-Sensitive Sparse Analysis without Path Conditions》的第一作者是时清凯。
“TOP大学来了”小编在这里要着重介绍下香港科技大学张川（Charles Zhang）副教授团队，张川现为香港科技大学网络安全实验室主任，博士毕业于多伦多大学电气与计算机工程，研究领域为软件编程语言和网络安全，“IEEE TSE”编委，曾带领团队荣获亚洲首个PLDI最佳论文奖（亚洲第二个最佳论文奖由南大冯新宇团队获得，内地唯一）。
Canary: Practical Static Detection of Inter-Thread Value-Flow Bugs
完成单位：香港科技大学
Path-Sensitive Sparse Analysis without Path Conditions
完成单位：香港科技大学 厦门大学
4、清华大学
“TOP大学来了”小编发现，在“PLDI2021”上，清华大学共有1篇论文被录用，论文为《Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification》，本文为清华大学软件学院贺飞团队独立署名。
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
完成单位：清华大学
5、上海交通大学 北京大学 奥利地科技学院
“TOP大学来了”小编发现，在“PLDI2021”上，上海交通大学和北京大学合著了1篇论文被录用，论文为《Quantitative Analysis of Assertion Violations in Probabilistic Programs》，本文为第一作者为上海交通大学Jinyi Wang。
Quantitative Analysis of Assertion Violations in Probabilistic Programs
完成单位：上海交通大学 北京大学 奥利地科技学院
6、西北大学
“TOP大学来了”小编发现，在“PLDI2021”上，西北大学、南方科技大学合著了1篇论文被录用，论文为《Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing》，本文为第一作者为西北大学叶贵鑫。
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
完成单位：西北大学 南方科技大学 利兹大学 阿里
TOP大学来了（ID:topuniversity）
审核、撰稿：TOP编辑部
版权声明：本文经文章作者“TOP编辑部”授权刊登，本文章只为学术传播，并不代表公众号立场。未经授权擅自刊登，将面临法律风险。