• 软件所团队获2025年开放原子大赛混元3D模型水密化处理挑战赛冠军 2026-01-14
• 软件所提出基于相似度引导的RISC-V处理器模糊测试方法 2025-12-23
• 软件所参加2025年软件与系统工程标准化大会 2025-12-19
• 国家重点研发计划“高风险领域生成式人工智能系统内容安全检测技术与标准研究”项目年度研讨会在软件所召开 2025-12-18
• 软件所提出基于信息论的大模型强化学习微调框架 2025-10-23
• 软件所提出知识驱动的模糊测试驱动生成框架 2025-10-23
• 软件所提出基于RISC-V指令集的异构计算系统 2025-10-16
• 澜湄次流域重大虫媒传染病防控知识图谱平台在老挝万象发布 2025-09-30
• 软件所智能博弈重点实验室研究团队荣获ACL 2025会议SAC Highlights奖 2025-08-26
• 软件所在符号模型检测方面取得系列进展 2025-08-04
• 软件所提出面向复杂广域场景的图像语义理解新方法 2025-07-23
• 软件所在语言虚拟机内存管理方面取得两项成果 2025-07-23
• 软件所在SAT求解器的FPGA实现和RISC-V处理器设计验证领域取得进展 2025-07-16
• 软件所与法国INRIA合作提出面向混成和移动系统的进程演算 2025-07-04
• 软件所提出基于胞腔复形的自监督拓扑深度学习新方法 2025-07-03
• 软件所提出面向信息物理融合系统的扩展AADL建模和分析方法 2025-07-03
• 软件所文件缓存系统崩溃一致性保障工作荣获ACM SIGMETRICS 2025最佳学生论文奖 2025-06-30
• 软件所在数据库系统质量保障方面取得系列进展 2025-06-04
• 软件所天基综合信息系统全国重点实验室多篇论文被ICML 2025录用 2025-05-28
• 软件所提出小批量数据采样策略 提升自监督学习分布外泛化能力 2025-05-23