新闻动态
- 北京大学计算机学院熊英飞老师当选“ACM杰出会员” 2025-03-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
- 程序设计语言实验室一篇论文被POPL'24接收 2023-11-29
- 程序设计语言实验室一篇论文被OOPSLA'23接收 2023-10-16
- 熊英飞副教授获得电子学会自然科学一等奖 2023-04-02
- 程序设计语言实验室两篇论文被OOPSLA'23接收 2023-02-25
- 程序设计语言实验室两篇论文被ICSE'23接收 2022-12-09
- 程序设计语言研究室一篇论文被POPL’23接收 2022-12-01
- 程序设计语言研究室2020级博士生吉如一荣获“微软学者”奖学金 2022-10-07
- 王迪助理教授加入程序设计语言研究室 2022-09-01
- 程序设计语言研究室一篇论文被ASE'22录用 2022-08-16
- 软件工程领域顶级会议ICSE’22近日公布论文录用名单，程序设计语言研究室三篇论文... 2022-03-04
- 熊英飞副教授获得CCF-IEEE CS青年科学家奖 2022-02-22
