新闻动态
- 程序设计语言研究室在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
- 程序设计语言研究室在ESEC/FSE'20上发表的论文获得ACM SIGSOFT杰出论文奖 2020-08-21
- 程序设计语言研究室在PLDI'20发表交互式程序综合论文 2020-06-28
- 程序设计语言研究室在POPL'20发表浮点误差检测论文 2020-01-28
