POPL 2019 (series) / VMCAI 2019 (series) / VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation /
Demand Control-Flow Analysis
Sun 13 Jan 2019 16:00 - 16:30 at Sala III - Abstract Interpretation (2) Chair(s): Mihaela Sighireanu
Points-to analysis manifests in a functional setting as control-flow analysis. Despite the ubiquity of demand points-to analyses, there are no analogous demand control-flow analyses for functional languages in general. We present demand 0CFA, a demand control-flow analysis that offers clients in a functional setting the same pricing model that demand points-to analysis clients enjoy in an imperative setting. We establish demand 0CFA’s correctness via an intermediary exact semantics, demand evaluation, that can potentially support demand variants of more-precise analyses.
Sun 13 JanDisplayed time zone: Belfast change
Sun 13 Jan
Displayed time zone: Belfast change
16:00 - 17:30 | Abstract Interpretation (2)VMCAI at Sala III Chair(s): Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France | ||
16:00 30mTalk | Demand Control-Flow Analysis VMCAI Kimball Germane University of Utah, Jay McCarthy University of Massachusetts Lowell, Michael D. Adams University of Utah, Matthew Might University of Alabama at Birmingham | Harvard Medical School | ||
16:30 30mTalk | Effect-driven Flow Analysis VMCAI Jens Nicolay Vrije Universiteit Brussel, Belgium, Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel | ||
17:00 30mTalk | Relatively Complete Pushdown Analysis of Escape Continuations VMCAI Kimball Germane University of Utah, Matthew Might University of Alabama at Birmingham | Harvard Medical School | ||