• Formal Verification of eBPF interpreter and Just-In-Time compiler2024-11-20
• 党支部实践活动——红色背篓教育基地&周口店遗址科学家纪念园参观学习2024-11-15
• Automated Auditing of Blockchain Smart Contracts Using Large Language Models2024-11-12
• 基础软件与系统重点实验室（中国科学院）第一届学术委员会第一次会议成功召开2024-11-08
• 实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）2024-11-03
• 中国科学院软件研究所基础软件与系统重点实验室招聘启事2024-10-18
• 司马台古北水镇（工会活动）2024-10-18
• 实验室成功举办SETTA学术会议2024-10-18
• 第一届学术委员会第一次会议成功召开2024-10-18
• 欢送退休人员茶话会2024-10-03
• 党支部书记、委员工作职责（初订）2024-09-29
• 党支部活动请假制度（初订）2024-09-29
• 中国科学院党组传达学习全国教育大会精神2024-09-26
• Proof of Proof offers Universal Verifiable Computing by Correct-by-Construction ZKP Generation for All Programming Languages2024-09-15
• 中国科学院召开2024年京区党建工作推进会2024-09-14