当前位置: www.89677.com > 信息科学 > 正文

香港理工大学邵子立博士来我校讲学访问,谢冰

时间:2019-11-17 04:34来源:信息科学
近日,软件研究所谢冰教授课题组题为“Summary-based context-sensitivedata-dependence analysis in presence ofcallbacks”的学术论文被第42届程序语言原理会议所接收。POPL是程序语言领域历史最久、水平

近日,软件研究所谢冰教授课题组题为“Summary-based context-sensitive data-dependence analysis in presence of callbacks”的学术论文被第42届程序语言原理会议所接收。POPL是程序语言领域历史最久、水平最高的国际会议,被国际期刊和会议的各种分区方法放在该领域的最高区域中。这是北京大学研究团队在该会议上的首次突破。此前,在该会议四十多年的历史上,中国大陆研究机构作为第一署名单位的学术论文仅在第39届会议上发表过一篇。

www.89677.com,香港理工大学邵子立博士来我校讲学访问,谢冰教授课题组的论文被程序语言领域顶级会议POPL接收。应软件所和软件学院的邀请,香港理工大学邵子立博士于2007年6月20日至7月5日来我校进行了学术交流与访问。

在现代软件开发中,每个程序都是建立在庞大复杂的软件库之上,这使得在分析一个小程序时也必须对软件库进行分析。为了减少对软件库的重复分析,就需要对软件库进行预分析,以建立软件库摘要。然而,当软件库存在回调函数时,已有方法只能建立不充分的摘要,导致在分析具体程序时仍然要重复分析软件库。谢冰课题组在计算软件库摘要时,创造性地引入一种原本用于描述自然语言语法的形式语言——tree adjoining language,提出了tree adjoining language可达性分析技术,以建立更充分的软件库摘要。初步的实验表明,该方法建立的摘要可使程序分析的效率平均提高8倍左右。

www.89677.com 1

该项工作是与美国德克萨斯大学圣安东尼奥分校王啸吟博士、德克萨斯大学达拉斯分校张令明博士合作完成的。谢冰课题组博士研究生唐浩是该论文第一作者,软件所张路教授、梅宏教授也参与了研究工作。

访问期间,邵子立博士为我校师生作了题为“嵌入式系统软件的设计与优化:编译器和混合型实时操作系统”的学术报告。报告主要围绕嵌入式系统软件的设计与优化,介绍在编译器和混合型实时操作系统上的一些最新的研究成果,并对相关的研究课题和今后的研究方向进行探讨;邵子立博士结合他近几年的研究成果,详细阐述了对嵌入式系统软件的设计与优化的理解。对于同学们的踊跃提问,邵子立博士一一详细解答,他的精彩报告博得了大家的好评,同学们不时地对邵子立博士渊博的知识报以热烈的掌声。访问期间,邵子立博士还参观了软件工程研究所,与部分教师进行了座谈,和相关的课题组就计算机科学领域的本科生教学、研究生培养以及如何展开科研工作等进行了深入探讨,并结合自己亲身经历,对青年教师的研究方法提出了一些中肯的建议。 邵子立博士在美国德克萨斯大学达拉斯分校计算机系获得硕士和博士学位。他的博士论文获得美国德州大学达拉斯分校Erik Jonsson工程与计算机学院2004-2005年度计算机科学最佳博士论文奖。他的主要研究领域包括编译器优化、软硬件协同设计、嵌入式计算、实时系统和并行处理。邵子立博士目前任香港理工大学计算学系助理教授、博士生导师。他是嵌入式计算学刊(Journal of Embedded Computing)和片上系统学刊(Journal of System-on-Chip)等学报的编辑,曾担任ACM AC, IFIP DIPES, IEEE IWCMC, EUC等10多个国际会议的程序委员会委员;嵌入式软件优化国际会议 (The 2006 International Workshop on Embedded Software Optimization 的2006年会的会议主席; 片上系统和多核片上系统国际会议(The International Workshop on SoC and MCSoC) 2006和2007 年会的会议主席;还担任嵌入式软件和系统国际会议(The 2008 International Conference of Embedded Software and Systems,ICESS) 2008年会的会议主席。邵子立博士在多个国际一流学术期刊如IEEE Transactions on Parallel and Distributed Systems, IEEE Transactions on Computers, ACM Transaction on Design Automation of Electronic Systems, IEEE Transactions on Circuits and Systems, Journal of Parallel and Distributed Computing以及嵌入式系统的一流会议CASES、ISSS+CODES、IPDPS、ASP-DAC、ICASSP、DATE等发表有影响的论文五十余篇。 (编 辑侯其锋 供 稿曹静)

该项工作得到了国家自然科学基金和科技部的资助。

编辑:信息科学 本文来源:香港理工大学邵子立博士来我校讲学访问,谢冰

关键词: