ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Thu 16 Apr 2015 17:00 - 17:30 at Skeel - Session 9 Chair(s): Jan Vitek

This paper presents a novel type-and-effect analysis for predicting upper-bounds on memory allocation costs for co-recursive definitions in a simple lazily-evaluated functional language. We show the soundness of this system against an instrumented variant of Launchbury’s semantics for lazy evaluation which serves as a formal cost model. Our soundness proof requires an intermediate semantics employing indirections. Our proof of correspondence between these semantics that we provide is thus a crucial part of this work.

Thu 16 Apr
Times are displayed in time zone: Azores change

16:30 - 18:00: Session 9ESOP at Skeel
Chair(s): Jan VitekNortheastern University
16:30 - 17:00
Binding Structures as an Abstract Data Type
Wilmer RicciottiUniversity of Toulouse
17:00 - 17:30
Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
Pedro VasconcelosLIACC, Universidade do Porto, Porto, Portugal, Steffen JostLMU, Munich, Germany, Mario FloridoFCUP, Universidade do Porto, Portugal, Kevin HammondUniversity of St Andrews, St Andrews, UK
17:30 - 18:00
Type Targeted Testing
Eric Seidel, Niki VazouUC San Diego, Ranjit JhalaUniversity of California, San Diego