Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 10:30 - 11:00 at Salle 109, Barre 44-54 - Types Chair(s): Robert Glück

In this paper we describe a variation of monotone frameworks that enables us to perform approximate typing of Python, in particular for dealing with some of its more dynamic features such as first-class functions and Python’s dynamic class system. We additionally introduce a substantial number of variants of the basic analysis in order to experimentally discover which configurations attain the best balance of cost and precision. For example, the analysis allows us to be selectively flow-insensitive for certain classes of identifiers, and the amount of call-site context is configurable. Results of our evaluation include that adding call-site sensitivity and parameterized types has little effect on precision; in terms of speed call-site sensitivity is very costly. On the other hand, flow-insensitive treatment of module scope identifiers has a strongly positive effect, often both in terms of precision and speed.

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
30m
Talk
Cost versus Precision for Approximate Typing for Python
PEPM 2017
Levin Fritz Utrecht University, Jurriaan Hage Utrecht University
11:00
30m
Talk
Refining types using type guards in TypeScript
PEPM 2017
Ivo Gabe de Wolff Utrecht University, Jurriaan Hage Utrecht University
11:30
30m
Talk
Predicting Resource Consumption of Higher-Order Workflows
PEPM 2017
Markus Klinik Radboud University Nijmegen, Jurriaan Hage Utrecht University, Jan Martin Jansen Netherlands Defence Academy, Rinus Plasmeijer Radboud University Nijmegen