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

Many meta-languages have been proposed for writing rule-based operational semantics, in order to provide general interpreters and analysis tools. We take a different approach. We develop a meta-language for a skeletal semantics of a language, where each skeleton describes the complete semantic behaviour of a language construct. We define a general notion of interpretation, which provides a systematic and language-independent way of deriving semantic judgements from the skeletal semantics. We provide four generic interpretations of our skeletal semantics to yield: a simple well-formedness interpretation; a concrete interpretation; an abstract interpretation; and a constraint generator for flow-sensitive analysis. We prove general consistency results, establishing that the concrete and abstract interpretations are consistent and that any solution to the constraints generated by the constraint generator must be a correct abstract semantics.

Slides (slides.pdf)1019KiB

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