Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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 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
30m
Talk
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
30m
Talk
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
30m
Talk
Relatively Complete Pushdown Analysis of Escape Continuations
VMCAI
Kimball Germane University of Utah, Matthew Might University of Alabama at Birmingham | Harvard Medical School