Yi Li bio photo

Yi Li

Associate Professor

College of Computing and Data Science (CCDS)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID

Our paper, “EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software” [1], have won an ACM SIGSOFT Distinguished Paper Award at ASE’23. These were among the ten Distinguished Paper Awards selected from the 134 accepted papers (out of 629 submissions).

References

  1. Zhang, Y., Xie, X., Li, Y., Chen, S., Zhang, C., & Li, X. (2023). EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 686–697.