新闻动态
- 熊英飞副教授获得2020年NASAC青年软件创新奖 2021-01-20
- 胡振江教授在APSEC 2020上做题为“Dependable Bidirectional Programming"的主旨演... 2020-12-04
- 程序设计语言研究室在OOPSLA'20上发表加速样例编程论文 2020-11-15
- 胡振江教授当选为日本工程院外籍院士 2020-11-09
- 程序设计语言研究室在ESEC/FSE'20上发表的论文获得ACM SIGSOFT杰出论文奖 2020-08-21
- 程序设计语言研究室在PLDI'20发表交互式程序综合论文 2020-06-28
- 程序设计语言研究室在POPL'20发表浮点误差检测论文 2020-01-28
