Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Fri 18 Jan 2019 10:35 - 10:57 at Sala II - Abstract Interpretation Chair(s): David Naumann

The fundamental idea of Abstract² Interpretation (A²I), also called meta-abstract interpretation, is to apply abstract interpretation to abstract inter-pre-ta-tion-based static program analyses. A²I is generally meant to use abstract interpretation to analyse properties of program analysers. A²I can be either offline or online. Offline A²I is performed either before the program analysis, such as variable packing used by the Astrée program analyser, or after the program analysis, such as in alarm diagnosis. Online A²I is performed during the program analysis, such as Venet’s cofibred domains or Halbwachs et al.’s and Singh et al.’s variable partitioning techniques for fast polyhedra/numerical abstract domains. We formalize offline and online meta-abstract interpretation and illustrate this notion with the design of widenings and the decomposition of relational abstract domains to speed-up program analyses. This shows how novel static analyses can be extracted as meta-abstract interpretations to design efficient and precise program analysis algorithms.

Slides (popl19_slides.pdf)2.52MiB

Fri 18 Jan

Displayed time zone: Belfast change

10:35 - 12:03
Abstract InterpretationResearch Papers at Sala II
Chair(s): David Naumann Stevens Institute of Technology
10:35
22m
Talk
A^2 I: Abstract^2 InterpretationDistinguished Paper
Research Papers
Patrick Cousot , Roberto Giacobazzi University of Verona and IMDEA Software Institute, Francesco Ranzato University of Padova
Link to publication DOI Media Attached File Attached
10:57
22m
Talk
Concerto: A Framework for Combined Concrete and Abstract Interpretation
Research Papers
John Toman University of Washington, Seattle, Dan Grossman University of Washington
Link to publication DOI Media Attached
11:19
22m
Talk
Skeletal Semantics and their Interpretations
Research Papers
Martin Bodin Imperial College London, Philippa Gardner Imperial College London, Thomas P. Jensen INRIA Rennes, Alan Schmitt Inria
Link to publication DOI Pre-print Media Attached File Attached
11:41
22m
Talk
Refinement of Path Expressions for Static Analysis
Research Papers
John Cyphert University of Wisconsin - Madison, Jason Breck University of Wisconsin - Madison, Zachary Kincaid Princeton University, Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.
Link to publication DOI Media Attached File Attached