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

We present a type and effect system for static analysis of programs written in a simplified version of iTasks. iTasks is a workflow specification language embedded in Clean, a general-purpose functional programming language. Given costs for basic tasks, our analysis calculates an upper bound of the total cost of a workflow. The analysis has to deal with the domain-specific features of iTasks, in particular parallel and sequential composition of tasks, as well as the general-purpose features of Clean, in particular let-polymorphism, higher-order functions, recursion and lazy evaluation. Costs are vectors of natural numbers where every element represents some resource, either consumable or reusable.

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: TypesPEPM 2017 at Salle 109, Barre 44-54
Chair(s): Robert Glück
10:30 - 11:00
Cost versus Precision for Approximate Typing for Python
PEPM 2017
Levin FritzUtrecht University, Jurriaan HageUtrecht University
11:00 - 11:30
Refining types using type guards in TypeScript
PEPM 2017
Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
11:30 - 12:00
Predicting Resource Consumption of Higher-Order Workflows
PEPM 2017
Markus KlinikRadboud University Nijmegen, Jurriaan HageUtrecht University, Jan Martin JansenNetherlands Defence Academy, Rinus PlasmeijerRadboud University Nijmegen