新闻动态
- 程序设计语言实验室一篇论文被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
- 程序设计语言研究室在ICSME'21上发表的论文获得IEEE TCSE杰出论文奖 2021-11-22
- 熊英飞副教授获MODELS 2021最有影响论文奖 2021-09-13
- 程序设计语言研究室一篇论文被SAS’21录用 2021-07-22
- 程序设计语言研究室两篇论文被ESEC/FSE’21录用 2021-06-14
- 祝贺:许涵的论文“Analytical Differential Calculus with Integration”被ICALP ... 2021-05-14
- 熊英飞副教授获得2020年NASAC青年软件创新奖 2021-01-20
- 胡振江教授在APSEC 2020上做题为“Dependable Bidirectional Programming"的主旨演... 2020-12-04
- 程序设计语言研究室在OOPSLA'20上发表加速样例编程论文 2020-11-15
- 胡振江教授当选为日本工程院外籍院士 2020-11-09