您位于: 首页 新闻动态

新闻动态

网站新闻

谢冰教授、邹艳珍副教授参加第九届网构软件国际会议

2017年9月24日,谢冰教授、邹艳珍副教授等在上海参加了2017年中国软件工程研究与产业峰会)。会议由ACM SIGSOFT-China(aCM CSOFT)和中国计算机学会软件工程专委会(CCF-TCSE)联合举办,复旦大学承办。此次会议上,谢冰教授作了题为“知识驱动的软件开发方法:程序员--企业--终端用户”的学术报告,40余名来自百度、华为、东软、浪潮等企业技术人员,来自中科院软件所、北京航空航天大学等高等研究机构和大学的学者参加了会议。

北京大学--深圳市腾讯计算机系统有限公司协同创新实验室揭牌仪式举行

2017年10月17日,北京大学----深圳市腾讯计算机系统有限公司协同创新实验室在北京大学举行揭牌仪式。北京大学副校长龚旗煌院士、科技开发部姚卫浩,腾讯公司副总裁王巨宏、高校合作总监刘婷婷等出席。仪式由谢冰教授主持。

该实验室由著名计算机软件科学家杨芙清院士出任实验室学术顾问,崔斌研究员担任实验室主任。实验室建设初期的重点将聚焦于大数据与机器学习领域平台的系统工程、算法优化、数据分析与应用等方面的研究。目前,已完成面向机器学习的高性能并行计算框架Angel的开发,并全面对外开源,后续将进一步深化研究如何将大数据和人工智能技术更好地服务于用户,支持国家的经济发展和产业结构升级。

谢冰教授、邹艳珍副教授赴东软集团股份有限公司进行国家重点专项成果推广

2017年10月23--24日,谢冰教授、邹艳珍副教授等赴东软集团股份有限公司大连东软河口软件园进行项目研讨与研究成果推广。此行的主要目标及日程是:进行国家重点专项“基于大数据的软件智能开发方法和环境”的研发工具----软件项目知识图谱自动构造工具、软件项目问答工具的推广与示范应用;与软件架构国家重点实验室的各位专家进行学术分享和交流。谢冰教授作了题为“知识驱动的软件开发方法:程序员--企业--终端用户”的报告,东软集团及软件架构国家重点实验室的技术专家介绍了企业在“微服务的生态及架构实践”、“东软DevOps方法研究与实践”以及“东软大数据分析平台”方面的工作。

刘譞哲副教授担任WWW2018 TPC

日前。刘譞哲副教授应邀担任国际万维网大会(International Conference on World Wide Web)的程序委员会委员(Technical Program Member)。

国际万维网大会(The International Conference of World Wide Web,简称WWW会议),是由国际万维网会议委员会发起主办的顶级国际学术会议,也是中国计算机学会(CCF)推荐的A 类学术会议。创始于1994年,每年举办一届,已举办26届。WWW2018将于2018年4月23--27日在法国里昂召开。刘譞哲副教授团队在2015年至2017年连续在该国际会议上发表论文,此次被邀请担任Research Track的TPC。

黄罡教授在云计算大数据青年科学家专题论坛上作报告

2017年6月16日,第九届中国云计算大会云计算大数据青年科学家专题论坛在国家会议中心顺利举办。此次论坛由中国电子学会主办,中国电子学会青年科学家俱乐部“云计算与大数据”专委会承办,北京大学--神州控股协同创新中心协办。云计算大数据领域的多名专家学者、企业代表等三百多人参加了会议。此次论坛由重点实验室刘譞哲副教授(专委会秘书长)主持,黄罡教授作了报告。

孙艳春副教授参加了ICWS 2017会议

2017年6月26--30日,孙艳春副教授赴美国参加了ICWS2017会议,并做了会议论文“A Map-matching Service Designed for Courier Trajectories"。ICWS会议是服务计算领域的顶级会议,孙艳春副教授在与会期间与各位服务计算的学者进行了深入广泛的交流。

金芝教授访问意大利米兰理工大学,执行基金委重点国际合作项目

2017年7月,金芝教授和博士生李念语访问了意大利米兰理工大学,与Carlo Ghezzi教授和Christos Tsigkanos博士一起进行了合作研究。本次访问的目的,执行基金委重点国际合作项目“网构软件的自适应性建模和管理方法研究”。

金芝教授参加QRS2017并在会上作大会特邀报告

2017年7月25-28日,金芝教授参加了在捷克布拉格举行的2017年IEEE软件质量、可靠性和安全性(QRS2017)国际会议,并在会上作了题为“Engineering Fine-Grained Dependability Requirements"大会特邀报告。

英国开放大学的Yijun Yu教授来访重点实验室

2017年8月8-16日,英国开放大学Yijun Yu博士来访重点实验室,与多位实验室成员进行了学术交流,并就基于问题框架的软件需求建模等问题与金芝教授进行了深入的探讨。与Yu教授一同来访的还有华东师范大学陈小红副教授和广西师范大学的李智教授。

郭耀、郝丹副教授,熊英飞研究员携研究生参加了国际软件工程大会ICSE 2017

2017年5月20--27日,重点实验室郭耀、郝丹副教授,熊英飞研究员携研究生参加了国际软件工程大会ICSE2017。在此次ICSE会上,重点实验室共发表2篇Research Track的论文、1篇Technical Briefing论文。

高可信软件技术引智基地启动

2017年6月6日,高等学校学科创新引智基地(简称111计划),即高可信软件技术引智基地,在梅宏院士和该基地学术大师Carl Chang的共同主持下正式启动了。谢冰、金芝、张路教授,郝丹副教授在北京大学参加了启动会议,并与梅宏院士、Carl Chang教授讨论引智基地的具体举措。

重点实验室程序生成论文被机器学习顶级会议 ICML-17 接受

重点实验室论文《Coupling distributed and symbolic execution for natural language queries》被机器学习顶层会议ICML--17接受。此前该论文曾在ICLR--17研讨会(workshop)上展示。该文将神经网络执行和离散的符号化执行相结合,利用神经网络的可导特性大幅降低了强化学习的难度,实现了自然语言数据库查询程序的生成。本文提出的方法具有较强的学习效率、较强的执行效率、较强的可解释性和较高的准确率。

本文的第一作者为牟力立博士研究生,金芝教授等。

意大利米兰理工学院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报告。该研究针对医疗领域中高维稀疏的数据特性,提出一种有监督的张量分解模型,学习有效且具有可解释性的数据特征,得到了与会者的广泛关注。