SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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

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 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: F-4BOOPSLA at SPLASH-III +12h
Chair(s): Aviral GoelNortheastern University, Ton Chanh LeStevens Institute of Technology
13:00 - 13:20
Talk
OOPSLA
Cyril SixKalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Sylvain BoulméGrenoble Alps University / CNRS / Grenoble INP / VERIMAG, David MonniauxGrenoble Alps University / CNRS / Grenoble INP / VERIMAG
Link to publication DOI Media Attached
13:20 - 13:40
Talk
OOPSLA
Christoph SprengerETH Zurich, Tobias KlenzeETH Zurich, Marco EilersETH Zurich, Felix A. WolfETH Zurich, Peter MüllerETH Zurich, Martin ClochardETH Zurich, David BasinETH Zurich
Link to publication DOI Media Attached
13:40 - 14:00
Talk
OOPSLA
Yaniv DavidTechnion, Uri AlonTechnion, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached
14:00 - 14:20
Talk
OOPSLA
Fei HeTsinghua University, Jitao HanTsinghua University
Link to publication DOI Media Attached

Sat 21 Nov
Times are displayed in time zone: Central Time (US & Canada) change