ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 14:45 - 15:30 at S11 - VII Chair(s): Marko van Eekelen

We propose an amortized analysis that approximates the resource usage of a Haskell expression. Using the plugin API of GHC, we convert the Haskell code into a simplified representation called GHC Core. We then apply a type-based system which derives linear upper bounds on the resource usage. This setup allows us to analyze real Haskell code, whereas previous implementations of similar analyses do not support any commonly used lazy functional programming languages.

Sun 7 Apr

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

13:30 - 15:30
VIIDICE-FOPARA at S11
Chair(s): Marko van Eekelen Open University of the Netherlands
14:00
45m
Talk
Modular Runtime Complexity Analysis of Probabilistic While Programs
DICE-FOPARA
Martin Avanzini INRIA Sophia Antipolis, France, Michael Schaper University of Innsbruck, Georg Moser University of Innsbruck
14:45
45m
Talk
Type-Based Resource Analysis on Haskell
DICE-FOPARA