|
| 博士生李游同学的论文获ACM SIGPLAN OOPSLA 2013最佳论文奖 |
|
| 软件工程组博士生李游同学的论文Steering Symbolic Execution to Less Traveled Paths（You Li, Zhendong Su, Linzhang Wang, Xuandong Li）获得ACM SIGPLAN International Conference on Object Oriented Programming, Systems, Languages and Applications（OOPSLA 2013）最佳论文奖。OOPSLA是程序设计语言领域顶级国际会议，也是CCF推荐A类会议。 |
|
