新闻动态
- 聚焦可信开发框架，共话双向计算未来 —— “双向计算及其应用”专题研讨会成功召开 2025-12-11
- 程序设计语言研究室本科生孔启皓荣获国家自然科学基金资助 2025-12-09
- 程序设计语言研究室博士生 Dimitris Bouras 荣获国家自然科学基金资助 2025-12-02
- 程序设计语言实验室两篇论文被ICSE'26接收 2025-11-13
- 王迪团队获 OOPSLA 2025 杰出论文奖 2025-10-21
- 胡振江团队获 ICFP 2025 杰出论文奖 2025-10-21
- 程序设计语言实验室两篇论文被ASE'25接收 2025-10-13
- 程序设计语言实验室一篇论文被ICFP'25接收 2025-10-13
- 程序设计语言实验室四篇论文被OOPSLA'25接收 2025-10-13
- 程序设计语言实验室一篇论文被ACL'25接收 2025-07-13
- 程序设计语言实验室一篇论文被TSE'25接收 2025-07-13
- 程序设计语言实验室一篇论文被ICSE'25接收 2025-05-13
- 北京大学计算机学院熊英飞老师当选“ACM杰出会员” 2025-03-13
- 程序设计语言实验室一篇论文被AAAI'25接收 2025-02-13
- 程序设计语言实验室一篇论文被TOSEM'25接收 2025-02-13
- 程序设计语言实验室一篇论文被POPL'25接收 2024-12-09
- 朱琪豪博士论文入选2024年中国计算机学会软件工程专业委员会博士学位论文激励计划 2024-11-29
- 程序设计语言实验室五篇论文被OOPSLA'24接收 2024-10-09
- 程序语言实验室一篇论文获 ECOOP'24 最佳论文奖 2024-09-24
- 程序语言实验室论文被 FM'24 接受 2024-08-06
