POPL 2017
Sun 15 - Sat 21 January 2017
Wed 18 Jan 2017 10:55 - 11:20 at Amphitheater 44 - Abstract Interpretation Chair(s): Isabella Mastroeni

Flow-driven, higher-order inlining is blocked by free variables, each of which may have multiple extant bindings. Current environment analyses designed to justify such inlining cannot cope with multiple bindings or are otherwise too weak. These weaknesses block critical compiler optimizations that provide functional languages with low-cost abstractions. We present an a posteriori environment analysis built on pushdown-model abstract interpretations that can justify inlinings out of reach of current analyses. Furthermore, it requires no modification to the abstract interpretation hosting it, as it’s performed after the fact.

Wed 18 Jan

10:30 - 12:10: POPL - Abstract Interpretation at Amphitheater 44
Chair(s): Isabella MastroeniUniversity of Verona, Italy
POPL-2017-papers10:30 - 10:55
Jade AlglaveUniversity College London, Patrick CousotNew York University
POPL-2017-papers10:55 - 11:20
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Utah; Harvard Medical School; The White House
POPL-2017-papers11:20 - 11:45
Huisong LiINRIA/CNRS/ENS/PSL*, François BérengerINRIA/CNRS/ENS/PSL*, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris
POPL-2017-papers11:45 - 12:10
Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich