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

海报展示

（注：以下顺序不分先后，点击名称即可查看学术海报）

学术论文
序号	实验室	名称	作者
1	基础软件与系统重点实验室	Pathwise-randomness and models of second-order arithmetic	Georgios Barmpalias
2	基础软件与系统重点实验室	EasyBC一种面向分组密码差分分析全自动安全性评估的特定领域语言	孙璞，宋富*，陈宇奇，陈涛略
3	基础软件与系统重点实验室	DeepCDCL基于冲突子句学习的神经网络验证框架	刘宗鑫，杨鹏飞，张立军，黄小炜
4	基础软件与系统重点实验室	Java程序的字符串测试数据生成	王苗苗，崔保全，燕季薇，严俊，张健
5	基础软件与系统重点实验室	基于静态事件分析的Java基础线程误用检测	崔保全，王苗苗，张弛，燕季薇，严俊，张健
6	基础软件与系统重点实验室	通过结构相似性信息进行分子图表示学习	姚成钰，黄鸿，高航，吴凤鸽，陈海明，赵军锁
7	基础软件与系统重点实验室	程序自动并行化方法	卫思为，宋顾杨，祝森林，阮若夷，祝世豪，蔡彦
8	基础软件与系统重点实验室	后门攻击下的泛化界及新算法	于立佳，张立军
9	基础软件与系统重点实验室	验证使用公共硬币的随机化共识协议	高嵩，詹博华，吴志林，张立军
10	基础软件与系统重点实验室	2S-UDF：一种新颖稳定的从多视角图像学习无向距离场重建非水密模型的方法	邓峻恺，侯飞*，陈序辉，王文成，贺英
11	基础软件与系统重点实验室	基于双重覆盖的鲁棒无符号距离场零值面提取方法	侯飞，陈序辉，王文成，秦洪，贺英
12	基础软件与系统重点实验室	Chisel算术电路设计的全部位宽一次性形式化验证方法	冯维直，刘易铖，刘嘉祥， David N. Jansen，张立军，吴志林
13	基础软件与系统重点实验室	TrajPAC：行人轨迹预测的鲁棒性验证方法	张亮*，徐星成，杨鹏飞，金高杰，黄承超，张立军
14	基础软件与系统重点实验室	三正则图上#VC和#Matching的亚指数时间下界	刘莹，陈世腾
15	基础软件与系统重点实验室	基于真实事故数据集的自动驾驶场景重建	张旭东，蔡彦
16	基础软件与系统重点实验室	带有测量不确定性的采样控制系统的可达-规避分析	吴陶然，任德金，张书源，王磊，薛白
17	基础软件与系统重点实验室	Growth and irreducibility in path-incompressible trees	Georgios Barmpalias，Xiaoyan Zhang
18	基础软件与系统重点实验室	对称#CSP在图子式封闭图上的复杂性	孟泊宁，潘祎诚
19	基础软件与系统重点实验室	Data Privacy vs.Maintainability Can We Have Both	李明煜，陈海波
20	基础软件与系统重点实验室	以耦合的自适应立方图内壁光线行进实现用于虚拟现实中体密度场的高效双目绘制	徐添辰*，任小华，杨佳乐，盛斌，吴恩华
21	基础软件与系统重点实验室	一种针对非回溯正则引擎ReDoS漏洞的有效检测方法	苏韦豪，黄鸿，李镕辰，陈海明，葛廷健
22	基础软件与系统重点实验室	建模正则表达式操作符求解正则表达式字谜	苏韦豪，陈海明，李镕辰，陈子轩
23	基础软件与系统重点实验室	基于全对称多胞体边界分析的可达集下近似计算	任德金，梁震，吴晨雨，丁建强，吴陶然，薛白
24	基础软件与系统重点实验室	检测框外的触发器：一种欺骗检测器的方法	林滔，于立佳，金高杰，李仞珏，吴鹏，张立军
25	并行软件与计算科学实验室	基于FP16加速器的新型HPL-AI方法及其在鲲鹏+昇腾AI专用平台上的实例化	曹子健，孙乔，杨文浩，宋昌成，王哲，李会元*
26	并行软件与计算科学实验室	GPA快速离散PDE特征值解法器	孙家昶, 曹建文, 张娅, 赵海涛
27	并行软件与计算科学实验室	面向GPU的高性能混合精度大规模FFT计算框架MFFT	赵玉文，刘芳芳*，马文静，李会元，彭远驰，王萃
28	集成创新中心	PSCVFinder：一种基于提示学习的智能合约漏洞检测方法	Lei Yu, Junyi Lu, Xianglong Liu, Li Yang*, Fengjun Zhang, Jiajia Ma
29	集成创新中心	基于大语言模型参数高效微调的自动化代码审查方法	陆俊逸，于磊，李晓佳，杨立*，左春
30	可信计算与信息保障实验室	机密计算平台集群节点完整性证明与监控机制	Ketong Shang, Fang Lu, Ke Huang, Yu Qin, Wei Li, Wei Feng
31	可信计算与信息保障实验室	Linux内核中的引用计数问题研究	和亮，苏璞睿，张超，蔡彦，马金鑫
32	可信计算与信息保障实验室	面向应用与函数库的全函数模糊测试	刘昱玮，王衍豪，贾相堃，张政，苏璞睿
33	可信计算与信息保障实验室	更快更易用的动态污点分析	桑倩，王衍豪，刘昱玮，贾相堃，Tiffany Bao，苏璞睿
34	可信计算与信息保障实验室	无重绕的MPC-in-the-Head 框架及其在格密码的应用	柏伟浩，陈隆，高谦文，张振峰
35	可信计算与信息保障实验室	基于序列化指标的成员推理攻击	李昊，李政，吴思源，胡呈睿，叶宇桐，张敏*，冯登国，张阳
36	基础软件国家工程研究中心	基于语义等价程序执行的符号化快速错误检测	李宇锋，2杨秋松*，2慈轶为，1,2田恩源
37	基础软件国家工程研究中心	在IC3算法泛化中预测引理	苏宇恒，杨秋松，慈轶为
38	中文信息处理实验室	沉默的螺旋：大语言模型如何扼杀信息检索？——开放域问答的案例研究	陈晓阳，何苯，林鸿宇，韩先培，王天舒，曹博希，孙乐，孙应飞
39	中文信息处理实验室	开放可执行规划：挑战与基准构建	郭世广，邓梓良，林鸿宇，陆垚杰，韩先培，孙乐
40	中文信息处理实验室	规则或故事：在与大模型交流时哪种常识表达方式更合适？	边宁，韩先培，林鸿宇，陆垚杰，何苯，孙乐
41	软件工程技术研究开发中心	基于鲁棒兴趣的去噪序列推荐	郑益源，金蓓弘，赖伟江
42	软件工程技术研究开发中心	基于UWB信号的非接触快速血压监测	王志,金蓓弘
43	软件工程技术研究开发中心	量子无线感知：原理，设计与实现	张扶桑，金蓓弘
44	软件工程技术研究开发中心	基于分布式车载声学器件的儿童存在性检测系统	苏玉琪，张扶桑，金蓓弘
45	软件工程技术研究开发中心	基于商用UWB设备的高精度测距系统	马俊麒，张扶桑，金蓓弘
46	软件工程技术研究开发中心	Word2VecBERTbmu：Classification of RISC-V Architecture Software Package Build Failures	Shitian Ma, Hui Li*, JiaxinZhu, XiaohuiHe, ShuyangZhang, JunfengZeng
47	软件工程技术研究开发中心	用于多模态讽刺检测的上下文感知双注意力网络	亢良伊，刘杰，叶丹，周志阳
48	软件工程技术研究开发中心	关系型数据库系统的事务缺陷实证研究	崔紫玉，窦文生，高钰，王栋，宋建森，郑莹莹，汪涛，杨睿，许康，胡艺馨，魏峻，黄涛
49	软件工程技术研究开发中心	元数据导向的数据库系统逻辑错误检测方法	宋建森，窦文生，高钰，崔紫玉，郑莹莹，王栋，王伟，魏峻，黄涛
50	软件工程技术研究开发中心	覆盖导向的分布式系统故障注入测试工具	冯文翰，裴求根，高钰，王栋，窦文生，魏峻，梁哲恒，龙震岳
51	软件工程技术研究开发中心	基于查询拆解的图数据库系统测试	郑莹莹，窦文生，汤磊，崔紫玉，高钰，宋建森，徐良，朱家鑫，王伟，魏峻，钟华，黄涛
52	软件工程技术研究开发中心	图数据库系统差异优化测试	郑莹莹，窦文生，汤磊，崔紫玉，宋建森，程子悦，王伟，魏峻，钟华，黄涛
53	人机交互技术与智能信息处理实验室	基于对偶粒子框架的不可压缩SPH流体仿真	刘树森, 何小伟*, 郭煜中, 常悦,王文成
54	人机交互技术与智能信息处理实验室	带有稠密对应关系的形状表示模型和无监督训练方法	张宝文，李家和，邓小明* ，张寅达* ，马翠霞，王宏安
55	人机交互技术与智能信息处理实验室	基于提示学习与自迭代逻辑规则的弱监督文本分类方法	李妙妙，朱嘉奇*，汪洋，杨翊，李依霖，王宏安
56	人机交互技术与智能信息处理实验室	基于事件相机的稀疏标注下三维人手姿态估计	蒋建平#，李家和#，张宝文，邓小明，施柏鑫
57	人机交互技术与智能信息处理实验室	基于稀疏视角的手物交互场景姿态预测和新视角生成	曲文天，崔兆鹏，张寅达，蒙宸宇，马翠霞，邓小明* ，王宏安*
58	人机交互技术与智能信息处理实验室	Perceiver-Prompt Flexible Speaker Adaptation in Whisper for Chinese Disordered Speech Recognition	江怡聪，王天资，谢旭荣，刘娟，孙伟，燕楠，陈辉，王岚，刘循英，田丰
59	智能博弈重点实验室	AutoLabel Automated Textual Data Annotation Method based on Active Learning and Large Language Model	明旭冉，李守斌，李明阳，何吕龙，王青
60	智能博弈重点实验室	Play Guessing Game with LLM：Indirect Jailbreak Attack with Implicit Clues	Zhiyuan Chang1，Mingyang Li1，Yi Liu2，Junjie Wang1#, Qing Wang1#，Yang Liu2
61	智能博弈重点实验室	SCPatcher：一种基于群智安全对话挖掘的安全编码实践增补技术	江子攸，石琳，杨国伟，王青
62	智能博弈重点实验室	基于多样性引导探索和自适应关键状态利用的多智能体系统测试方法	马序言，王亚文，王俊杰，谢肖飞，吴泊逾，李守斌，徐帆江，王青
63	智能博弈重点实验室	ClarifyGPT：通过需求澄清增强基于大模型的代码生成框架	沐方文，石琳，王松，于卓浩，张斌全，王晨雪，刘士超，王青
64	智能博弈重点实验室	崩溃转换器：自动从崩溃堆栈中复现移动应用崩溃	Yuchao Huang, Junjie Wang, Zhe Liu, Yawen Wang, Song Wang, Chunyang Chen, Yuanzhe Hu, Qing Wang
65	智能博弈重点实验室	使用大型语言模型生成用于移动应用程序崩溃检测的异常文本输入	刘哲，陈春阳，王俊杰，陈孟卓，吴泊逾，田智霖，黄悦凯，胡军，王青
66	智能博弈重点实验室	让大模型成为测试专家：通过功能感知决策将交互引入移动GUI测试	刘哲，陈春阳，王俊杰，陈孟卓，吴泊逾，车行，王丹丹，王青
67	智能博弈重点实验室	解锁文本输入：通过大模型预测移动应用程序中文本输入的提示文本	刘哲，陈春阳，王俊杰，陈孟卓，吴泊逾，黄悦凯，胡军，王青
68	智能软件研究中心	面向漏洞检测模型的强化学习式对抗攻击方法	陈思然，吴敬征，凌祥，罗天悦，刘镓煜，武延军
69	智能软件研究中心	当大型语言模型面对存储库级别自动程序修复时：它们做得如何	陈昱晓，吴敬征，凌祥，李长江，芮志清，罗天悦
70	智能软件研究中心	基于频率域的黑盒对抗样本快速生成方法	付健豪，凌祥，钱亚冠，李长江，罗天悦，吴敬征
71	智能软件研究中心	披着羊皮的狼：绕过学习型Windows恶意软件检测的实用黑盒对抗攻击	凌祥，吴至禹，王滨，邓伟，吴敬征，纪守领，罗天悦，武延军
72	智能软件研究中心	SeChain：基于国密算法的RISC-V安全启动机制设计与实现	芮志清，梅瑶，陈振哲，吴敬征，凌祥，罗天悦，武延军
73	智能软件研究中心	开源软件供应链漏洞威胁智能感知方法	王丽敏，吴敬征，武延军，芮志清，罗天悦，屈晟，杨牧天
74	智能软件研究中心	域感知检测头的提示词调优	李昊宸，张蕊，姚涵涛，宋新开，郝一帆，赵永威，李玲，陈云霁
75	智能软件研究中心	统一多粒度对齐的鲁棒域自适应目标检测算法	张立波1，周文璋1，樊恒2，罗铁坚3，李海滨4
76	天基综合信息系统全国重点实验室	经形式验证的从HCSP到C的代码生成	王淑灵，计泽坤，徐雄，詹博华，高强，詹乃军
77	天基综合信息系统全国重点实验室	Signal as Point：Deep Learning Signal Detector on Time Domain	纪承志，周鑫
78	天基综合信息系统全国重点实验室	通过课程三重一致性正则化促进半监督特定辐射源个体识别	徐清韵，刘立祥，周鑫*
79	天基综合信息系统全国重点实验室	从因果的角度重新思考图对比学习中的维度基本原理问题	戢启瑞，李江梦，胡杰，王瑞，郑昌文，徐帆江
80	天基综合信息系统全国重点实验室	通过去偏域抽象提示大规模预训练语言模型进行少样本推理	李江梦，宋飞，靳毅凡，强文文，郑昌文，孙富春，熊辉
81	天基综合信息系统全国重点实验室	引入层次拓扑同构专业知识的图对比学习方法	李江梦，靳毅凡，高航，强文文，郑昌文，孙富春
82	天基综合信息系统全国重点实验室	基于流形引导的扩散模型无偏图像生成	苏兴哲，贾贷锡，吴凤鸽，赵军锁，郑昌文，强文文
83	天基综合信息系统全国重点实验室	文本驱动的一致性三维场景生成	张菘淳，张轶博，郑权，马锐，鲍虎军，许威威，邹常青
84	天基综合信息系统全国重点实验室	通过结构相似性信息进行分子图表示学习	姚成钰，黄鸿，高航，吴凤鸽，陈海明，赵军锁
85	天基综合信息系统全国重点实验室	偏标签下节点表示学习	袁佳国，高航，吴凤鸽，赵军锁
86	天基综合信息系统全国重点实验室	图因果对比偏标签学习	袁佳国，吴凤鸽，赵军锁
87	天基综合信息系统全国重点实验室	Hacking Task Confounder in Meta-Learning	王婧瑶，任懿，宋泽恩，张健琦，郑昌文，强文文
88	天基综合信息系统全国重点实验室	面向元学习的任务采样学习	王婧瑶，强文文，苏兴哲，郑昌文，孙富春，熊辉
89	天基综合信息系统全国重点实验室	机器翻译系统公平性测试	孙泽宇，陈震鹏，张洁，郝丹

工具系统
序号	实验室	名称	作者
1	基础软件与系统重点实验室	面向开源供应链的包管理工具建模	计理强，佟祥正，张世新，燕季薇，晏荣杰，严俊
2	并行软件与计算科学实验室	Optimization of Generalized Eigensolver for Dense Symmetric Matrices on DCU	张宠，李会元
3	软件工程技术研究开发中心	面向高速流式数据的机器学习系统	秦政，吴铭钞，许利杰，王伟
4	软件工程技术研究开发中心	面向边缘时变网络的发布订阅基础服务	唐震，纪树平，王伟
5	软件工程技术研究开发中心	大模型驱动的服务型具身智能解决方案	周子涵，顾植誉，张翼飞，吴国全，魏峻
6	软件工程技术研究开发中心	人工智能模型开发运维平台	李硕，赵佳欣，付星辰，吴国全，魏峻
7	软件工程技术研究开发中心	支持多语言的软件物料清单生成工具	邓憧，邱童，业欣，陈伟，朱家鑫
8	软件工程技术研究开发中心	Linux发行版SBOM模型与SBOM生成工具	邱童，朱家鑫*，陈伟，魏峻
9	软件工程技术研究开发中心	面向RISC-V的Linux发行版迁移参考库	孟鑫，朱家鑫*，张世新，王伟
10	软件工程技术研究开发中心	面向云原生应用的混沌工程平台	郑明卓，周格林，于斯同，吴国全，魏峻
11	人机交互技术与智能信息处理实验室	PeriDyno泛动引擎项目	何小伟，常悦，郭煜中，叶子萌，任丽欣，徐力有
12	人机交互技术与智能信息处理实验室	面向神经系统疾病预警的多通道数据采集与分析平台	彭晓兰，王鑫恒，谢旭荣，盖伟，黄进，田丰
13	时空数据管理与数据科学研究中心	人名地名生僻字解决方案	刘汇丹，马龙龙，吴健，江激扬，孟岩，郑有连，陈鑫阳
14	时空数据管理与数据科学研究中心	AIOT-GSTRIA：云-边协同的时空大数据管理与分析平台	丁治明，张硕，潘远明，刘胜旺，陈新国
15	时空数据管理与数据科学研究中心	数据流驱动的机器学习模型低代码构建引擎	刘杰，黄廷磊，张亿贺，张天昊
16	时空数据管理与数据科学研究中心	NLDesign：基于自然语言的UI设计工具	刘杰，黄廷磊，张天昊，张亿贺
17	集成创新中心	智能算法测评平台	董乾，孟令中，杨光，王萌萌，薛云志

关键技术
编号	实验室	名称	作者
1	基础软件与系统重点实验室	约束求解及其应用	蔡少伟，李勇坚，初一，张昕荻，邹蒙川，陶悦，李博涵，陈志翰，马锟，贺翔，李延，赵梦宇，林鹏，钱宇航，朱凌峰，李瑾媛，陈韬宇
2	基础软件与系统重点实验室	面向基础命令工具集的系统建模	王孟晞，黄鸿，李镕辰，苏韦豪，陈海明，吕毅
3	可信计算与信息保障实验室	基于多类型特征融合的僵尸网络流量智能检测方法	黄克振，连一峰，张海霞
6	软件工程技术研究开发中心	基于行为模型的IoT系统一致性保障机制	汪涛，陈伟，刘力玮，吴国全，魏峻，黄涛
7	软件工程技术研究开发中心	数据流增强的Python函数调用图生成	刘力玮，汪涛，陈伟，魏峻，王伟，吴国全
8	软件工程技术研究开发中心	基于开源软件演化历史的RISC-V架构适配相关问题挖掘与分析技术研究	张世新, 孟鑫, 燕季薇, 严俊, 朱家鑫, 王伟
4	人机交互技术与智能信息处理实验室	一种新型实时智能计算环境	冷昶，冯一帆，刘海鹏，刘帅，郭超平，乔颖，王宏安
5	人机交互技术与智能信息处理实验室	基于大语言模型提示工程的阿尔茨海默症检测方法	郑天，谢旭荣，彭晓兰，陈辉，田丰
9	智能软件研究中心	人形机器人端到端仿真开发平台	江大勇，张珩，何小伟，施凯然，尤海霞

重大示范工程/项目
编号	实验室	名称	作者
1	并行软件与计算科学实验室	超大规模可扩展大气动力学全隐式并行模拟及示范应用	刘芳芳，王飞，李建江，马文静，陈道琨，胡怡，王萃
2	智能博弈重点实验室	项目管理信息系统	王献民，贾佳妮，杨博，张耀华，刘红蕾，常宏芳，胡军，胡渊喆*