新闻动态

首页 >> 新闻动态
重点实验室7篇论文入选数据库顶级会议VLDB 2023
数据库领域顶级会议VLDB 2023于2023年8月29日到9月1日在加拿大温哥华举行。在VLDB 2023上，重点实验室共有7篇高水平论文入选。VLDB 会议全称 International Conference on Very Large Data Bases，是数据库领域历史悠久的三大顶级会议 (SIGMOD、VLDB、ICDE...
2023-09-15
重点实验室生物计算团队在“构象信号协同转导DNA电路逻辑计算”方向取得重要进展
作为前瞻信息处理和未来生物技术领域中的前沿热点技术，新型DNA电路技术发展迅速。其在DNA存储、新型计算模型、基因编辑和纳米操控方面有着多种潜在应用。其中，分子构象信息作为功能信号实现复杂的信息处理受到了广泛关注。在自然界中，不同构象结构之间...
2023-09-05
重点实验室郭耀教授团队荣获2023年ACM国际软件测试与分析会议（ISSTA 2023）杰出论...
重点实验室操作系统实验室郭耀教授团队近年来在泛在软件安全分析领域，围绕静态符号执行等方向开展了一系列深入研究。最新成果以题为 “Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries” 的论文发...
2023-08-30
操作系统实验室在系统安全领域取得重要突破
北京大学计算机学院操作系统实验室长期从事泛在计算环境下的操作系统安全相关研究，2023年上半年以来，实验室在系统溯源分析（provenance analysis）、攻击检测与防护、AI系统安全等方面取得了一系列突破性成果，共有6篇论文被S&P、CCS（2篇）、Usenix Sec...
2023-07-08
重点实验室9篇论文入选数据库顶级会议ACM SIGMOD 2023
近日，数据库领域顶级会议ACM SIGMOD 2023于2023年6月18-23日在美国西雅图举行。在SIGMOD 2023上，北京大学计算机学院共有9篇高水平论文入选。作为数据库系统领域历史最为悠久也是最为权威的学术会议，一年一度的 ACM SIGMOD 会议是数据管理研究人员、从业...
2023-07-05
首页上页1...45678...73下页尾页

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education