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

VMCAI-2019
16:00 - 17:30: VMCAI 2019 - Abstract Interpretation (2) at Sala III
Chair(s): Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
VMCAI-201916:00 - 16:30
Talk
Kimball GermaneUniversity of Utah, Jay McCarthyUniversity of Massachusetts Lowell, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
VMCAI-201916:30 - 17:00
Talk
Jens NicolayVrije Universiteit Brussel, Belgium, Quentin StiévenartVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
VMCAI-201917:00 - 17:30
Talk
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School