Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Mon 2 Dec 2019 13:30 - 14:00 at Bali Room - Program Analysis Chair(s): Annabelle McIver

Widening ensures or accelerates convergence of an analysis, and sometimes contributes a guarantee of soundness that would otherwise be absent. In this paper we propose a generalised view of widening, in which widening operates on values that are not necessarily elements of the given abstract domain, although they must be in a correspondence, the details of which we spell out. We show that the new view generalizes the traditional view, and that at least three distinct advantages flow from the generalization. First, it gives a handle on ``compositional safety'', the problem of creating widening operators for product domains. Second, it adds a degree of flexibility, allowing us to define variants of widening, such as delayed widening, without resorting to intrusive surgery on an underlying fixpoint engine. Third, it adds a degree of robustness, by making it difficult for an analysis implementor to make certain subtle (syntactic vs semantic) category mistakes. The paper supports these claims with examples. Our proposal has been implemented in a state-of-the-art abstract interpreter, and we briefly report on the changes that the revised view necessitated.

Mon 2 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00: Program AnalysisResearch Papers at Bali Room
Chair(s): Annabelle McIverMacquarie University
13:30 - 14:00
Dissecting Widening: Separating Termination from Information
Research Papers
14:00 - 14:30
A Type-Based HFL Model Checking Algorithm
Research Papers
Youkichi HosoiThe University of Tokyo , Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
14:30 - 15:00
Reducing Static Analysis Alarms based on Non-impacting Control Dependencies
Research Papers
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology