Software Verification Lab

The following paper, authored by Zhe Chen and his team, has won an ACM SIGSOFT Distinguished Paper Award.

Congratulations!

Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue. Detecting Memory Errors at Runtime with Source-Level Instrumentation. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019), July 15-19, 2019, Beijing, China, pp. 341-351. ACM, 2019. (ACM SIGSOFT Distinguished Paper Award)