范文健康探索娱乐情感热点
投稿投诉
热点动态
科技财经
情感日志
励志美文
娱乐时尚
游戏搞笑
探索旅游
历史星座
健康养生
美丽育儿
范文作文
教案论文

北大谢涛获ASE2021最有影响力论文奖,成为首位华人获奖学者

  机器之心报道
  编辑:蛋酱
  一篇发表于 ASE 2007 的经典论文,让 ASE 2021 将「最有影响力论文」奖项颁给了北京大学教授谢涛和当时的博士生 Suresh Thummalapenta。
  近日,软件工程国际顶级会议 ASE 2021 公布了「最有影响力论文」奖项(Most Influential Paper Award),北京大学计算机科学技术系讲席教授谢涛和他早年指导的前北卡州立大学博士生 Suresh Thummalapenta 共同获奖。
  ASE 是软件工程领域的顶级国际会议,创办于 1986 年。一般来说,年度 ASE 最有影响力论文奖是从之前 15 年左右(包括 14、15、16 年前)在 ASE 会议上所发表所有论文中选出最具影响力的论文。本次获奖的论文是谢涛与 Suresh Thummalapenta 合作的 ASE 2007 年论文《PARSEWeb:A Programmer Assistant for Reusing Open Source Code on the Web》。
  论文链接:https://taoxiease.github.io/publications/ase07-parseweb.pdf
  这一研究是从 ASE 2006、ASE 2007、ASE 2008 三年 181 篇被录用论文(三年共 713 篇投稿)中选出来的获奖论文。
  在软件工程三大国际顶会 ICSE、ESEC/FSE、ASE 的历年最有影响力论文奖(ICSE MIP Award,ESEC/FSE Test of Time Award, ASE MIP Award)获奖作者中,谢涛是三位华人之一(另外两位是 Hongjun Zheng 和 Amy J. Ko),也是迄今获得 ASE 最有影响力论文奖的唯一华人作者。
  在今年 11 月将线上举行的 ASE 2021 会议中,谢涛教授和 Suresh Thummalapenta 博士将在特邀大会报告中对该论文及其影响力进行分享。
  获奖论文介绍
  程序员通常重用现有的框架或者数据库来减少软件开发工作量,其中的常见问题是,程序员知道他们需要什么类型的对象,但不知道如何使用特定的方法序列获得该对象。
  为了解决这个问题,谢涛和 Suresh Thummalapenta 开发了一种方法,以「 Source object type → Destination object type」形式的查询作为输入,并推荐常用的 Method-Invocation Sequence(MIS),MIS 可以将 Source 类型的对象转换为 Destination 类型的对象。该方法使用代码搜索引擎(CSE)来收集相关的代码样本,并对其进行静态分析以提取所需的序列。由于代码样本是通过 CSE 按需收集的,因此该方法并不局限于任何特定框架或库的查询。
  他们使用一个名为 PARSEWeb 的工具实现了该方法。PARSEWeb 与 GCSE 协同,以搜索具有给定 Source 和 Destination 对象类型用法的代码示例,并下载代码示例结果以形成本地源代码存储库。PARSEWeb 分析本地源代码存储库,使用序列后处理器提取不同的 MIS,并聚集类似的 MIS。提取的 MIS 可以作为给定查询的解决方案。PARSEWeb 使用几个排序启发式方法对最后一组 MIS 进行排序。此外,PARSEWeb 还使用一种叫做查询分割的额外的启发式方法,它有助于解决给定查询的代码示例被分割到不同源文件中的问题。
  在实验阶段,研究者进行了四种不同的评估,表明该方法在解决程序员的查询需求方面是有效的,此外还证明了 PARSEWeb 比此前的相关工具(Prospector 和 Strathcona )表现更好。
  PARSEWeb 这项研究首次把数据挖掘和机器学习所用的软件制品数据源从单个或几个开源系统拓宽到整个互联网上的软件制品,成为大代码、软件大数据重要产业和学术方向的先驱「开荒者」。这个范围的拓宽是基于代码搜索和代码挖掘的有机结合,有效地解决了在辅助软件工程任务时相关数据点不足的问题。
  这篇获奖论文也是数据驱动的智能化软件开发领域的最早期经典代表作之一,以大代码挖掘的手段来实现智能「程序员助手」。其所贡献的技术首次有效地解决了在一个特定软件开发问题上的数据驱动软件自动化:如何自动地合成方法调用序列来获取一个给定类的对象。
  根据 Google Scholar,该论文当前引用数超过 510 次。尽管该论文比其它历年获奖论文要发表得晚,该论文在历年获得 ASE 最有影响力论文奖的 13 篇论文之中引用数排名第 4。
  关于谢涛教授
  谢涛 1997 年本科毕业于复旦大学,2000 年在北京大学获得计算机科学技术的硕士学位(师从梅宏教授),并于 2002 年和 2005 年在美国西雅图华盛顿大学获得计算机科学技术的硕士和博士学位(师从 David Notkin 教授),目前是美国伊利诺伊大学香槟分校有终身教职的正教授。之前他从 2010 年 8 月到 2013 年 6 月为美国北卡州立大学有终身教职的副教授 (提前一年晋升),2005 年 8 月到 2010 年 7 月为美国北卡州立大学助理教授。他曾在微软亚洲研究院和微软研究院(雷德蒙)担任访问研究员,并常年担任微软研究院和华为公司的咨询顾问。
  谢涛是美国 AAAS Fellow、IEEE Fellow、ACM 杰出科学家、CCF 杰出会员,曾获 2020 年科学探索奖,国家自然科学基金委海外杰出青年科学基金以及其延续资助、美国 NSF Faculty CAREER Award、ACM SIGSOFT 杰出服务奖、IEEE 计算机协会软件工程技术委员会(TCSE)杰出服务奖等。
  谢涛的主要研究领域包括软件工程,系统软件,软件安全,做出了一系列对软件产业有高影响的研究工作,曾获微软研究院杰出合作者奖(全球 32 位获奖教授之一)、微软研究软件工程创新基础奖、谷歌教授研究奖、Facebook 研究奖、IBM Jazz 创新奖、IBM 教授奖等。
  获奖论文的共同作者 Suresh Thummalapenta 现为微软研究员。Suresh 在印度安得拉大学获得学士学位,后在北卡罗来纳州立大学获得硕士学位,并于 2010 年获得北卡罗来纳州立大学计算机科学博士学位。在加入微软之前,Suresh 在印度 IBM 研究院拥有三年的工作经验。
  参考链接:
  https://cs.pku.edu.cn/info/1084/2209.htm
  http://ase-conferences.org/Mip.html
  http://taoxie.cs.illinois.edu/bio-cn.html

美国海军司令称中国导弹部队不断军事演习是剑指美国国家官方媒体本周报道称,我国军方一直在练习在黑暗中发射导弹,这对军队来说是一项比白天发射更困难的任务。环球时报援引中国国家广播电台的报道称,中国人民解放军火箭军一直在练习在最近的一载有朝圣者的巴士在巴基斯坦西南部翻车,造成20人死亡巴基斯坦奎达警方和官员说,周五黎明前,一辆载有朝圣者的高速巴士在高速公路上翻车,坠入巴基斯坦西南部偏远地区的沟壑,造成至少20人死亡,50人受伤。当地警察官员哈菲兹乌拉蒙加尔(Ha俄罗斯试射最强洲际导弹,独特优势使得其直接打马赛克俄罗斯塔斯社28日报道称,近日俄罗斯国防部透露称,俄罗斯成功试射一枚新一代Kedr洲际弹道导弹,该洲际弹道导弹作为俄罗斯新一代洲际导弹,由俄罗斯著名导弹研究院莫斯科热工技术研究院主俄罗斯建造史上最长核潜艇秘密出海,专为测试一种末日武器据美国战区网站6月29日报道,近日俄罗斯秘密研制的新一代比尔戈罗德号核潜艇开始出海试航。可能很多人不太清楚比尔戈罗德号核潜艇是什么潜艇?相比俄罗斯新一代北风之神级战略核潜艇新一代亚俄罗斯想把宇航员送到中国的空间站6月15日,在俄罗斯圣彼得堡举行的最近结束的全球空间探索会议(GLEX)上,德米特里罗戈津(DmitryRogozin)在新闻发布会上发表讲话。Roscosmos据透露,俄罗斯正在我国或许将是全球第一个登陆火星的国家中国计划在2033年向火星发射首次载人飞行任务,并定期进行后续飞行,这是在这颗红色星球上建立一个永久有人居住的基地并提取其资源的长期计划。。这项雄心勃勃的计划将加强与美国在火星上安美军将考虑设立永久性海军特遣部队以在太平洋对抗我国据两位熟悉内部讨论的人士透露,五角大楼正在考虑在太平洋地区建立一支永久性海军特遣部队,以对抗中国日益增长的军事实力。知情人士说,该计划还将涉及为太平洋地区建立一个命名的军事行动,这国外某男子被鲸鱼吞进肚子还能活着出来一名美国龙虾人一直在描述他是如何逃脱被座头鲸吞食的。迈克尔帕卡德说,当他在马萨诸塞州普罗温斯敦附近的海洋巨物的嘴里潜水大约3040秒时,巨兽把他吐了出来,帕卡德先生只剩下一个疑似脱美国花13。6亿发射探测器,飞行14年,途中究竟看到了什么?1977年,美国宇航局批准实施太空探测计划,希望通过发射航天探测器,来探索太空是否存在外星生命的可能。在未来的12年时间里,美国花费近13。6亿美元研制出一个专用于探测木星的探测器缅甸军队与反政府军在第二大城市曼德勒交战缅甸第二大城市曼德勒的军队与当地民兵发生冲突。这场冲突是人民国防军(PDF)首次在大城市与军队发生冲突。国防军是自政变以来在缅甸兴起的民兵组织的统称。缅甸军政府暴力镇压该国的反政变美国空军军官因未带口罩被停职一名美国空军上尉军衔的战斗机飞行员因宗教信仰拒绝戴口罩,被停职并被撤销机密信息的访问权限。飞行员在信中说从这个过程开始,我就对我的宗教信仰提出了直接的命令。我没有假装遵守口罩要求(
俄罗斯将发射空间站重要舱段,或为组建俄罗斯空间站铺路2021年世界上会有两个空间站舱段发射升空,分别是中国空间站天和核心舱(已经发射),以及国际空间站俄罗斯将要发射的舱段科学号。我国的天宫空间站天和核心舱,核心舱长16。6米,最大直会不会外星人和地球人长得一模一样,连文明都相差无几?会不会外星人和地球人长得一模一样,连文明都相差无几?根据这个问题,首先就有两种看法,开头先挑明。第一种看法是这样的,他们认为,我们总是以人类为出发点看待这个问题,以人类的标准来定义被卡脖子的科技可以弯道超车吗?科技日报曾发表系列文章报道制约我国工业发展的35项卡脖子技术,在社会上引起了广泛的关注与讨论。这些被卡脖子的技术有的是急需要解决的,有的则是心腹之患。面对这些问题该怎么办?能不能够认为天宫空间站小?事实上,在技术上要比国际空间站先进看到有网友提问我国的空间站规模是不是有些小了?看到这个提问,我就知道,这是在与国际空间站比较,但不要忘记,国际空间站是一个多国合作项目。谈到空间站,可以先来了解一下空间站的发展史在为什么会有人认为SpaceX近几年发展很厉害,可以与我们相比较呢?马斯克这个人,有人说他是现实中的钢铁侠,他1971年6月28日出生于南非的行政首都比勒陀利亚,他具有南非加拿大和美国三重国籍。我们知道有个特斯拉汽车,还有一个SpaceX。现在就来太阳系有足够的材料制造一颗戴森球吗?在地球上,我们已经遭遇了太多,战争饥荒洪水流行病环境破坏等等。幸运的是,我们也发展出很多美好的事物,比如电力和互联网的普及,对月球和火星的探索。这让我们相信未来是美好的!确实,只要被窝宅男爱睡懒觉,这位大神你不可能不知道他大部分人都喜欢睡懒觉,包括我也是,只要是休息可以睡到午饭之前。不过在我们的观念里,睡懒觉不是一个好习惯。如果在家里睡懒觉,就会被父母早早地叫起,并亲切地称呼你为懒虫。如果你经常睡懒在目前认知的宇宙中,人类有多渺小?人类认识宇宙经历了极为漫长的过程,从亚里士多德,托勒密到哥白尼,他们都有对宇宙的观点与看法,有自己的理论架构,并且主导了一段较长的历史。在两千多年以前,无论是东方还是西方,皆认为人假如物理学不再突破,基于现有的科学,人类能实现星际殖民吗?假如物理学不再突破,基于现有的科学,人类能实现星际殖民吗?最近在看三体这部科幻小说,在读到第二部时,人类要组建太空防御部队,明确了未来的太空战争更像是现代海战。有许多人对太空防御部29个外星文明观察地球?UFO报告?你相信多少?你亲眼见过外星飞碟吗?此问一出,可以料想到会有很多人说自己曾经在某个时候看到过,也可以料想到,很多人是相信外星人的存在的,也相信外星文明曾来过地球上。生命在宇宙中是怎样诞生的,地球第四代核武器是真?是假?我们知道核武器是依靠轴235或钚239的链式裂变反应产生爆炸的,氢弹是靠裂变反应产生的高温高压引发的,最近有人说有的国家已經研究出第四代核武器,它们是用金属氮或许金属氫爆炸引发氚氘