新闻动态 小组研究成果被体系结构顶级会议 ASPLOS 2027 接收 Oct 09, 2026 ACM ASPLOS（International Conference on Architectural Support for Programming Languages and Operating... 小组研究成果被数据库顶级会议SIGMOD 2027接收 Sep 30, 2026 ACM SIGMOD（International Conference on Management of Data）是数据库领域历史最悠久、影响力最大的顶级国际学术会议，与 VLDB、ICDE 并称为... 小组研究成果被EuroSys 2027接收 Sep 30, 2026 EuroSys（European Conference on Computer Systems）是计算机系统领域的重要国际学术会议之一，长期关注操作系统、分布式系统、云计算以及人工智能系统等方向的前沿... 小组研究成果被ATC2027接收 Sep 28, 2026 研究团队针对操作系统服务中资源依赖复杂、深层缺陷难以触发的问题，提出了一种资源状态感知的模糊测试方法，构建测试框架 RAIF，用于检测通过进程间通信（IPC）提供功能的系统服务中的潜在缺陷。 该研究《... 小组研究成果被IEEE会议S&P 2027接收 Sep 28, 2026 IEEE Symposium on Security and Privacy（S&P）是网络和系统安全领域的顶级国际学术会议，每年汇集来自学术界和工业界的大量研究人员和从业人员，与 CCS、U... 小组研究成果被ACM会议CCS 2026接收 Jul 24, 2026 清华大学软件学院安全保障小组研究成果 “Accio: Detecting Privilege Escalation Vulnerabilities in DBMS via Minimum Privil... 小组研究成果被EMSOFT 2026接收 Jul 23, 2026 ACM SIGBED International Conference on Embedded Software（EMSOFT）是嵌入式软件领域的重要国际学术会议之一，长期关注嵌入式软件设计、分析、验... 小组研究成果被 IEEE TSE 接收 Jul 22, 2026 清华大学软件学院安全保障小组研究成果 “GATES: Accelerating Solving-Based Testing Through Adaptive Solving and Guided Ex... 清华大学软件系统安全保障小组一项研究成果被 USENIX Security 2026 接收 Jun 12, 2026 USENIX Security Symposium 是网络与系统安全领域的重要国际学术会议之一，长期关注系统安全、软件安全、硬件安全、网络攻防、隐私保护与自动化漏洞检测等方向的前沿研究。2026 年，... 清华大学软件系统安全保障小组两项研究成果被 OOPSLA 2026 接收 Mar 30, 2026 OOPSLA（Object-Oriented Programming, Systems, Languages, and Applications）是程序语言与软件系统领域的重要国际学术会议之一，长期关... 小组研究成果被IEEE/ACM会议ESEC/FSE 2026接收 Mar 28, 2026 ESEC/FSE是软件工程领域顶尖学术会议，该会议每年汇集了来自学术界和工业界的研究人员和从业人员，重点关注软件工程各个领域的实际应用。 FSE2026会议将于2026年7月5日（星期日）至7月9日（... 小组两项研究成果被ACM会议SIGMOD 2026接收 Mar 20, 2026 国际数据管理会议SIGMOD（ACM SIGMOD International Conference on Management of Data），是数据库和数据管理领域最具权威性的三大会议之一，与其... 小组两项研究成果被第63届ACM/IEEE DAC 2026接收 Mar 19, 2026 Design Automation Conference（DAC）是芯片设计自动化、电子系统设计与验证领域的顶级国际会议之一，每年汇集来自学术界和工业界的大量研究人员和从业人员，重点关注设计自动化、设... 小组成员喻泽弘入选2025年度中国电子学会硕士学位论文激励计划 Mar 17, 2026 中国电子学会硕士学位论文激励计划，旨在推动电子信息领域的技术进步与创新，促进电子信息领域青年科技人才担当作为、求实创新、潜心研究，在实现高水平科技自立自强和建设科技强国、人才强国实践中建功立业。 小... 小组研究成果被ACM会议EuroSys 2026接收 Feb 04, 2026 EuroSys（European Conference on Computer Systems）是计算机系统领域的国际顶级会议之一，长期关注操作系统、分布式系统、云计算与大规模系统工程等前沿方向。Eu... 小组研究成果被IEEE/ACM会议ESEC/FSE 2026接收 Jan 15, 2026 ESEC/FSE是软件工程领域顶尖学术会议，该会议每年汇集了来自学术界和工业界的研究人员和从业人员，重点关注软件工程各个领域的实际应用。 FSE2026会议将于2026年7月5日（星期日）至7月9日（... 小组研究成果被IEEE/ACM会议ICSE 2026接收 Oct 27, 2025 ICSE（International Conference on Software Engineering）是软件工程领域的国际顶级学术会议，每年汇集来自学术界与工业界的众多研究人员与从业者，与ASE... 小组研究成果被ACM会议EuroSys 2026接收 Oct 13, 2025 The European Conference on Computer Systems (EuroSys) 是系统领域旗舰会议，也是中国计算机学会推荐的 A 类会议，与SOSP、OSDI和ATC并称为... 小组研究成果被IEEE会议S&P 2026接收 Oct 11, 2025 IEEE Symposium on Security and Privacy (S&P) 是网络和系统安全领域的顶级学术会议，每年汇集来自学术界和工业界的大量研究人员和从业人员，与 CCS、U... 小组研究成果被IEEE/ACM会议ASE 2025接收 Sep 30, 2025 IEEE/ACM International Conference on Automated Software Engineering (ASE)是自动化软件工程的顶级学术会议，每年汇集来自学术界和工... 小组两项研究成果被ACM会议SIGMOD 2026接收 Aug 30, 2025 国际数据管理会议SIGMOD（ACM SIGMOD International Conference on Management of Data），是数据库和数据管理领域最具权威性的三大会议之一，与其... 小组两项研究成果被IEEE/ACM会议ASE 2025直接接收 Aug 22, 2025 IEEE/ACM International Conference on Automated Software Engineering (ASE) 是自动化软件工程的顶级学术会议，每年汇集来自学术界和... 小组研究成果被ACM会议SOSP 2025接收 Jul 16, 2025 清华大学软件系统安全保障小组研究成果 “Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verificat... 小组研究成果被IEEE/ACM会议ICSE 2026接收 Jul 07, 2025 清华大学软件系统安全保障小组研究成果“Synthesizing Hardware-Specific Instructions for Efficient Code Generation of Simu... 小组两项研究成果被USENIX会议ATC 2025接收 May 23, 2025 清华大学软件系统安全保障小组研究成果“CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via A... 小组成员马福辰入选2024年度中国电子学会博士学位论文激励计划 Mar 15, 2025 中国电子学会博士学位论文激励计划，旨在推动电子信息领域的技术进步与创新，促进电子信息领域青年科技人才担当作为、求实创新、潜心研究，在实现高水平科技自立自强和建设科技强国、人才强国实践中建功立业。 小组... 小组两项研究成果被第62届ACM/IEEE DAC 2025接收 Mar 13, 2025 Design Automation Conference（DAC）由IEEE与ACM联合主办，是集成电路辅助设计和嵌入式系统领域的国际顶级会议，迄今已有62年的历史，主要关注芯片、电路以及系统设计的新... 小组研究成果被ACM期刊TOSEM接收 Feb 19, 2025 清华大学软件系统安全保障小组研究成果“SnapCC: Effective File System Consistency Testing Using Systematic State Explorat... 小组研究成果被USENIX会议Security 2025接收 Feb 11, 2025 清华大学软件系统安全保障小组研究成果 Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Opera... 小组研究成果被ACM会议FSE 2025接收 Feb 06, 2025 清华大学软件系统安全保障小组研究成果 Ransomware Detection Through Temporal Correlation Between Encryption and I/O Beha... 小组一项研究成果被IEEE/ACM会议ICSE 2025接收 Jan 23, 2025 清华大学软件系统安全保障小组研究成果 Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs 被IE... 小组两项研究成果被ACM会议ISSTA 2025接收 Dec 30, 2024 ISSTA是软件测试和分析方向的高水平会议（CCF A类），2025年投稿文章553篇，直接接收文章23篇、major revision参与文章92篇，直接接收率4.16%。该会议每年汇集了来自学术界... 小组研究成果被IEEE/ACM会议ICSE(SEIP) 2025接收 Dec 29, 2024 清华大学软件系统安全保障小组研究成果“ Sunflower: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation”被会议... 课题组成员罗正雄获得ACM China优博提名奖 Dec 25, 2024 ACM China “优秀博士论文奖”（以下简称“优博奖”）是 ACM 在中国设立的奖项，旨在表彰中国计算机领域的博士生所取得的研究成果，并进一步推动青年学者在科研领域的发展和进步。每年评选出不超过 ... 小组成员任萌的学位论文入选CCF区块链专委优秀硕士学位论文激励计划 Dec 08, 2024 CCF区块链专委优秀硕士学位论文激励计划，旨在进一步推动区块链领域高水平创新人才培养工作，促进青年人才成长。 任萌硕士的学位论文《智能合约安全开发测试环境的研究与实现》入选2024年度CCF区块链专委... 小组两项研究成果被EuroSys 2025接收 Sep 29, 2024 The European Conference on Computer Systems (EuroSys) 是系统领域旗舰会议，也是中国计算机学会推荐的 A 类会议，与SOSP、OSDI和ATC并称为... 小组研究成果被ACM会议CCS 2024接收 Sep 19, 2024 清华大学软件系统安全保障小组研究成果 “Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing” ... 小组成员苏卓的学位论文入选CCF形式化方法博士学位论文激励计划 Sep 09, 2024 CCF形式化方法博士学位论文激励计划，旨在加强形式化方法领域高层次创造性人才的培养工作，鼓励创新精神，提高形式化方法领域博士生教育的质量，激励年轻学者做出更多的优秀成果，表彰做出成果的年轻学者而设立。... 小组研究成果获USENIX Security’24杰出论文奖 Sep 04, 2024 2024年8月，在美国举办的第33届USENIX安全研讨会（USENIX Security '24）上，清华大学软件学院副教授姜宇及其课题组发表了题为“基于数据覆盖率的导向式模糊测试（Data Cov...
新闻动态 小组研究成果被体系结构顶级会议 ASPLOS 2027 接收 Oct 09, 2026 ACM ASPLOS（International Conference on Architectural Support for Programming Languages and Operating... 小组研究成果被数据库顶级会议SIGMOD 2027接收 Sep 30, 2026 ACM SIGMOD（International Conference on Management of Data）是数据库领域历史最悠久、影响力最大的顶级国际学术会议，与 VLDB、ICDE 并称为... 小组研究成果被EuroSys 2027接收 Sep 30, 2026 EuroSys（European Conference on Computer Systems）是计算机系统领域的重要国际学术会议之一，长期关注操作系统、分布式系统、云计算以及人工智能系统等方向的前沿... 小组研究成果被ATC2027接收 Sep 28, 2026 研究团队针对操作系统服务中资源依赖复杂、深层缺陷难以触发的问题，提出了一种资源状态感知的模糊测试方法，构建测试框架 RAIF，用于检测通过进程间通信（IPC）提供功能的系统服务中的潜在缺陷。 该研究《... 小组研究成果被IEEE会议S&P 2027接收 Sep 28, 2026 IEEE Symposium on Security and Privacy（S&P）是网络和系统安全领域的顶级国际学术会议，每年汇集来自学术界和工业界的大量研究人员和从业人员，与 CCS、U... 小组研究成果被ACM会议CCS 2026接收 Jul 24, 2026 清华大学软件学院安全保障小组研究成果 “Accio: Detecting Privilege Escalation Vulnerabilities in DBMS via Minimum Privil... 小组研究成果被EMSOFT 2026接收 Jul 23, 2026 ACM SIGBED International Conference on Embedded Software（EMSOFT）是嵌入式软件领域的重要国际学术会议之一，长期关注嵌入式软件设计、分析、验... 小组研究成果被 IEEE TSE 接收 Jul 22, 2026 清华大学软件学院安全保障小组研究成果 “GATES: Accelerating Solving-Based Testing Through Adaptive Solving and Guided Ex... 清华大学软件系统安全保障小组一项研究成果被 USENIX Security 2026 接收 Jun 12, 2026 USENIX Security Symposium 是网络与系统安全领域的重要国际学术会议之一，长期关注系统安全、软件安全、硬件安全、网络攻防、隐私保护与自动化漏洞检测等方向的前沿研究。2026 年，... 清华大学软件系统安全保障小组两项研究成果被 OOPSLA 2026 接收 Mar 30, 2026 OOPSLA（Object-Oriented Programming, Systems, Languages, and Applications）是程序语言与软件系统领域的重要国际学术会议之一，长期关... 小组研究成果被IEEE/ACM会议ESEC/FSE 2026接收 Mar 28, 2026 ESEC/FSE是软件工程领域顶尖学术会议，该会议每年汇集了来自学术界和工业界的研究人员和从业人员，重点关注软件工程各个领域的实际应用。 FSE2026会议将于2026年7月5日（星期日）至7月9日（... 小组两项研究成果被ACM会议SIGMOD 2026接收 Mar 20, 2026 国际数据管理会议SIGMOD（ACM SIGMOD International Conference on Management of Data），是数据库和数据管理领域最具权威性的三大会议之一，与其... 小组两项研究成果被第63届ACM/IEEE DAC 2026接收 Mar 19, 2026 Design Automation Conference（DAC）是芯片设计自动化、电子系统设计与验证领域的顶级国际会议之一，每年汇集来自学术界和工业界的大量研究人员和从业人员，重点关注设计自动化、设... 小组成员喻泽弘入选2025年度中国电子学会硕士学位论文激励计划 Mar 17, 2026 中国电子学会硕士学位论文激励计划，旨在推动电子信息领域的技术进步与创新，促进电子信息领域青年科技人才担当作为、求实创新、潜心研究，在实现高水平科技自立自强和建设科技强国、人才强国实践中建功立业。 小... 小组研究成果被ACM会议EuroSys 2026接收 Feb 04, 2026 EuroSys（European Conference on Computer Systems）是计算机系统领域的国际顶级会议之一，长期关注操作系统、分布式系统、云计算与大规模系统工程等前沿方向。Eu... 小组研究成果被IEEE/ACM会议ESEC/FSE 2026接收 Jan 15, 2026 ESEC/FSE是软件工程领域顶尖学术会议，该会议每年汇集了来自学术界和工业界的研究人员和从业人员，重点关注软件工程各个领域的实际应用。 FSE2026会议将于2026年7月5日（星期日）至7月9日（... 小组研究成果被IEEE/ACM会议ICSE 2026接收 Oct 27, 2025 ICSE（International Conference on Software Engineering）是软件工程领域的国际顶级学术会议，每年汇集来自学术界与工业界的众多研究人员与从业者，与ASE... 小组研究成果被ACM会议EuroSys 2026接收 Oct 13, 2025 The European Conference on Computer Systems (EuroSys) 是系统领域旗舰会议，也是中国计算机学会推荐的 A 类会议，与SOSP、OSDI和ATC并称为... 小组研究成果被IEEE会议S&P 2026接收 Oct 11, 2025 IEEE Symposium on Security and Privacy (S&P) 是网络和系统安全领域的顶级学术会议，每年汇集来自学术界和工业界的大量研究人员和从业人员，与 CCS、U... 小组研究成果被IEEE/ACM会议ASE 2025接收 Sep 30, 2025 IEEE/ACM International Conference on Automated Software Engineering (ASE)是自动化软件工程的顶级学术会议，每年汇集来自学术界和工... 小组两项研究成果被ACM会议SIGMOD 2026接收 Aug 30, 2025 国际数据管理会议SIGMOD（ACM SIGMOD International Conference on Management of Data），是数据库和数据管理领域最具权威性的三大会议之一，与其... 小组两项研究成果被IEEE/ACM会议ASE 2025直接接收 Aug 22, 2025 IEEE/ACM International Conference on Automated Software Engineering (ASE) 是自动化软件工程的顶级学术会议，每年汇集来自学术界和... 小组研究成果被ACM会议SOSP 2025接收 Jul 16, 2025 清华大学软件系统安全保障小组研究成果 “Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verificat... 小组研究成果被IEEE/ACM会议ICSE 2026接收 Jul 07, 2025 清华大学软件系统安全保障小组研究成果“Synthesizing Hardware-Specific Instructions for Efficient Code Generation of Simu... 小组两项研究成果被USENIX会议ATC 2025接收 May 23, 2025 清华大学软件系统安全保障小组研究成果“CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via A... 小组成员马福辰入选2024年度中国电子学会博士学位论文激励计划 Mar 15, 2025 中国电子学会博士学位论文激励计划，旨在推动电子信息领域的技术进步与创新，促进电子信息领域青年科技人才担当作为、求实创新、潜心研究，在实现高水平科技自立自强和建设科技强国、人才强国实践中建功立业。 小组... 小组两项研究成果被第62届ACM/IEEE DAC 2025接收 Mar 13, 2025 Design Automation Conference（DAC）由IEEE与ACM联合主办，是集成电路辅助设计和嵌入式系统领域的国际顶级会议，迄今已有62年的历史，主要关注芯片、电路以及系统设计的新... 小组研究成果被ACM期刊TOSEM接收 Feb 19, 2025 清华大学软件系统安全保障小组研究成果“SnapCC: Effective File System Consistency Testing Using Systematic State Explorat... 小组研究成果被USENIX会议Security 2025接收 Feb 11, 2025 清华大学软件系统安全保障小组研究成果 Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Opera... 小组研究成果被ACM会议FSE 2025接收 Feb 06, 2025 清华大学软件系统安全保障小组研究成果 Ransomware Detection Through Temporal Correlation Between Encryption and I/O Beha... 小组一项研究成果被IEEE/ACM会议ICSE 2025接收 Jan 23, 2025 清华大学软件系统安全保障小组研究成果 Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs 被IE... 小组两项研究成果被ACM会议ISSTA 2025接收 Dec 30, 2024 ISSTA是软件测试和分析方向的高水平会议（CCF A类），2025年投稿文章553篇，直接接收文章23篇、major revision参与文章92篇，直接接收率4.16%。该会议每年汇集了来自学术界... 小组研究成果被IEEE/ACM会议ICSE(SEIP) 2025接收 Dec 29, 2024 清华大学软件系统安全保障小组研究成果“ Sunflower: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation”被会议... 课题组成员罗正雄获得ACM China优博提名奖 Dec 25, 2024 ACM China “优秀博士论文奖”（以下简称“优博奖”）是 ACM 在中国设立的奖项，旨在表彰中国计算机领域的博士生所取得的研究成果，并进一步推动青年学者在科研领域的发展和进步。每年评选出不超过 ... 小组成员任萌的学位论文入选CCF区块链专委优秀硕士学位论文激励计划 Dec 08, 2024 CCF区块链专委优秀硕士学位论文激励计划，旨在进一步推动区块链领域高水平创新人才培养工作，促进青年人才成长。 任萌硕士的学位论文《智能合约安全开发测试环境的研究与实现》入选2024年度CCF区块链专委... 小组两项研究成果被EuroSys 2025接收 Sep 29, 2024 The European Conference on Computer Systems (EuroSys) 是系统领域旗舰会议，也是中国计算机学会推荐的 A 类会议，与SOSP、OSDI和ATC并称为... 小组研究成果被ACM会议CCS 2024接收 Sep 19, 2024 清华大学软件系统安全保障小组研究成果 “Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing” ... 小组成员苏卓的学位论文入选CCF形式化方法博士学位论文激励计划 Sep 09, 2024 CCF形式化方法博士学位论文激励计划，旨在加强形式化方法领域高层次创造性人才的培养工作，鼓励创新精神，提高形式化方法领域博士生教育的质量，激励年轻学者做出更多的优秀成果，表彰做出成果的年轻学者而设立。... 小组研究成果获USENIX Security’24杰出论文奖 Sep 04, 2024 2024年8月，在美国举办的第33届USENIX安全研讨会（USENIX Security '24）上，清华大学软件学院副教授姜宇及其课题组发表了题为“基于数据覆盖率的导向式模糊测试（Data Cov...
