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

海报展示

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

编号	实验室	题目（注：点击题目即可查看学术海报）	作者	类型
2023001	计算机科学	基于GPU的代数自适应有向距离场 Algebraic Adaptive Signed Distance Field on GPU	Lixin Ren, Shusen Liu, Xiaowei He, Yuzhong Guo, Enhua Wu	学术论文
2023002	计算机科学	ParKissat: 基于变元序随机扰动和预处理的SAT并行求解器 ParKissat: Random Shuffle Based and Pre-processing Extended Parallel Solvers with Clause Sharing	张昕荻，陈志翰，蔡少伟	工具系统
2023003	计算机科学	基于深度注册的嵌入式图像合成 Image Composition with Depth Registration	李赞、王文成、侯飞	学术论文
2023004	计算机科学	基于FFT的非矩形域上泊松方程高效求解方法及其应用 FFT-based Efficient Poisson Solver in Non-Rectangular Domain	王雨秾，侯飞*，王文成	学术论文
2023005	计算机科学	带无界循环的可微分量子编程 Differentiable Quantum Programming with Unbounded Loops	方望、应明生、伍骁迪	学术论文
2023006	计算机科学	适用于多模块量子程序的测试流程	龙沛洵* 赵建军	关键技术
2023007	计算机科学	针对非线性整数约束的位展开方法改进 Improving Bit-Blasting for Nonlinear Integer Constraints	贾富琦, 韩瑞, 黄沛, 刘明昊, 马菲菲, 张健	学术论文
2023008	计算机科学	Simulation-Based Validation for Autonomous Driving Systems	Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang	学术论文
2023009	计算机科学	CHA：Chisel语言的类SVA时序断言扩展及形式验证关键技术	于世禛，董一凡，李勇，吴志林，杨大卫，张立军	关键技术
2023010	计算机科学	量子信道的酉性估计 Unitarity estimation for quantum channels	陈柯安，王启圣，龙沛洵，应明生	学术论文
2023011	计算机科学	并发对象可线性化检测工具VeriLin VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects	贾巧雯吕毅吴鹏詹博华郝继锋叶宏王超	学术论文
2023012	计算机科学	Randomness below complete theories of arithmetic	George Barmpalias	学术论文
2023013	计算机科学	RISC-V处理器Chisel设计指令集一致性形式验证关键技术	刘易铖申世东冯维直吴志林张立军	关键技术
2023014	计算机科学	含噪量子线路的近似模拟算法 Approximation Algorithm for Noisy Quantum Circuit Simulation	黄鸣宇官极方望应明生	学术论文
2023015	计算机科学	兼容控制流变化的精确数据竞争检测技术 Tolerate Control-Flow Changes for Sound Data Race Prediction	祝世豪、郭宇琪、张龙、蔡彦	学术论文
2023016	计算机科学	基于可达-规避分析的模型预测控制 Model Predictive Control with Reach-avoid Analysis	Dejin Ren, Wanli Lu , Jidong Lv, Lijun Zhang and Bai Xu	学术论文
2023017	智能	RISC-V架构下OpenHarmony生态建设	郑森文朱伟陈美汝戴研吴敬征武延军	重大示范工程/项目
2023018	智能	HiLog:OpenHarmony的高性能日志系统 HiLog:A High Performance Log System of OpenHarmony	吴圣垚, 王枫, 武延军, 凌祥, 屈晟, 罗天悦, 吴敬征	学术论文
2023019	智能	异构多协处理器环境下图计算与图神经网络系统	张珩，宦成颖，武延军	学术论文
2023020	智能	语言条件任务上的概念化强化学习框架	彭少辉，胡杏，张蕊，郭家明，易琦，陈睿智，杜子东，李玲，郭崎，陈云霁	学术论文
2023021	智能	大规模开源软件许可证冲突风险分析实证研究 An Empirical Study of License Conflict in Free and Open Source Software	崔星吴敬征武延军王旭罗天悦屈晟凌祥杨牧天	学术论文
2023022	智能	基于代码聚类的PyPI软件仓库恶意软件包检测方法 A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering	梁文韬凌祥吴敬征罗天悦武延军	学术论文
2023023	协同	TrajPAC：行人轨迹预测模型的鲁棒性验证方法 TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models	张亮*，徐星成，杨鹏飞，金高杰，黄承超，张立军	学术论文
2023024	协同	开放环境下的可信智能算法	张立军, 陈恒威*, 李仞珏, 罗云翔, 程络, 何奇松, 朱美霖, 甘涛, 秦天航, 徐星成, 韩绍航, 金高杰, 李权忠	重大示范工程/项目
2023025	天基	星链星座追踪分析与日报生成平台		工具系统
2023026	天基	利用 Retinex 分解和混合曲线估计进行零样本自适应低光增强 Zero-shot Adaptive Low Light Enhancement with Retinex Decomposition and Hybrid Curve Estimation	夏玉萍，徐帆江，郑权	学术论文
2023027	天基	从条件因果关系的角度看知识蒸馏在小样本目标检测中的应用 Disentangle and Remerge: Interventional Knowledge Distillation for Few-Shot Object Detection from A Conditional Causal Perspective	李江梦，张雅楠，强文文，司凌宇，焦程波，胡晓惠，郑昌文，孙富春	学术论文
2023028	天基	基于多模态信息融合表征的智能博弈决策技术	李凯、王瑞、孙楚雄、辛逸飞、侯坤、刘健、王海波	关键技术
2023029	天基	基于原子对比的弱监督视频时刻定位 Atomic-action-based Contrastive Network for Weakly Supervised Temporal Language Grounding		学术论文
2023030	天基	星链网络研判分析系统	刘帅军、徐帆江、刘立祥、严文励	工具系统
2023031	天基	Offline Reinforcement Learning with Uncertainty Critic Regularization Based on Density Estimation	李超、吴凤鸽、赵军锁	学术论文
2023032	天基	Exploiting ResNeXt with Convolutional Shortcut for Signal Modulation Classification at Low SNRs	谷媛媛，周鑫	学术论文
2023033	天基	可逆神经网络校正可变程度的光学像差 Neural invertible variable-degree optical aberrations correction	崔爽，王炳楠，郑权*	学术论文
2023034	天基	一种基于极化散射特性和对抗学习的极化SAR图像无监督分类方法 A Polarimetric Scattering Characteristics Guided Adversarial Learning Approach for Unsupervised PolSAR Image Classification	董洪伟，司凌宇，强文文，缪吴霞，郑昌文，吴玉泉，张腊梅	学术论文
2023035	天基	针对混杂效应的鲁棒因果图表示学习 Robust Causal Graph Representation Learning against Confounding Effects	高航，李江梦，强文文，司凌宇，徐冰，郑昌文，孙富春	学术论文
2023036	天基	基于语义指导的掩码用于学习掩码自编码器 Semantic-Guided Masking for Learning Masked Autoencoders	Gang Li, Heliang Zheng, Daqing Liu, Chaoyue Wang, Bing Su, Changwen Zheng	学术论文
2023037	天基	基于元维度掩码的自监督表示学习方法 MetaMask: Revisiting Dimensional Confounder for Self-Supe	李江梦，强文文，张雅楠，莫文怡，郑昌文，苏冰，熊辉	学术论文
2023038	天基	面向跨粒度小样本学习的元注意力生成网络	强文文，李江梦，苏冰，傅建龙，熊辉，文继荣	学术论文
2023039	智能博弈	《变形记》：移动应用程序缩放问题的自动检测 The Metamorphosis: Automatic Detection of Scaling Issues for Mobile Apps	苏宇辉，陈春阳，王俊杰，刘哲，王丹丹，李守斌，王青	学术论文
2023040	智能博弈	基于多模态数据对齐融合的智能化数据服务系统	胡渊喆* ，王韶涵，刘红蕾，常宏芳，王青，胡军*	工具系统
2023041	智能博弈	基于对抗域适应的跨域需求链接 Cross-Domain Requirements Linking via Adversarial-based Domain Adaptation	常志远，李明阳，王青，李守斌，王俊杰	学术论文
2023042	智能博弈	上下文感知的移动应用缺陷自动复现技术 Context-aware Bug Reproduction for Mobile Apps	Yuchao Huang, Junjie Wang, Zhe Liu, Song Wang, Chunyang Chen, Mingyang Li, Qing Wang	学术论文
2023043	智能博弈	利用多轮改写机制的代码注释生成方法 Automatic Comment Generation via Multi-Pass Deliberation	沐方文，陈啸，石琳，王松，王青	学术论文
2023044	智能博弈	开发者意图驱动的代码注释生成 Developer-Intent Driven Code Comment Generation	沐方文，陈啸，石琳，王松，王青	学术论文
2023045	智能博弈	面向国产软硬件的基准测试云平台	王青李守斌李明阳胡军	国家重大工程
2023046	智能博弈	软件研制过程管理工具	王丹丹、胡渊喆、李守斌、胡军	工具系统
2023047	智能博弈	啄木鸟：自动化识别并修复移动应用程序的界面显示缺陷 Woodpecker: Identifying and Fixing Android UI Display Issues	刘哲	科研奖励
2023048	智能博弈	一叶知秋：通过图卷积神经网络自动化增强App的活动转移图 Ex pede Herculem: Augmenting Activity Transition Graph for Apps via GCN	Zhe Liu , Chunyang Chen , JunjieWang, Yuhui Su, Yuekai Huang, Jun Hu, Qing Wang	学术论文
2023049	智能博弈	完形填空：上下文驱动的移动应用程序文本输入自动生成 Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing	Zhe Liu , Chunyang Chen , JunjieWang, Xing Che, Yuekai Huang, Jun Hu, Qing Wang	学术论文
2023050	人机	Projective Peridynamic Modeling of Hyperelastic Membranes with Contact	Zixuan Lu, Xiaowei He, Yuzhong Guo, Xuehui Liu, Huamin Wang	学术论文
2023051	人机	为处于斜倚与躺姿的VR用户探索直立重定向运动方法 Exploring Locomotion Methods with Upright Redirected Views for VR Users in Reclining & Lying Positions	罗天任蔡晨阳赵艺雯樊亚春潘志庚韩腾* 田丰	学术论文
2023052	人机	互联网上弱监督文本分类的持续学习方法 Continual Learning for Weakly Supervised Text Classification on the Internet	Miaomiao Li, Jiaqi Zhu, Xin Yang, Yi Yang, Qiang Gao and Hongan Wang	学术论文
2023053	人机	形状自适应的“三高斯”模型：任意形状的移动目标选择不确定性建模 Shape-Adaptive Ternary-Gaussian Model: Modeling Pointing Uncertainty for Moving Targets of Arbitrary Shapes	张浩，黄进*，涂华伟，田丰	学术论文
2023054	人机	基于场景草图的细粒度视频检索 Fine-Grained Video Retrieval With Scene Sketches	Ran Zuo, Xiaoming Deng, Keqi Chen, Zhengming Zhang, Yu-Kun Lai, Fang Liu,Cuixia Ma, Hao Wang, Yong-Jin Liu*, Hongan Wang	学术论文
2023055	人机	A Simple Approach to Animating Virtual Characters by Facial Expressions Reenactment	白泽琛，姚乃明，刘璐，陈辉*，王宏安	学术论文
2023056	人机	基于姿势引导对齐的循环迭代三维人手姿态估计方法 Recurrent 3D Hand Pose Estimation using Cascaded Pose-guided 3D Alignments	邓小明, 左德鑫, 张寅达, 崔兆鹏,程坚,谭平,常亮	学术论文
2023057	人机	面向装备的实时智能计算平台技术	冷昶、冯一帆、刘海鹏、刘帅、郭超平、乔颖、王宏安	关键技术
2023058	可信	堆操作序列敏感的模糊测试 HTFuzz: Heap Operation Sequence Sensitive Fuzzing	Yuanping Yu, Xiangkun Jia, Yuwei Liu, Yanhao Wang, Qian Sang, Chao Zhang and Purui Su	学术论文
2023059	可信	基于诱骗图像和文本双模态学习的宏恶意代码检测 DitDetector: Bimodal Learning based on Deceptive Image and Text for Macro Malware Detection	Jia Yan, Ming Wan, Xiangkun Jia, Lingyun Ying, Purui Su, Zhanyi Wang	学术论文
2023060	可信	动态完整性度量系统	冯伟李为秦宇	工具系统
2023061	可信	x86指令架构可打印shellcode的最小信息冗余度生成算法 Least Information Redundancy Algorithm of Printable Shellcode Encoding for x86	周园丁张阳，程亮	学术论文
2023062	可信	欺诈网站分析验证工具	黄克振张海霞连一峰	工具系统
2023063	可信	FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting on Binaries	和亮，胡宏，苏璞睿，蔡彦，梁振凯	学术论文
2023064	数科	姓名生僻字与PUACleaner	刘汇丹马龙龙吴健江激扬孟岩	工具系统
2023065	数科	云边协同智能物联网生态监测系统	潘远明糜宏斌	工具系统
2023066	数科	云边协同卫星大脑	丁治明，张硕，潘远明，戴上军，刘胜旺，糜宏斌	工具系统
2023068	数科	SCD到AD转化的预警和干预智能平台	刘杰黄廷磊段伟韩啸宇张天昊	重大示范工程/项目
2023069	软工	基于消费级UWB设备的细粒度无线感知 Embracing Consumer-level UWB-equipped Devices for Fine-grained Wireless Sensing	张扶桑，金蓓弘	学术论文
2023070	软工	异构GPU上面向截止时间与效率的深度学习任务调度 Hydra: Deadline-aware and Efficiency-oriented Scheduling	杨紫超，吴恒，许源佳，吴悦文，钟华，张文博	学术论文
2023071	软工	为未见过的深度学习模型选择接近最优的配置：一种快速适配搜索方法 Serving Unseen Deep Learning Models with Near-Optimal Configurations: a Fast Adaptive Search Approach	吴悦文，吴恒，罗钓寒，许源佳，胡艺，张文博，钟华	学术论文
2023072	软工	覆盖导向的分布式系统故障注入测试 Coverage Guided Fault Injection for Cloud Systems	高钰，窦文生，王栋，冯文翰，魏峻，钟华，黄涛	学术论文
2023073	软工	Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set	燕季薇，王苗苗，刘烨庞，严俊，张龙	学术论文
2023074	软工	基于UWB信号的心电图监测 ECG-grained Cardiac Monitoring Using UWB Signals	王志，金蓓弘	学术论文
2023075	软工	基于差分语句执行的数据库逻辑缺陷检测方法 Testing Database Systems via Differential Query Execution	宋建森，窦文生，崔紫玉，戴千旺，王伟，魏峻，钟华，黄涛	学术论文
2023076	软工	映射字典导向的64位ARM到RISC-V汇编翻译	贾金成，孟鑫，朱家鑫* ，唐震，王伟	工具系统
2023077	软工	面向RISC-V的Linux发行版软件包迁移任务规划工具	杜佶蔓, 朱家鑫*, 李慧, 陈伟, 许立杰, 刘杰	工具系统
2023078	软工	基于查询拆解的图数据库系统测试	郑莹莹	关键技术
2023079	软工	RDF图数据库的随机差分测试 Randomized Differential Testing of RDF Stores	杨睿,郑莹莹,汤磊,窦文生,王伟,魏峻	学术论文
2023080	软工	模型检查制导的分布式系统测试方法 Model Checking Guided Testing for Distributed Systems	王栋，窦文生，高钰，吴陈傲，魏峻，黄涛	学术论文
2023081	软工	基于事务预言构建检测隔离缺陷 Detecting Isolation Bugs via Transaction Oracle Construction	窦文生崔紫玉戴千旺宋建森王栋高钰王伟魏峻陈磊王瀚墨钟华黄涛	学术论文
2023082	软工	数据库事务差分测试 Differentially Testing Database Transactions for Fun and Profit	崔紫玉窦文生戴千旺宋建森王伟魏峻叶丹	学术论文
2023083	软工	基于内存的高性能流式数据处理技术	曾鸿斌吴铭钞王毅	关键技术
2023084	软工	面向边缘弱网环境的发布订阅系统	唐震，纪树平，王伟	工具系统
2023085	软工	Deep Situation-aware Interaction Network for Click-Through Rate Prediction	吕亦敏金蓓弘郁乙嵩	学术论文
2023086	软工	面向云边协同的FaaS工作流系统	刘璐、高浩城、陈伟、吴国全、魏峻	工具系统
2023087	软工	基于知识的智能家居自动化应用冲突检测 Detecting Smart Home Automation Application Conflicts with Domain Knowledge	汪涛,陈伟,刘力玮,吴国全,魏峻,黄涛	关键技术
2023088	软工	基于历史事件日志挖掘的智能家居场景TAP规则生成 Generating Scenario-Centric TAP Rules for Smart Homes by Mining Historical Event Logs	刘力玮,陈伟,汪涛,王伟,吴国全,魏峻	学术论文
2023089	集成	AUMENA: 一种基于提示学习的方法命名自动化方法	Jie Zhu, Lingwei Li, Li Yang*, Xiaoxiao Ma, Chun Zuo	学术论文
2023090	集成	神经网络鲁棒性度量评估平台	董乾，杨光，薛云志，孟令中，师源，王鹏淇	工具系统
2023091	集成	集群核心算法测评系统	马钰锡、王鹏淇、杨光、师源、陈贺、任红萍、李瑞、杨玉宽	工具系统
2023092	并行	以太坊闪电贷攻击检测 Detecting Flash Loan Based Attacks in Ethereum	夏清, 黄智榕, 窦文生, 张亚丰, 张凤军, 梁赓, 左春	学术论文
2023093	并行	SW26010Pro众核处理器上矩阵分解函数优化框架 An Optimized Framework for Matrix Factorization on the New Sunway Many-core Platform	马文静，刘芳芳*，陈道琨，路青霖，胡怡，王鸿森，袁欣辉	学术论文
2023094	并行	图神经网络可以学习求解MaxSAT问题吗？ Can Graph Neural Networks Learn to Solve the MaxSAT Problem?	刘明昊, 黄沛, 贾富琦, 张帆, 孙宇辰, 蔡少伟, 马菲菲, 张健	学术论文
2023095	智能	知识图谱引导下的视频描述生成 Text with Knowledge Graph Augmented Transformer for Video Captioning	XinGu, GuangChen ,YufeiWang ,LiboZhang ,TiejianLuo ,LongyinWen	学术论文