您位于: 首页 / News

index

第十六届全国软件与应用学术会议在哈尔滨召开,郝丹获CCF NASAC-东软青年软件创新奖

第十六届全国软件与应用学术会议(NASAC 2017)在哈尔滨召开,郝丹获CCF NASAC-东软青年软件创新奖,实验室多位同学分别获得最佳论文奖、原型竞赛三等奖和优秀奖

第十六届全国软件与应用学术会议在哈尔滨召开,郝丹获CCF NASAC-东软青年软件创新奖 - 查看更多...

2017年8月,英国开放大学的Yijun Yu博士访问高可信软件技术实验室

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

2017年8月,英国开放大学的Yijun Yu博士访问高可信软件技术实验室 - 查看更多...

2017年7月,金芝教授参加QRS2017并在会上作大会特邀报告

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

2017年7月,金芝教授参加QRS2017并在会上作大会特邀报告 - 查看更多...

2017年7月,金芝教授和博士生李念语访问意大利米兰理工大学,执行基金委重点国际合作项目

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

2017年7月,金芝教授和博士生李念语访问意大利米兰理工大学,执行基金委重点国际合作项目 - 查看更多...

2017年6月26日-30日,孙艳春老师参加了ICWS 2017会议。

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

2017年6月26日-30日,孙艳春老师参加了ICWS 2017会议。 - 查看更多...

2016年6月,高可信软件技术引智基地启动

2016年6月,高可信软件技术引智基地启动

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

2016年6月,高可信软件技术引智基地启动 - 查看更多...

5月20到27日,软件所郭耀老师、熊英飞老师、郝丹老师和三名研究生参加了国际软件工程大会ICSE 2017

5月20到27日,软件所郭耀老师、熊英飞老师、郝丹老师和三名研究生参加了国际软件工程大会ICSE 2017。此次ICSE我所共发表2篇Research Track的论文、1篇Technical Briefing论文。

5月20到27日,软件所郭耀老师、熊英飞老师、郝丹老师和三名研究生参加了国际软件工程大会ICSE 2017 - 查看更多...

软工所程序生成论文被机器学习顶级会议 ICML-17 接受

软工所论文《Coupling distributed and symbolic execution for natural language queries》被机器学习顶级会议 ICML-17 接受

软工所程序生成论文被机器学习顶级会议 ICML-17 接受 - 查看更多...

系统研究室关于移动Web浏览优化的工作被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%)。

系统研究室关于移动Web浏览优化的工作被ACM Transactions on Internet Technology录用 - 查看更多...

2017年3月,香港科技大学张成志教授访问软件所并作客“信息技术与信息化”名家讲坛

2017年3月,香港科技大学张成志教授访问软件所并作客“信息技术与信息化”名家讲坛

应梅宏教授与金芝教授的邀请,香港科技大学张成志(Shing-Chi Cheung)教授于3月13日-23日访问软件所进行学术交流活动。 3月15日下午,张教授作客北大“信息技术与信息化”名家讲坛,作了题为“Spreadsheet Cell Clustering and Defect Detection”的学术报告。报告会由金芝教授主持,刘譞哲副教授、熊英飞研究员及软件所数十名博士生参加了此次报告。

2017年3月,香港科技大学张成志教授访问软件所并作客“信息技术与信息化”名家讲坛 - 查看更多...

文档操作

导航