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
- 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.