您位于: 首页 新闻动态

新闻动态

网站新闻

意大利米兰理工学院Carlo Ghezzi教授作客“信息技术与信息化”名家讲坛

2016年4月26日下午,意大利米兰理工学院Carlo Ghezzi教授作客北京大学“信息技术与信息化”名家讲坛,作了题为“Tolerating uncertainty via evolvable--by--design software"的学术报告。报告会由谢冰教授主持,梅宏院士、金芝教授、张路教授、刘譞哲副教授及重点实验室数十名博士生参加了此次报告。

Carlo Ghezzi教授以形式化的方式描述了软件、环境和需求之间的关系,从软件开发和运行过程中常见的不确定性事件出发,介绍了不确定性对软件工程可能带来的诸多影响。基于此,他介绍了在设计阶段基于形式化方法考虑不确定性因素、在运行阶段达到自适应效果、由运行结果向形式化阶段反馈的软件设计开发理论。

报告结束后,Carlo Ghezzi教授是软件工程领域的顶级专家,是ACM Fellow和IEEE Fellow,欧洲科学院院士,意大利科学院院士,曾获ACM SIGSOFT Outstanding Research Award和Distinguished Service Award。现任Informatics Europe主席。同时是软件工程领域多个旗舰会议的PC member,曾担任TOSEM、TSE等顶级期刊的Editor.

第6届亚洲高级软件工程研讨会在重庆成功召开

2017年5月3--5日,由西南大学承办,本重点实验室协办的第6届亚洲高级软件工程研讨会在重庆成功召开,来自四大洲不同国家不同高校的40余名科研工作者参加了此次研讨会。本实验室梅宏院士,金芝教授,赵海燕、周明辉副教授参加了本次研讨会。

研讨会上,来自英国帝国理工大学的Jeffrey Kramer教授作了题为“适应性体系结构”的主题演讲。Jeffrey Kramer教授曾任计算机学院主任、工学院院长,曾获得ACM SISGSOFT杰出研究奖,发表了超过200篇期刊与会议论文,是ACM院士,也是英国皇家工程院、IET、BCS等的院士。他的报告涉及大量不可预知的变化切开下的软件适应性及自管理问题。随后,研讨会紧密围绕软件分析与安全、形式化方法、自适应软件、模型检测、程序分析等软件工程领域展开,共有25位学者报告了他们近期的研究进展。

该研讨会的目的是,为广大研究者搭建一个软件工程领域的经验分享和交流探讨平台,通过国内外专家与同行之间的交流与碰撞,为国内外其他高校和学术机构建立深厚的友谊与学术纽带,为国际合作及校际合作打下良好的基础。

该系列研讨会由北京大学高可信软件技术教育部重点实验室和日本国立情报学研究所于2010年共同创办,此前已经成功举办过5次:

The Ist workshop was held at Peking University in China in 2010

The 2nd workshop was held at Hakone--machi in Japan in 2011

The 3rd workshop was held at National University of Singapore in 2013

The 4th wokshop was held at Peking University in China in 2014

The 5th workshop was held at Todaiji Museum in Japan in 2016

张大庆教授课题组的无线感知新理论作为旗舰杂志封面文章发表

2017年1月5日,由张大庆教授课题组提出的基于菲涅耳区模型的无线感知新理论,以《迈向厘米级的Wi-Fi人体行为感知》(Toward centimeter--scale human activity sensing eith Wi--Fi signals)为题,在IEEE Computer作为封面文章发表。

IEEE Computer是美国电气电子工程师学会计算机协会的旗舰杂志。近年来,无线技术的快速发展使得Wi-Fi射频信号的能力从单纯的无线通信扩展到对人及环境的无接触感知,但基于Wi-Fi的人体行为感知研究多依赖对信号变化模式的观察、分析和利用,缺乏一个通用且细粒度的理论模型作为指导,因此无法给出Wi-Fi信号的感知极限。张大庆教授课题组通过将原用于刻画光波传播的菲涅耳区模型引入无线人体行为导致无线接收信号产生波长级波动的原因,而且揭示了多大幅度的人体行为在何种情况下可被Wi-Fi信号检测,从而得到了Wi-Fi信号在室内环境传播的重要性质,并利用这些性质和多载波特点分别提出了识别厘米级的细粒度微小活动(如呼吸)、分米级的粗粒度活动(如移动方向)的理论和技术,明确了基于菲涅耳区模型的无线感知理论是用Wi--Fi信号实现厘米乃至毫米级人体行为感知的理论基础。

此前,张大庆教授课题组基于这一新理论所做出的无接触人体呼吸检测系统在德国海德堡由美国计算机学会主办的普适计算领域顶级会议UbiComp2016(ACM International Joint Conference on Pervasive and Ubiquitous Computing)上被众多与会者测试,达到国际最佳性能。目前,课题组正在进一步推进、完善该理论,力争在更多无接触感知应用上做到国际最佳且实用化。

关于情境感知计算内容的论文被IEEE THMS录用

近日,以王江涛博士为第一作者的论文CAPFF:A Context-Aware Assistant for Paper Form Filling被IEEE Transactions on Human-Machine Systems(THMS)录用。该研究针对智慧城市中的市民在填写纸制表格中遇到的困难,提出一种基于情境感知的解决方案并研发相关系统。该系统综合计算机图像识别、多模态人机交互和用户意图学习等技术,感知用户在填写纸质表格中的各类“情境”并提供相应的个性化人机交互服务。THMS是人--机系统(Human-Machine System)领域的国际顶级期刊,同时也为CCF推荐的B类期刊。

关于移动互联网用户情境分析和理解内容的论文被IEEE Transactions on Software Engineering录用

近日,重点实验室完成的论文“Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles"被软件工程领域顶级期刊IEEE Transactions on Software Engineering录用同。该工作从面向千万级Android用户的情境建模入手,深入分析了用户使用移动互联网服务的行为模式,揭示了若干重要规律,如频度幂律分布、社区结构、链式调用等。基于对情境的深刻理解,提出移动应用的开发、测试、发布、运维中尚未发掘的若干重要问题并提出了新的研究思路。

刘譞哲副教授,李豁然、陆璇博士生为上述工作的主要完成人,美国UIUC Tao Xie教授、University of Michigan Qiaozhu Mei教授、梅宏院士和豌豆荚联合创始人冯锋为该工作的协作完成人。

王江涛博士访问新加坡国立大学

2017年1月25日至2月15日,应新加坡国立大学助理教授Brian Y.Lim博士邀请,重点实验室王江涛博士访问新加坡国立大学计算学院,在群智感知(Mobile Crowd Sensing)方面开展合作研究。访问期间,王江涛博士做了“Mobile Crowd Sensing:Systems and Algorithms"的报告,并与BRian Y.Lim博士所领导的团队中其他师生进行了深入交流。

黄罡教授主持召开中国电子学会青年科学家俱乐部“云计算与大数据”研讨会并做专题报告

2017年1月11日,中国电子学会青年科学家俱乐部“云计算与大数据”研讨会在京成功举办,工业和信息化部信息化和软件服务业司司长谢少锋、信息服务业处处长李琰,中国电子学会总部党委书记张宏图等领导出席研讨会,与青年科学家俱乐部“云计算与大数据”专委的十余位委员进行对话和交流,会议由专委会主任黄罡教授主持。

参加此次研讨会的专家委员涵盖产学研各界代表,既有来自北京大学、清华大学、浙江大学等高校的科研人员,也有来自联通、阿里、腾讯、中兴等业界单位的高管人员。与会代表围绕产学研协同创新,介绍了云计算和大数据的新兴技术和相关实践工作,深入探讨了数据开放、数据交易、知识管理、数据立法等方面的机遇和挑战,并对我国云计算和大数据产业的发展积极建言献策。

谢少锋司长对此次研讨会给予高度评价。他指出:云计算和大数据产业发展迅速,是网络经济最重要的基础设施,与整个国家经济的发展都密切相关,甚至起决定作用。目前,我国云计算和大数据产业的发展正处在一个黄金的窗口机遇期,科研工作者和产业实践者要把握好这个时期,选取正确路径,实现超越式发展。同时,谢司长还对青年科学家俱乐部提出了几点期望:一方面要在政策制定上多提建议,充分发挥我国的政府优势,推动整个云计算和大数据产业在世界范围内提升竞争力;另一方面要多反映产业中的实际问题并且提出相应解决方案,进而突破产业发展瓶颈,加快产业发展速度。

硕士生杨恺赴美国旧金山参加AAAI-2017会议,并在会上作报告

2017年2月4--9日,硕士生杨恺赴美国旧金山参加了AAAI--2017会议,并在会上作“TaGiTeD:Predictive Task Guided Tensor Decomposition for Representation Learning from Electronic Health Records报告。该研究针对医疗领域中高维稀疏的数据特性,提出一种有监督的张量分解模型,学习有效且具有可解释性的数据特征,得到了与会者的广泛关注。

金芝教授应邀参加在南非Stellembosch举行的IFIP WG2.9 2017年年度会议并在Guest Slot上做报告

2017年2月13-17日,应IFIP WG2.9CHair 美国Notre Dame大学Jane Cleland-Huang教授的邀请,金芝教授参加了在南非Stellembosch举行的IFIP WG2.9 2017年年度会议,金芝教授被邀请在Quest Slot上做报告,今年的年度会议共邀请了来自美国、英国、卢森堡、意大利、西班牙和中国等国家的6位教授分别在六个Guest Slot上做90分钟的报告。金芝教授做了“Collective Model Construction for System Smartness"报告,介绍重点实验室近期在群体软件建模方面的工作,引起与会者的很大兴趣。

刘譞哲副教授受邀担任国际KDD大会TPC

近日,刘譞哲副教授被2017年ACM SIGKDD国际会议(简称KDD)大会邀请为Research Track的程序委员会成员(Technical Program Committee)。KDD大会是数据库、数据挖掘和知识发现领域的顶级学术会议,由ACM数据挖掘及知识发现专委会(SIGKDD)负责组织筹办。随着近年来大数据研究掀起热潮,由于KDD的交叉学科性以及广泛的应用性,其影响力不断增大,吸引了来自机器学习、统计、数据库、万维网、生物信息学、多媒体、自然语言处理、人机交互、社会网络计算、高性能计算等众多领域的专家和学者。

KDD2017将于2017年8月13--17日在加拿大的Halifax,Nova Scotia举行。

刘譞哲副教授等论文被ACM Transactions on Internet Technology录用

近日,刘譞哲副教授等为主完成的论文“i-Jacob:An Internetware-Oriented Approach to Optimizing Computation-Intensive Mobile Web Browsing"被美国计算机学会”互联网技术“汇刊(ACM Transactions on Internet Technology,TOIT)录用。该工作主要针对当前移动Web浏览中存在的加载延迟长及其导致的电量消耗问题,提出一种网构化的编程抽象(Programming Abstraction)来对现有Web应用进行重构,并设计了情境驱动的云端融合化分载框架,可根据设备的硬件配置和网络情况来动态分布式执行来优化浏览体验。通过对目前市场上主流的高中低三档终端机型进行测试后,获得了普遍性的性能提升(最高近50倍)和电量消耗减低(最高近90%)。

自Tim Berners-Lee爵士2016年ACM Turing Award(即图灵奖获得者)在1991年发明万维网(World Wide Web)并编写了第一个浏览器以来,Web已经成为互联网信息服务的主要载体,甚至在某种程度上可以视为互联网的“代名词”;而浏览器则是人们接入和使用互联网信息服务的主要途径。而Web浏览的用户体验,包括Web应用加载时间、流量、电量消耗等的优化问题,既是用户的核心需求,也是近年来互联网软件技术研究的热点问题。由于浏览器的结构极其复杂(数百万行代码),用户所处的网络环境高度动态可变,使得该问题具有很高的技术挑战,被公认为网络系统研究领域的技术难题之一。

自2013年以来,刘譞哲副教授研究小组的成员,针对移动Web浏览体验优化这一问题,通过数百万行的浏览器内核源代码分析和大量的网络度量和用户实验,揭示了移动Web浏览的工作机理,分析了目前主浏览器内核中存在的性能缺陷,并提出了行之有效的技术方案。值得指出的是,自2015年以来,研究小组已在WWW(CCF A类会议,1篇)、IEEE Transactions on Mobile Computing(TMC,CCF A类,4篇)连续发表5篇高质量的学术论文,在效果上同Stanford、University of Michigan、University of Washington等世界顶级学术团队的同期工作相比,表现相当甚至超出,有望在该领域取得重要技术突破。

香港科技大学张成志教授访问重点实验室并作客“信息技术与信息化”名家讲坛

应梅宏和金芝教授的邀请,香港科技大学张成志教授于3月13日--23日来访重点实验室进行学术交流活动。3月15日下午,张教授作客北大“信息技术与信息化”名家讲坛,做了“Spreadsheet Cell Clustering and Defect Detection"的学术报告。报告会由金芝教授主持,刘譞哲副教授、熊英飞研究员及数名博士生参加了此次报告。张教授从一个具体实例出发,介绍了电子表格使用中普遍存在的缺陷检测方法,并展望了这一课题的未来工作方向。张教授的报告深入浅出,环环相口,鞭辟入里,赢得了现场听众的热烈掌声。之后,张教授和与会师生进一步就如何做好研究、如何完成高质量的论文构思和写作等问题进行了深入的交流。

张成志教授是软件工程领域的著名学者,在TSE、TOSEM等顶级期刊和ICSE、ASE、FSE、ISSTA等知名会议上发表学术论文100余篇。3次荣获ACM SIGSOFT Distinguished Paper Award;张教授曾担任FSE 2014的General Chair,并曾担任TSE、IST等期刊的Editor;张教授于2016年荣获ACM Distinguished Scientist。

 

张大庆教授分别访问了西北工业大学、西北大学和西安交通大学, 并作报告

张大庆教授应西北工业大学、西北大学和西安交通大学邀请,于2016年12月1、4、5日分别访问了这三所大学,做了《迈向厘米级的WiFi 无接触行为感知:理论与实践》的讲座,并和师生开展了深入交流。

张大庆教授访问了香港理工大学计算机系并作报告

2016年12月14日,张大庆教授访问了香港理工大学计算机系,作了题为《Toward Centimeter Scale Human Activity Sensing with Wi-Fi Signals:Theory and Applications》的讲座,和相关领域的师生开展了深入交流。

张大庆教授担任国际普适计算领域新创期刊ACM Proceedings of IMWUT 的编委

张大庆教授2016年11月受邀担任国际普适计算领域新创期刊ACM Proceedings of IMWUT的编委,成为国内首批担任该期刊编委的学者。

基金重点项目“云教育平台构建若干关键技术创新研究”召开年度项目研讨会

国家自然科学基金联合基金重点项目“云教育平台构建若干关键技术创新研究”于2016年12月11日在广州大学召开2016年度项目研讨会。梅宏院士和孙艳春副教授参加了这次会议,孙艳春副教授汇报了北京大学四年结题事宜,以及未来三方合作事宜。

黄罡教授担任中国电子学会青年科学家俱乐部“云计算与大数据”专委会主任

2016年12月21日,“洞见2017----中国电子信息科学家论坛”在京成功举办。本次论坛上,电子学会青年科学家俱乐部云计算与大数据、人工智能与无人系统、半导体科学技术、网络与通信系统、雷达与信号处理系统、多媒体技术与虚拟现实、微波与电路系统等7个专委会宣告成立。其中,“云计算和大数据”专委会共有35名委员,黄罡教授出任主任委员,刘譞哲副教授担任秘书长。

中国电子学会青年科学家俱乐部成立于2015年,目前吸引了近400位电子信息领域最为活跃的青年才俊,他们之中很多人是长江学者、杰青和优青。这7个专委会的成立将进一步推进细分技术领域的学术交流和产业化对接。

黄罡教授和阿里云OS开展深度实质性合作,燕云反射引擎开始试用

2016年12月23日,黄罡教授带队再次访问阿里云OS,与其研发团队进行了深度的技术研讨并制定了翔实的合作计划,燕云反射引将很快开始试用于阿里云OS。

重点实验室两篇论文被软件工程顶级会议ICSE'17录用

近日,ICSE`17通知,重点实验室两篇论文被该顶级会议录用:一篇论文关注缺陷修复问题。论文利用现有软件库中的大量代码,通过从现有代码中进行学习,将修复正确率从不到40%提高到了接近80%。论文的作者包括熊英飞研究员、硕士生王杰、本科生严润发、章嘉晨、微软亚洲研究院韩石研究员、张路和黄罡教授;另一篇论文关注编译器测试。本文提出了一种基于学习的测试方法,通过对已有测试的截错能力进行分析,该方法能快速判断出新的随机程序的截错能力,进而对测试用例进行排序,保证错误的尽快发现。通过应用该方法,编译器测试通常能得到24.64%--36.23%的加速,从而节省大量的计算资源。论文作者:博士生陈俊洁、硕士生白彦威、郝丹副教授、熊英飞研究员、谢冰教授等。

高可信软件技术教育部重点实验室年会暨第六届高可信软件研讨会在北京召开

2016年高可信软件技术教育部重点实验室年会于2016年12月17日上午在北京大学中关新园召开,参加会议的人员有重点实验室成员、博士研究生的代表、国际指导委员会委员等90余人。会议的主要内容:梅宏主任致欢迎词,对与会人员的到来,表示热烈的欢迎和衷心的感谢!金芝副主任作《重点实验室年度工作报告》、梅宏主任为国际指导委员会委员颁发聘书。会议最后围绕着重点实验室“把握国家发展需求,促进科研成果转化、坚持发展优势方向,提升学术影响力、加强人员交流合作,发掘团队创新力、扶持培养青年人才,提升发展潜力”的议题进行了讨论,在大家群策群力献计献策发言的基础上,国际指导委员会委员吕荣聪(香港中文大学)教授,重点实验室谢冰教授、黄罡教授等作了重点发言。在年会结束的同时于12月17日下午至18日召开了第六届高可信软件技术研讨会,会上邀请了国内外15名同领域专家学者作专题技术报告,并与参会人员进行了技术上的互动、交流、研讨。