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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:35 - 12:03: Abstract InterpretationResearch Papers at Sala II
Chair(s): David NaumannStevens Institute of Technology
10:35 - 10:57
A^2 I: Abstract^2 InterpretationDistinguished Paper
Research Papers
Patrick Cousot, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Francesco RanzatoUniversity of Padova
Link to publication DOI Media Attached File Attached
10:57 - 11:19
Concerto: A Framework for Combined Concrete and Abstract Interpretation
Research Papers
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
Link to publication DOI Media Attached
11:19 - 11:41
Skeletal Semantics and their Interpretations
Research Papers
Martin BodinImperial College London, Philippa GardnerImperial College London, Thomas P. JensenINRIA Rennes, Alan SchmittInria
Link to publication DOI Pre-print Media Attached File Attached
11:41 - 12:03
Refinement of Path Expressions for Static Analysis
Research Papers
John CyphertUniversity of Wisconsin - Madison, Jason BreckUniversity of Wisconsin - Madison, Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Link to publication DOI Media Attached File Attached