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

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
F-4BOOPSLA at SPLASH-III +12h
Chair(s): Aviral Goel Northeastern University, Ton Chanh Le Stevens Institute of Technology
13:00
20m
Talk
Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
OOPSLA
Cyril Six Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, David Monniaux Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Link to publication DOI Media Attached
13:20
20m
Talk
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
OOPSLA
Christoph Sprenger ETH Zurich, Tobias Klenze ETH Zurich, Marco Eilers ETH Zurich, Felix A. Wolf ETH Zurich, Peter Müller ETH Zurich, Martin Clochard ETH Zurich, David Basin ETH Zurich
Link to publication DOI Media Attached
13:40
20m
Talk
Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs
OOPSLA
Yaniv David Technion, Uri Alon Technion, Eran Yahav Technion
Link to publication DOI Pre-print Media Attached
14:00
20m
Talk
Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
OOPSLA
Fei He Tsinghua University, Jitao Han Tsinghua University
Link to publication DOI Media Attached

Sat 21 Nov

Displayed time zone: Central Time (US & Canada) change