|
编号 |
作者 |
题目 |
发表的刊物/会议情况 |
部门 |
选择 |
|
1 |
蔡少伟 |
复杂度与质量的平衡：搜索大图中的小顶点覆盖 |
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. IJCAI 2015, 747-753 |
大会报告 | |
|
2 |
Lei Shi、Yi-Dong Shen |
基于多样性传导实验设计的主动学习方法 |
Diversifying Convex Transductive Experimental Design for Active Learning. The 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). New York, USA, July, 2016. |
大会报告 | |
|
3 |
Yangjia Li, Hui Lu, Naijun Zhan, Mingshuai Chen and Guohua Wu. |
等式型多项式程序的终止性分析 |
Termination Analysis of Polynomial Programs with Equality Conditions. Unpublished. |
Poster | |
|
4 |
李勇坚 段凯强 |
带参协议验证工具ParaVerifier |
工具系统 |
Poster | |
|
5 |
岳翰, 吴鹏, Tsong-Yueh Chen, 吕毅 |
面向多线程并发程序的输入导向主动测试方法 |
“Input-driven Active Testing of Multi-threaded Programs”,Asia-Pacific Software Engineering Conference (APSEC 2015), pp. 246-253,010-62661622 |
Poster | |
|
6 |
Artur Czumaj, Pan Peng, Christian Sohler |
检测图的聚类结构 |
Testing Cluster Structure of Graphs. In Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing (STOC), pp. 723-732. ACM, 2015. |
Poster | |
|
7 |
蔡彦、曹玲微 |
程序bug的自动修复 |
ICSE2016 |
大会报告 | |
|
8 |
王伟锋，焦莉 |
基于差分约束抽象的时间自动机可达性验证 |
Difference Bound Constraint Abstraction for Timed Automata Reachability Checking, the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems. FORTE’2015,Grenoble, France, June 2-5, 2015, LNCS 9039：146-160，Springer. |
Poster | |
|
9 |
王文成, 徐盼盼, 宋滢, 华淼, 张民英, 别晓辉. |
统一框架下区分局部和全局编辑的同步传播 |
Distinguishing local and global edits for their simultaneous propagation in a uniform framework. IEEE Transactions on Image Processing, Vol.24, No.8, p.2478-2487, 2015. |
Poster | |
|
10 |
宋滢, Jiaping Wang, Liyi Wei, 王文成. |
面向纹理图像压缩的向量回归函数 |
Vector regression functions for texture compression. ACM Transactions on Graphics, Vol.35. No.1, Article 5, Dec. 2015. |
Poster | |
|
11 |
蔡彦、曹玲微 |
隐藏BUG的主动检测 |
ESEC/FSE 2015 |
Poster | |
|
12 |
王超 吕毅 吴鹏 |
弱内存模型下并发库可线性化的判定性问题 |
|
计算机科学国家重点实验室 |
论文 |
|
13 |
岳翰, 吴鹏, Tsong-Yueh Chen, 吕毅 |
面向多线程并发程序的输入导向主动测试方法 |
“Input-driven Active Testing of Multi-threaded Programs”, Asia-Pacific Software Engineering Conference (APSEC 2015), pp. 246-253 |
计算机科学国家重点实验室 |
论文 |
|
14 |
张文辉 |
符号模型与隐式状态模型检测技术 |
|
计算机科学国家重点实验室 |
论文 |
|
15 |
王浩 |
discovering interpretable Geo-socail Communities for user behavior prediction |
ieee icde 2016 |
Poster |
|
16 |
Zhang Chen, Wang Hao, Cao Liangliang, Wang Wei, Xu Fanjiang. |
基于在线媒体的混合事件探测与追踪算法 |
A hybrid term–term–120. relations analysis approach for topic detection. Knowledge-Based Systems, 93(2016), pp. 109 |
Poster | |
|
17 |
WangHao,ZhangChen |
Galaxy-智能决策支持系统 |
工具系统 |
Poster | |
|
18 |
Bei Guan, Jingzheng Wu, Yongji Wang, and Samee U. Khan |
通信感知的共存虚拟机间网络延迟调度技术研究 |
CIVSched: A Communication-aware Inter-VM Scheduling Technique for Decreased Network Latency between Co-located VMs. IEEE Transactions on Cloud Computing. 2014, 2(3), 320-332. |
Poster | |
|
19 |
Jingzheng Wu, Yanjun Wu, Mutian Yang, Zhifei Wu, Tianyue Luo, Yongji Wang |
智能终端环境下隐蔽信道研究 |
biTheft: Stealing Your Secrets by Bidirectional Covert Channel Communication with Zero-Permission Android Application. 22nd ACM Conference on Computer and Communications Security, 2015, 1690-1692. |
Poster | |
|
20 |
Li Chen, Jingzheng Wu, Yinrun Lyu, Yongji Wang |
实时系统单调速率优化设计研究 |
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints, Journal of Computer Science and Technology. (已录用) |
Poster | |
|
21 |
付成，刘汇丹，诺明花，吴健 |
基于Graphite的蒙古文字体 |
工具系统 |
Poster | |
|
22 |
刘汇丹，吴健，龙从军，诺明花，洪锦玲，于新，李博涵等 |
汉藏机器翻译系统及辅助工具系列软件 |
工具系统 |
Poster | |
|
23 |
马龙龙，吴健 |
基于部件分割的联机手写藏文音节识别方法 |
第十三届国际文档分析与识别会议 |
Poster | |
|
24 |
安波、吴健、刘汇丹 |
汉字字型云服务 |
工具系统 |
Poster | |
|
25 |
Yuqi Lin, Saif U. R. Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, and Samee U. Khan. |
操作系统中隐蔽信道的设计及建模 |
Designing and Modeling of Covert Channels in Operating Systems. IEEE Transactions on Computers. (已录用) |
大会报告 |
|
26 |
谢淼、杨秋松、王青、Gao Cong 、Gerard de Melo |
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization |
The Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15) |
大会报告 | |
|
27 |
Xianpei Han、Le Sun |
弱监督语义知识获取技术 |
1.Global Distant Supervision for Relation Extraction. In: the Thirtieth AAAI Conference (AAAI-16). 2.A Joint Model for Entity Set Expansion and Attribute Extraction from Web Search Queries. In: the Thirtieth AAAI Conference (AAAI-16). |
大会报告 | |
|
28 |
卜宁，余雷，马文静，杜长营，牛树梓，龙国平 |
基于迁移学习概念的app相似性检测 |
DataCom 2015 |
Poster | |
|
29 |
Siqi Deng, Kan Gao, Changying Du, Wenjing Ma, Guoping Long, YuCheng Li |
Online Variational Bayesian Support Vector Regression |
International Joint Conference on Neural Networks ，2016, Accepted as Oral presentation |
Poster | |
|
30 |
陈峰 |
智能交通大数据平台 |
工具系统 |
Poster | |
|
31 |
袁伟，邓攀，Tarik Taleb，万家富，毕超凡 |
一种基于大数据分析的黑车识别模型 |
IEEE Transactions on Intelligent Transportation Systems |
Poster | |
|
32 |
张常有、党云龙、解高纯 |
面向创新计算的高性能云服务平台 |
工具系统 |
Poster | |
|
33 |
杨超、刘芳芳、刘益群等 |
天河二号HPCG整机312万核优化 |
623 Tflop/s HPCG Run on Tianhe-2: Leveraging Millions of Hybrid Cores, International Journal of High Performance Computing Applications, 2016, 30:1, pp. 39-54. |
大会报告 | |
|
34 |
Jiang Zhang, Zhenfeng Zhang, Jintai Ding, Michael Snook |
Post-quantum Secure Communication: Authenticated Key Exchange from Lattices |
？zgür Dagdelen: Authenticated Key Exchange from Ideal Lattices. EUROCRYPT (2) 2015: 719-751 |
大会报告 | |
|
35 |
苏璞睿 应凌云 |
TCA软件动态分析云平台 |
工具系统 |
Poster | |
|
36 |
苏璞睿 杨轶 和亮 黄桦烽 |
软件动态逆向分析平台—AOTA系统 |
工具系统 |
Poster | |
|
37 |
Meining Nie, Purui Su, Qi Li, Zhi Wang, Lingyun Ying, Jinlong Hu, Dengguo Feng. |
Xede: Practical Exploit Early Detection |
Xede: Practical Exploit Early Detection. RAID 2015, Springer, 2015: 198-221. |
Poster | |
|
38 |
Wensheng Dou, Shing-Chi Cheung, Jun Wei |
电子表格中单元阵列的检测与修复 |
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells Due to Ambiguous Computation, in Proceedings of International Conference on Software Engineering (ICSE), 848–858, 2014. |
大会报告 | |
|
39 |
郝庭毅, 吴恒, 吴国全, 张文博 |
面向微服务架构的容器级弹性资源供给方法 |
|
Poster | |
|
40 |
刘杰 |
可视化大数据应用开发运行平台Haflow |
工具系统 |
Poster | |
|
41 |
卢琼, 吴添勇, 燕季薇, 严俊, 马菲菲, 张帆 |
Android应用程序函数级能耗估计 |
Lightweight Method-level Energy Consumption Estimation for Android Applications, TASE 2016 |
Poster | |
|
42 |
王伟 |
负载测试驱动的云应用性能异常检测与定位 |
|
Poster |
|
43 |
王伟 |
EasyCache内存数据网格系统 |
在JSS、中国科学、软件学报、计算机研究与发展等国内外知名期刊以及CIKM、CLUSTER、COMPSAC、CLOUD、HiPC等本领域知名会议发表论文近20篇；申请技术发明专利6项（获授权2项），形成了自己的技术优势和特色。相关成果被IBM、SAP、CA、VMWare、HITACHI等国际知名企业以及CMU、ICL、TUM、KIT、Würzburg U、UofT等国际知名研究机构关注和引用，并对研究成果进行了扩展。 |
Poster |
|
44 |
魏克刚、李慧、李培军、许舒人等 |
假币犯罪信息系统 |
工具系统 |
Poster | |
|
45 |
李慧、魏克刚、李培军、许舒人等 |
中国侵权假冒物品检验鉴定公共平台 |
工具系统 |
Poster | |
|
46 |
田丰 |
笔式人机交互关键技术及应用 |
笔式人机交互关键技术及应用，田丰，戴国忠，王宏安，邢修青，张毅，方中雄，崔丽英，朱以诚，张凤军，李俊锋，王丹力，马翠霞，中国科学院软件研究所、鸿合科技有限公司、北京教育科学研究院、中国医学科学院北京协和医院 |
大会报告 | |
|
47 |
王永炎，罗雄飞，李昕龙，刘琪，郭俊 |
车联网数据分析平台 |
工具系统 |
Poster | |
|
48 |
Kang Yue, Danli Wang, Xinpan Yang,Haichen Hu. |
基于虚拟现实技术航天员训练系统用户体验评价研究 |
Evaluation of the user experience of “astronaut training device”: An Immersive, VR-Based, Motion-Training System”, OTA2016 |
Poster | |
|
49 |
王永炎，罗雄飞，王盖，许童，晏琪等 |
基于国产操作系统的实时数据库系统 |
工具系统 |
Poster | |
|
50 |
袁野、杨硕、邓小明、王宏安 |
基于三维声纳相机的水下运动目标检测与跟踪 |
|
论文 |
