新闻动态
- 程序设计语言实验室两篇论文被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
- 程序语言实验室孙奕灿同学的论文获 STOC'24 最佳论文奖 2024-08-06
- 程序语言实验室一篇论文被 PLDI'24 接收 2024-03-29
- 程序语言实验室一篇论文被 TOPLAS 接收 2024-01-26
