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

We have a technical paper [1] and a tool demonstration paper [2] accepted at ASE’23. The technical paper presents a practical method for detecting no-termination bugs in real-world software systems. While loop termination has been studied for many years, existing methods have limited scalability and are only effective on small programs. Our technique, EndWatch, is shown more effective than the state-of-the-art tools on standard benchmarks (detecting 87% of non-terminating programs while the best baseline detects only 67%), and useful in detecting non-termination in real-world projects (detecting 90% of known non-termination CVEs and 4 unknown bugs). In the second paper, we introduce a new dataset, CompSuite, which includes 123 real-world incompatibility issues. CompSuite is made available online and a video demostration can be found below.

CompSuite Demo Video

This year, 103 out of 629 submissions were accepted (another 31 were conditionally accepted) at ASE, which gives an acceptance rate of 21%.

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.
  2. Xu, X., Zhu, C., & Li, Y. (2023, September). CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues. Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE).