网易首页 > 网易号 > 正文 申请入驻

计算机哪家强?中国9篇论文被全球程序语言顶会PLDI2021录用,南大3篇清华1篇

0
分享至

  

  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编辑部”授权刊登,本文章只为学术传播,并不代表公众号立场。未经授权擅自刊登,将面临法律风险。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐

《向往》成烟民聚集地?乔杉明目张胆,杨紫巧用纸巾盖住怕被发现

八圈传播者
2021-05-18 14:51:36

安徽大叔卖卤味21年,闯出千万资产,5个女儿当助理,每人送套别墅

社会报料
2021-05-17 18:08:07

杭州一姑娘花四千做了全套妇科检查:回家后吓得睡不着, 事后姑娘怀疑被坑了!

感情路
2021-05-18 07:44:55

激怒4.6亿人,央视下场痛批!最“反人性”的生意,还在疯狂敛财

金错刀
2021-05-17 10:32:56

有房东“绷不住”了,降价200万

财富管理专员
2021-05-18 16:55:49

贝克汉姆要当爷爷?次子晒与模特女友自拍 网友:这造型是怀孕了呀

足球部落
2021-05-18 16:03:10

美版知乎问:什么事情在美国是政治不正确的,但在中国却没问题?

君盼妻归未有期
2021-05-17 14:12:11

疫情惊现反扑:封校!停课!劝返!关闭!跨省!紧急呼吁!

斗城表里如一
2021-05-18 14:49:12

高德地图和百度地图,哪个更强大?

我们都是科技宅
2021-05-18 09:53:03

孩子这些身体部位短,暗示女孩身高难超160cm,男孩身高难超170cm

羊驼妈妈
2021-05-18 11:58:42

是谁给的“跑男”勇气?凉到没朋友了还在硬撑

蜗牛看球
2021-05-18 09:32:25

李小璐终于回应跟贾乃亮复合:谢谢,我很幸福!

品牌营销官
2021-05-18 15:53:41

伊朗总统已定?国家货币变更,美元霸权遭瓦解,拜登担心的事发生了

你的欢笑笑
2021-05-18 08:34:23

四川的东北化

鉴往知来文库
2021-05-18 13:44:31

疫苗10000块一支!泡面、卫生纸被抢空,台湾何以落到如此境地?

谷火平
2021-05-18 15:23:10

以色列:让孩子和妇女上战场,只有最没人性的恐怖组织才干得出来

藤椒杂谈
2021-05-18 18:49:37

“孩子不能没爸爸”男友前妻求复婚,22岁女教师怀孕6个月被抛弃

培大看众生
2021-05-17 22:48:23

早高峰 洒水车精准“卡位”堵瘫主干道!车流狂按喇叭 司机充耳不闻

无线昆明
2021-05-18 11:59:08

“女子持刀伤人事件”背后的千亿市值上市公司

大猫财经
2021-05-18 11:25:34

广东汕头一水库黑鱼成灾,附近老乡:有人一车车往里倒

取虎踞圣殿
2021-05-18 15:50:41
2021-05-18 19:40:51
TOP大学来了
TOP大学来了
高等教育|学术|高校与学科|
2197文章数 5009关注度
往期回顾 全部

教育要闻

大学生晒10年对比照 从稚嫩青涩到成熟

头条要闻

杜特尔特推更严措施:禁止政府官员公开讨论南海问题

头条要闻

杜特尔特推更严措施:禁止政府官员公开讨论南海问题

体育要闻

男子闯入内马尔家中 被送进精神病院

娱乐要闻

倪妮穿皮草魅惑性感展熟女魅力

财经要闻

科技要闻

网易Q1净收入205亿元,创历史新高

汽车要闻

"国产"XC90 领克09售价或不超过30万

态度原创

旅游
教育
亲子
游戏
艺术

旅游要闻

它是中国第一洲 东临长沙四面环水

教育要闻

大学生晒10年对比照 从稚嫩青涩到成熟

亲子要闻

的哥连闯4个红灯,街头上演惊险一幕!原来很暖…

PlayStation中国发布国行倒计时海报

艺术要闻

让文物与邮票同框辉映