SPLASH 2020 (series) / OOPSLA /
Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
Fri 20 Nov 2020 14:00 - 14:20 at SPLASH-III - F-4B Chair(s): Aviral Goel, Ton Chanh Le
Sat 21 Nov 2020 02:00 - 02:20 at SPLASH-III - F-4B
Sat 21 Nov 2020 02:00 - 02:20 at SPLASH-III - F-4B
Research on program termination has a long tradition. However, most of the existing techniques target a single program only. We propose in this paper an incremental termination analysis approach by reusing certified modules across different program versions. A transformation-based procedure is further developed to increase the reusability of certified modules. The proposed approach has wide applicability, applicable to various program changes. The proposed technique, to the best of our knowledge, represents a novel attempt to the termination analysis of evolving programs. We implemented the approach on top of \textsc{Ultimate Automizer}. Experimental results show dramatic improvement of our approach over the state-of-the-art tool.
Fri 20 NovDisplayed time zone: Central Time (US & Canada) change
Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change
Sat 21 NovDisplayed time zone: Central Time (US & Canada) change
Sat 21 Nov
Displayed time zone: Central Time (US & Canada) change