海报展示----中国科学院软件研究所

海报展示

学术论文
编号	部门	题目	作者
1	国重	随机微分系统的无穷时间安全性验证 Unbounded-Time Safety Verification of Stochastic Differential Dynamics	Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
2	国重	基于时间扩散曲线的矢量绘图 Vectorized Painting with Temporal Diffusion Curves	侯飞
3	国重	内存损坏型并发漏洞的检测 Detecting Concurrency Memory Corruption Vulnerabilities	蔡彦、朱碧云、孟瑞杰、云昊、和亮、苏璞睿、梁彬
4	国重	基于骨架引导的三维模型内蕴对称性检测方法 Intrinsic Symmetry Detection on 3D Models with Skeleton-guided Combination of Extrinsic Symmetries. Computer Graphics Forum	王文成、马俊辉、徐盼盼、储翌尧
5	国重	MaxSAT求解集合覆盖与顶点支配集问题 Solving Set Cover and Dominating Set via Partial MaxSAT	雷震东、蔡少伟
6	国重	基于用户意图猜测的嵌入式图像合成方法 Image Composition of Partially Occluded Objects	谭雪晗、徐盼盼、郭诗辉、王文成
7	国重	Polycube Shape Space	Hui Zhao, Xuan Li, Wencheng Wang, Xiaoling Wang, Shaodong Wang, Na Lei, Xianfeng Gu
8	国重	拓扑保持的三维模型中值面简化 Topology Preserving Simplification of Medial Axes in 3D Models. Computer Graphics Forum	储翌尧、侯飞、王文成、李雷
9	国重	尺度自适应优化的纹理滤波方法 Structure-aware Window Optimization for Texture Filtering	徐盼盼、王文成
10	国重	安卓多任务机制：形式化语义与程序静态分析 Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps	何锦龙、陈涛略、王平、吴志林、严俊
11	国重	布尔Holant问题的二分定理 Dichotomy for Holant Problems on the Boolean Domain，Accepted by Theory of Computing Systems	Cai Jin-Yi， Lu Pinyan，Xia Mingji
12	国重	Compression of Data Streams	George Barmpatia，Andrew Lewis-Pye， Cheng Shichao
13	国重	用于训练二值神经网络的去噪监督学习方法 Training Binary Neural Networks through Learning with Noisy Supervision	韩凯、王云鹤、许奕星、吴恩华
14	国重	一个针对安卓应用的可扩展的流,上下文,对象,数据成员以及路径敏感的程序分析框架 Androlic: An Extensible Flow, Context, Object, Field, and Path-sensitive Static Analysis Framework for Android	潘临杰、严俊
15	国重	随机常微分方程安全性验证 Safety Verification of Random Ordinary Differential Equations	Bai Xue, Martin Fr？nzle, Naijun Zhan, Sergiy Bogomolov , Bican Xia
16	人机	基于姿态编码的动作识别与手势识别 Image-based Pose Representation for Action Recognition and Hand Gesture Recognition	林泽一、张维、邓小明、马翠霞、王宏安
17	人机	EmotionMap：基于隐喻地图的视频情绪可视分析 EmotionMap：Visual Analysis of Video Emotional Content on a Map	Cui-xia Ma , Jian-cheng Song, Qian Zhu, Kevin Maher, Ze-yuan Huang, Hong-an Wang
18	人机	Shallow Sand Equations：Real-Time Height Field Simulation of Dry Gtanular Flows	朱奎鑫、何小伟、李胜、王宏安、汪国平
19	人机	基于“穿越”的移动目标选择落点不确定性建模 Modeling the Endpoint Uncertainty in Crossing-based Moving Target Selection	黄进、田丰、范向民、涂华伟、张浩、彭晓兰、王宏安
20	人机	笔作为虚拟现实中输入设备的握姿评估 Get a Grip：Evaluating Grip Gesture for VR Input using a Lightweight Pen	李念龙、韩腾、黄进、田丰、孙铭会、 Pourang Irani，Jason Alexander
21	人机	基于词对主题模型和词嵌入的无数据短文本分类 Dataless Short Text Classification Based on Biterm Topic Model and Word Embeddings	Yi Yang, Hongan Wang, Jiaqi Zhu*, Yunkun Wu, Kailong Jiang, Wenli Guo , Wandong Shi
22	人机	主持人对观众状态预测信息的感知与反应：基于在线直播讲座的探索性研究 How Presenters Perceive and React to Audience Flow Prediction In-situ: An Explorative Study of Live Online Lectures	孙伟、范向民、田丰、王宏安
23	天基	保序Wasserstein鉴别分析 Order-preserving Wasserstein Discriminant Analysis	Bing Su, Jiahuan Zhou, Ying Wu
24	天基	基于注意力通信学习有效的值函数分解 Learning Effective Value Function Factorization via Attentional Communication	吴波、杨晓亚、孙楚雄、王瑞、胡晓惠
25	天基	一种从动态增长图中枚举最大二分团的有效算法 An Efficient Algorithm for Enumerating Maximal Bicliques	王蕊、廖名学、秦才霞
26	天基	基于生成式对抗网络的数据增强方法综述	苏兴哲
27	天基	基于强化学习的模型压缩	Wenming Wang, Fengge Wu, Junsuo Zhao
28	天基	高维双体量子系统的LQU下界 Lower bound of local quantum uncertainty for high-dimensional bipartite quantum systems	ShuHao Wang, Hui Li, Xian Lu, Bin Chen
29	软工	基于LoRa信号的远距离非接触感知 Exploring LoRa for Long-range Through-wall Sensing	张扶桑、金蓓弘
30	软工	DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms	Lijie Xu1, Xingtong Ye1, Kai Kang1, Tian Guo2, Wensheng Dou1, Wei Wang1, Jun Wei1
31	软工	基于启动上下文构造的Android应用多入口探索方法 Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts	燕季薇、刘昊、潘临杰、严俊、张健、梁彬
32	软工	WebRR: Self-replay enhanced robust record-and-replay for Web application testing	敖泽柳、吴国全、陈伟、魏峻
33	软工	电子表格克隆检测 Learning to Detect Table Clones in Spreadsheets	张雅坤、窦文生、朱家鑫、徐良、周志勇、魏峻、叶丹
34	软工	检测Spark应用中的缓存相关缺陷 Detecting Cache-Related Bugs in Spark Applications	李慧、王栋、黄天泽、高钰、窦文生、许利杰、王伟、魏峻、钟华
35	软工	Node.js应用中原子性违背检测 Detecting Atomicity Violation for Event-Driven Node.js Applications	常晓宁、窦文生、高钰、王杰、魏峻、黄涛
36	中文	用于嵌套命名实体识别的串到块锚点区域网络	林鸿宇、陆垚杰、韩先培、孙乐
37	中文	基于端到端多视角匹配的实体消解 End-to-End Multi-Perspective Matching for Entity Resolution	付成、韩先培、孙乐、陈波
38	中文	用于异构实体消解的层次匹配网络 Hierarchical Matching Network for Heterogeneous Entity Resolution	付成、韩先培、孙乐
39	中文	用于实体集合拓展的端到端自举网络 End-to-End Bootstrapping Neural Network for Entity Set Expansion	颜令勇、韩先培、何苯、孙乐
40	互联网	Detection of Hidden Feature Requests from Massive Chat Messages via Deep Siamese Network	石琳、邢铭哲、李明阳、王亚文、李守斌、王青
41	互联网	上下文感知的过程中的众测人员推荐 Context-aware In-process Crowdworker Recommendation	Junjie Wang, Ye Yang, Song Wang, Yuanzhe Hu, Dandan Wang, Qing Wang
42	智能	基于注意力卷积二叉神经树的细粒度视觉分类 Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization	汲如意、文龙银、张立波、独大为、武延军、赵琛、刘祥龙、黄飞跃
43	智能	VulSniper：集中注意力击败细粒度漏洞 VulSniper: Focus Your Attention to Shoot Fine-Grained Vulnerabilities	段旭、吴敬征、纪守领、芮志清、罗天悦、杨牧天、武延军
44	智能	基于LLVM的RISC-V向量扩展支持 RISC-V Vector Extension Support in LLVM	Yin Zhang, Mingjie Xing, Yanjun Wu
45	总体部	蓝雷：一种基于二级方向预测器的SGX侧信道攻击 Bluethunder: A 2-level Directional Predictor Based Side-Channel Attack against SGX	霍天霖、孟筱妮、王文浩、郝春亮、赵培、翟健、李明树
工具系统
编号	部门	题目	作者
1	软工	离线地图在公安经侦中的应用	颜复海、李培军、田申、魏克刚、许舒人
2	软工	基于层次化自动机的智能家居设备建模与运维异常定位研究	康锴、叶星彤、许利杰、王伟、魏峻
3	软工	基于服务调用追踪的异构服务集成工具	王焘、许源佳、吴恒、张文博
4	软工	基于边缘计算的智能家居系统	张康康、徐少鹏、刘璐、陈伟、魏峻
5	软工	基于领域知识图谱的Docker镜像自动构建技术	周家宏、叶宏杰、陈伟、魏峻
6	软工	WebRTS: 一种面向Web应用的动态回归测试选择工具	敖泽柳、吴国全、陈伟、魏峻
7	软工	一种基于配置的多云协作框架	花磊、汤婷、吴恒、吴悦文、许源佳，刘赫、张文博
8	天基	面向大型低轨星座的网络规划与干扰分析系统	刘帅军、任海玉、王大鹏、刘立祥
9	天基	基于云原生技术的卫星软件在轨迁移方案	林翊钧、吴凤鸽、赵军锁
10	国重	DroidMage 恶意代码检测平台	张东红(导师:张震宇)
11	国重	HolPy交互式定理证明系统	詹博华、李黎明、许润清
12	国重	QHLProver量子程序验证工具	刘君毅、詹博华、王淑灵、应圣钢、刘涛、李杨佳、应明生、詹乃军
13	软发	一带一路相关新闻全球媒体监测与分析系统	杨立、马佳佳、方明哲、孔维一
14	软发	基于图像聚类的地理专题图自动矢量化系统	杨立、马肖肖、方明哲
15	可信	恶意代码沙箱规避行为检测分析系统	闫佳、黄桦烽、杨轶、刘青芳、苏璞睿
16	可信	AOTA-Sym 比特级实时符号执行系统	杨轶、苏璞睿
17	智能	TenonStudio工业机器人离线编程仿真环境	许中兴、赵伟峰、汪达、邢明杰、武延军
18	总体部	GUI控件自动识别工具GUI-SSD	杨煌荣、陶秋铭、马恒太、韩林新
关键技术
编号	部门	题目	作者
1	并行	复杂异构计算系统HPL优化研究	黎雷生、杨文浩、马文静、张娅、赵慧、赵海涛、李会元、孙家昶
2	并行	国产曙光7000系列超级计算机上HPCG并行算法及优化技术研究	刘芳芳、王志军、汪荃、吴丽鑫、马文静、杨超、孙家昶
3	可信	面向二进制程序崩溃的多级释放后重用漏洞检测技术	和亮、苏璞睿、杨轶、闫佳、黄桦烽
4	可信	一种高度关联大数据的存储方法及管理系统	李昊、张敏、付艳艳、惠榛等
5	天基	软件定义卫星智能姿态控制	吴凤鸽、赵军锁、许轲、张剑
6	天基	射频深度学习	周鑫
7	软工	极端规模容器的高效数据推送和一致性保障	唐震、宋傲、纪树平、王伟
8	智能	T2AD: 自动驾驶的测试与测试控制表示语言	董乾、杨光、薛志云、孟令中、师源、丁明明、司宏远
系统平台
编号	部门	题目	作者
1	中文	一种简单易用的语义解析平台	安波、陈波、韩先培、孙乐
重大示范工程
编号	部门	题目	作者
1	天基	北斗卫星在轨支持系统（中科院）	朱庆猛