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

海报展示

（以下排名顺序不分先后）

编号	实验室	作者	中文名称		英文名称	海报类型
1	软工	张扶桑，金蓓弘	基于LoRa信号的无传感器土壤湿度检测	Sensor-free Soil Moisture Sensing Using LoRa Signals		学术论文
2	智能	段旭，吴敬征，杜梦男，罗天悦，杨牧天，武延军			MultiCode: A Unified Code Analysis Framework based on Multi-type and Multi-granularity Semantic Learning	学术论文
3	互联网	黄悦凯，王俊杰，王松，刘哲，王丹丹，王青			Characterizing and Predicting Good First Issues	学术论文
4	可信	冯伟，李为，秦宇	嵌入式可信防护系统			工具系统
5	人机	奴力夏提·芒尼可，姚鹤斌，郑毅，石剑，乔颖，何小伟	面向自由表面流模拟的半解析式表面张力模型		Semi-Analytical Surface Tension Model for Free Surface Flows	学术论文
6	软工	Yuanjia Xu, Heng Wu, Wenbo Zhang, Yi Hu			Efficient Operator Partition for Deep Learning Inferece on Edge Servers	学术论文
7	并行	路青霖			GFFT:A Computational Graph based FFT Library	工具系统
8	国重	Zhen Zhang, Peng Wu, Yuhang Chen, and Jing Su			Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions	学术论文
9	软工	邹逸，方相，许利杰，王伟	面向CockRoachDB分布式数据库的查询级别参数调优工具			工具系统
10	互联网	江子攸，石琳*，Celia Chen，沐方文，张煜旻，王青	基于用户意图编码和互学习的对话解耦技术		MUIDIAL: Improving Dialogue Disentanglement with Intent-Based Mutual Learning	学术论文
11	国重	王少东，马帅，赵辉，王文成	基于多重网格的调和可测叶状结构快速生成		A multigrid approach for generating harmonic measured foliations	学术论文
12	国重	王少东，王文成，赵辉	基于叶状结构生成三维模型的Reeb图		Using Foliation Leaves to Extract Reeb Graphs on Surfaces	学术论文
13	中文	曹博希，林鸿宇,韩先培,刘方超,孙乐	提示符可以用于探测预训练语言模型吗？从因果角度理解其潜在的风险			学术论文
14	中文	徐若曦,林鸿宇,廖梦,韩先培,徐进,谭维,孙应飞,孙乐	ECO v1：以事件为中心的观点挖掘			学术论文
15	中文	陈家慰,刘庆,林鸿宇,韩先培,孙乐	用自描述网络进行少样本命名实体识别		Few-shot Named Entity Recognition with Self-describing Networks	学术论文
16	中文	刘方超,林鸿宇,韩先培,曹博希,孙乐	面向统一低样本关系抽取的匹配预训练		Pre-training to Match for Unified Low-shot Relation Extraction	学术论文
17	中文	Jialong Tang, Hongyu Lin, Meng Liao, Yaojie Lu,Xianpei Han, Le Sun, Weijian Xie, Jin Xu	场景图演化的过程性文本理解		Procedural Text Understanding via Scene-wise Evolution	学术论文
18	智能	郑森文，吴圣垚，贾振兴，王枫，陈美汝，朱伟	鸿蒙操作系统全栈系统及解决方案构建			工具系统
19	智能	中国科学院软件研究所、中科南京软件技术研究院联合攻关团队	开源软件供应链重大基础设施			重大示范工程/项目
20	智能	芮志清，常逐阳，武延军，罗天悦，朱琳，吴敬征	基于RISC-V的工业机器人安全增强装置			重大示范工程/项目
21	软发	Huaxi Jiang, Jie Zhu, Li Yang*, Geng Liang, Chun Zuo	DeepRelease：一种语言无关的发布说明自动生成方法			学术论文
22	可信	李昊,张敏,曹书瑜,陈亚青等	一种面向轨迹的匿名用户身份识别技术			关键技术
23	国重	胡杰、吴梓恒、谭俊恺、吴恩华等	基于弹性连接的二值神经网络		Elastic-Link for Binarized Neural Network	学术论文
24	国重	章新，晏荣杰，燕季薇，崔保全，严俊，张健	面向Python内置类型缺陷的数据集ExcePy		ExcePy: A Python Benchmark for Bugs with Python Built-in Types	学术论文
25	人机	程坚，万炎广，左德鑫，马翠霞，古鉴，谭平，王宏安，邓小明，张寅达	基于虚拟视角选择的三维人手姿势估计		Efficient Virtual View Selection for 3D Hand Pose Estimation	学术论文
26	互联网	Yawen Wang, Junjie Wang, Hongyu Zhang, Xuran Ming, Lin Shi, Qing Wang	用户在抱怨App的哪些问题？		Where is Your App Frustrating Users?	学术论文
27	互联网	石琳，沐方文，陈啸，王松，王俊杰，杨叶，李戈，夏鑫，王青	论数据质量在代码注释自动生成中的重要性		Are We Building on the Rock? On the Importance of Data Preprocessing for Code Summarization	学术论文
28	互联网	石琳，沐方文，张昱旻，杨叶，陈俊杰，陈啸，蒋涵芝，江子攸，王青	面向开发者沟通记录的缺陷报告自动合成		BugListener: Identifying and Synthesizing Bug Reports from Collaborative Live Chats	学术论文
29	人机	邓小明，朱玉影，张寅达，崔兆鹏，谭平，曲文天，马翠霞，王宏安	基于弱监督学习的单张深度图像三维人手外形恢复		Weakly Supervised Learning for Single Depth-Based Hand Shape Recovery	学术论文
30	国重	李昌文，郑志弘，孙天天，陈宇航，晏荣杰	ComOpT：基于组合与优化方法的自动驾驶系统测试工具		ComOpT: COMbination and Optimization for Testing autonomous driving systems	学术论文
31	国重	朱铭健，韩凯，吴恩华	动态分辨率卷积网络		Dynamic Resolution Network	学术论文
32	国重	韩凯，吴恩华	用于不同硬件的轻量神经网络		GhostNets on Heterogeneous Devices via Cheap Operations	学术论文
33	国重	韩凯，吴恩华	基于结构嵌套的视觉Transformer网络		Transformer in Transformer	学术论文
34	智能	凌祥等	基于层次化图神经网络的鲁棒Windows恶意软件检测		MalGraph: Hierarchical Graph Neural Networks for Robust Windows Malware Detection	学术论文
35	智能	Wenqi Zhang, Kai Zhao, Peng Li, Xiao Zhu, Yongliang Shen, Yanna Ma, Yingfeng Chen and Weiming Lu	基于感知、决策和推理闭环机制的仿人导航		A Closed-Loop Perception, Decision-Making and Reasoning Mechanism for Human-Like Navigation	学术论文
36	智能	刘丹	基于视觉的远距离手势识别与交互			工具系统
37	可信	Yuwei Liu, Yanhao Wang, Purui Su, Yuanping Yu and Xiangkun Jia	发现并修复基于覆盖率的灰盒模糊测试中的插桩错误		InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing	学术论文
38	国重	马旭桐1，燕季薇，王伟，严俊2，张健3，裘宗燕	通过追踪C++智能指针的堆内存管理机制进行内存相关错误的检测		Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers	学术论文
39	国重	Yeting Li, Haiming Chen, Zixuan Chen			Learning DMEs and DGMEs From Both Positive and Negative Examples	学术论文
40	国重	Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao	RegexScalpel:一种基于定位-修复的正则表达式拒绝服务(ReDoS)防御方法		RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix	学术论文
41	并行	Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang	词语级鲁棒性加强：用扰动打败扰动		Word Level Robustness Enhancement: Fight Perturbation with Perturbation	学术论文
42	国重	储翌尧，王文成*，李雷	增强主要特征捕捉的三维模型曲线骨架提取		Robustly Extracting Concise 3D Curve Skeletons by Enhancing the Capture of Prominent Features	学术论文
43	软工	燕季薇，张世新，刘烨庞，严俊，张健	ICCBot:高效的Android ICC解析工具		ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications	学术论文
44	可信	Yingzi Gao，Yuan Lu，Zhenliang Lu§，Qiang Tang§，Jing Xu*，Zhenfeng Zhang			Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency	学术论文
45	可信	连一峰，张海霞，黄克振	网络安全数据中台			工具系统
46	国重	Radu Curticapean, 夏盟佶	完美匹配数目在无K8图子式时仍#P难		Parameterizing the Permanent: Hardness for fixed excluded minors 5th Symposium on Simplicity in Algorithms	学术论文
47	国重	蔡彦、云昊、王金秋	精确高效的并发缺陷统一动态检测技术		Sound and Efficient Concurrency Bug Prediction	学术论文
48	软工	唐震，李京龙，王伟	基于持久内存的数据库事务处理机制优化			关键技术
49	互联网	Zhe Liu , Chunyang Chen , Junjie Wang, Yuekai Huang, Jun Hu, Qing Wang	缺陷消消乐：通过视觉提示帮助测试人员测试安卓应用程序		Guided Bug Crush: Assist Manual GUI Testing of Android Apps via Hint Moves	学术论文
50	国重	徐雄,王淑灵,詹博华,金翔宇, Jean-Pierre Talpin,詹乃军	基于AADL+Simulink/Stateflow的CPS组合建模、分析与验证			学术论文
51	软工	Yuhang Chen1,2,, Chih-Hong Cheng3,, Jun Yan1,2,4, and Rongjie Yan2,4			Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions	学术论文
52	智能	Congcong Li, Tiejian Luo, Libo Zhang, Yanjun Wu	基于压缩视频学习的端到端通用事件边界检测		End-to-End Compressed Video Representation Learning for Generic Event Boundary Detection	学术论文
53	智能	Wenzhang Zhou1 Libo Zhang1,2*, Tiejian Luo1, Yanjun Wu	自适应多粒度对齐的目标检测方法		Multi-Granularity Alignment Domain Adaptation for Object Detection	学术论文
54	软工	叶宏杰，陈伟，窦文生，吴国全，魏峻	基于知识的Python程序环境依赖推断		Knowledge-Based Environment Dependency Inference for Python Programs	学术论文
55	人机	张宝文，王雁刚，邓小明，张寅达，谭平，马翠霞，王宏安	交互状态下的双手姿态与形状估计		Interacting Two-Hand 3D Pose and Shape Reconstruction from Single Color Image	学术论文
56	国重	刘君毅,周立, Gilles Barthe,应明生	量子程序期望运行时间的量子最弱前置条件推理		Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs	学术论文
57	国重	Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, and Lijun Zhang			Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition	学术论文
58	软工	Hui Li, Shuping Ji, Hua Zhong, Wei Wang, Lijie Xu,Zhen Tang, Jun Wei, Tao Huang	LPW:一种面向Spark的高效缓存替换优化策略		LPW: An Efficient Data-Aware Cache Replacement Strategy for Apache Spark	学术论文
59	并行	闫碧莹,杨超,陈峰	FDNet：一种双路编码的短临降雨预报深度学习方法		FDNet: A Deep Learning Approach with Two Parallel Cross Encoding Pathways for Precipitation Nowcasting	学术论文
60	人机	罗天任，贺振轩，蔡晨阳，韩腾*，潘志庚，田丰	探索VR直立重定向对斜倚与躺姿用户造成的多感官冲突影响		Exploring Sensory Conflict Effect Due to Upright Redirection While Using VR in Reclining & Lying Positions	学术论文
61	智能	王伯英，张立波，文龙银，刘祥龙，武延军	面向真实场景的违禁物品检测		Towards Real-World Prohibited Item Detection: A Large-Scale X-ray Benchmark	学术论文
62	软工	高钰,王栋,戴千旺,窦文生,魏峻	共用数据导向的分布式系统失效注入			学术论文
63	软工	王栋，高钰，窦文生，魏峻	面向分布式系统的通用污点追踪工具		DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems	学术论文
64	软工	郑莹莹，窦文生，汪钇丞，秦政，汤磊，高钰，王栋，王伟，魏峻	图数据库系统随机差分测试		Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing	学术论文
65	软工	汪涛，许清鑫，常晓宁，窦文生，朱家鑫，谢锦辉，邓月堂，杨建波，杨家恒，魏峻，黄涛	微信小程序缺陷研究与检测		Characterizing and Detecting Bugs in WeChat Mini-Programs	学术论文
66	互联网	Junjie Wang, Yuchao Huang, Song Wang, Qing Wang	基于差分测试的静态分析工具的缺陷检测		Find Bugs in Static Bug Finders	学术论文
67	软工	Zhiyu Zhang, Hao Zeng, Tao Wang, Wenbo Zhang			Adaptive Auto-Scaling of Delay-Sensitive Serverless Services with Reinforcement Learning	学术论文
68	可信	杨轶，苏璞睿	ReWrite-Fuzz：基于二进制代码重写的导向Fuzzing系统			工具系统
69	人机	王宏安，冷昶，王忠平，章程，彭华	一种驾驶舱平台实时任务调控技术			关键技术
70	软工	田浩翔，蒋燕，吴国全，鄢继仁，魏峻，陈伟，李硕，叶丹			MOSAT: Finding Safety Violations of Autonomous Driving Systems Using Multi-Objective Genetic Algorithm	学术论文
71	互联网	常志远，李明阳，王俊杰，王青，李守斌			Putting Them under Microscope: A Fine-grained Approach for Detecting Redundant Test Cases in Natural Language	学术论文
72	国重	丁建强，薛白	PyBDR:基于Python语言开发的边界可达性分析工具			工具系统
73	协同	Chao Tian			Incremental Graph Computations	学术论文
74	人机	Kevin Maher, Zeyuan Huang, Jiancheng Song, Xiaoming Deng, Yu-Kun Lai, Cuixia Ma, Hao Wang, Yong-Jin Liu, Hongan Wang	探索激励性演讲情感及有效性的可视分析系统		E-ffective: A Visual Analytic System for Exploring the Emotion and Effectiveness of Inspirational Speeches	学术论文
75	国重	任德金，赵常源，薛白	BdryReach: 基于边界计算的可达集计算工具			工具系统
76	可信	闫佳，黄桦烽，苏璞睿，王梓博	工控网络流量沙箱检测系统			工具系统
77	互联网	刘哲	啄木鸟：通过计算机视觉检测并修复安卓界面显示缺陷		Woodpecker: Identifying and Fixing Android UI Display Issues	科研奖励
78	国重	崔炳轶，张龙，张震宇	使用测试用例排序技术增强DNN鲁棒性			学术论文
79	软工	郁乙嵩，金蓓弘，宋嘉庚，李贝贝，郑益源	基于位置纠偏的短视频推荐模型		Improving Micro-video Recommendation by Controlling Position Bias	学术论文
80	国重	Shaowei Cai, Bohan Li, Xindi Zhang			Local Search For SMT on Linear Integer Arithmetic	学术论文
81	软工	丁昊，向雨新，朱家鑫，窦文生，魏峻	面向npm的第三方开源软件风险分析工具			工具系统
82	并行	田卓，张常有，高清南，丁天乐	面向高端装备创新设计的CAE高效求解器			工具系统
83	国重	侯飞，王驰誉，王文成	未知点云法向量的迭代泊松曲面重建		Iterative Poisson Surface Reconstruction (iPSR) for Unoriented Points	学术论文
84	国重	陈韬略，Matthew Hague，韩志磊，胡登杭，Alejandro Flores Lamas，Anthony W. Lin，阚双龙，Philipp Ruemmer，吴志林			Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables	学术论文
85	智能	Heng Zhang, Lingda Li, Hang Liu, Donglin Zhuang, Rui Liu, Chengying Huan, Shuang Song, Dingwen Tao, Yongchao Liu, Charles He, Yanjun Wu, Shuaiwen Leon Song			Bring Orders into Uncertainty: Enabling Efficient Uncertain Graph Processing via Novel Path Sampling on Multi-Accelerator Systems	学术论文
86	国重	李杨佳	互不交并行量子程序的证明系统			学术论文
87	软工	李贝贝，金蓓弘，宋嘉庚，郁乙嵩，郑益源	基于对比多兴趣的短视频推荐模型		Improving Micro-video Recommendation via Contrastive Multiple Interests	学术论文
88	协同	Xiaolin Chen, Shuai Zhou, Bei Guan, Kai Yang, Yongji Wang	一种高效可解释的联邦集成树推理框架		Fed-EINI: An Efficient and Interpretable Inference Framework for Decision Tree Ensembles in Federated Learning	学术论文
89	协同	昝道广，关贝，王永吉等	提升预训练生成模型在第三方代码库的性能		CERT: Continual Pre-Training on Sketches for Library-Oriented Code Generation	学术论文
90	国重	张立军	智能系统可靠性形式验证技术			关键技术
91	天基	杜大钊	用于动作分割的高效变压器模型			关键技术
92	天基	韩泽瑞，周鑫	基于时频分析的通信号检测技术			关键技术
93	天基	Wenwen Qiang, Jiangmeng Li, Changwen Zheng, Bing Su, Hui Xiong			Interventional Contrastive Learning with Meta Semantic Regularizer	学术论文
94	天基	Jiangmeng Li, Wenwen Qiang, Changwen Zheng, Bing Su, Hui Xiong			MetAug: Contrastive Learning via Meta Feature Augmentation	学术论文
95	天基	刘帅军，胡海龙，陈静怡，程蕾，王大鹏，刘立祥	面向大型低轨星座的体系效能评估系统			工具系统
96	天基	吴科余，吴凤鸽，赵军锁	基于飞腾FT-2000计算板的卫星信号处理软件优化策略		Research on Optimization Strategy of Satellite Signal Processing Software based on Feiteng FT-2000 Computing Board	学术论文
97	天基	Quan Zheng, Gurprit Singh, Hans -Peter Seidel	可重光照的参与介质神经渲染		Neural Relightable Participating Media Rendering	学术论文
98	天基	Mengyu Chu, Lingjie Liu, Quan Zheng, Erik Franz, Hans -Peter Seidel, Peter Seidel, Christian Theobalt, Rhaleb Zayer	物理信息神经场的基于稀疏数据烟雾重建		Physics Informed Neural Fields for Smoke Reconstruction with Sparse Data	学术论文
99	天基	朱庆猛，朱全文，张奇林，粱健，杨建伟，何玉秋，梁国政，朱家蒙，温一川，刘燕芳	天智数据中台			工具系统
100	天基	潘优美，王鹏	基于多目标粒子群算法的卫星任务规划			关键技术
101	天基	于中楠，王鹏，高杨	卫星可视化任务规划平台			工具系统
102	天基	李锦文，王鹏，潘优美	自适应边界点仿真采样算法			关键技术
103	天基	林翊钧*，吴凤鸽，赵军锁	基于单应性估计的视觉行为决策研究			学术论文
104	天基	王瑞，周楷杰，张梦雅，贾丽娜，刘浩，靳毅凡，夏宇	基于开源数据的重点目标智能分析系统			工具系统
105	天基	俞文武，杨晓亚，李海昌，王瑞，胡晓惠	面向多智能体协作的注意力意图与交流学习方法			学术论文
106	人机	黄进, John J. Dudley, Stephen Uzor,武栋, Per Ola Kristensson,田丰	虚拟现实中深度运动目标获取用户表现建模		Understanding User Performance of Acquiring Targets with Motion-in-depth in Virtual Reality	学术论文
107	软发	Lingwei Li, Li Yang*, Huaxi Jiang, Jun Yan, Tiejian Luo, Zihan Hua, Geng Liang, Chun Zuo	AUGER：基于预训练模型的代码审查意见自动生成方法			学术论文