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
Talk
Binding Structures as an Abstract Data Type
ESOP
Wilmer RicciottiUniversity of Toulouse
17:00 - 17:30
Talk
Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
ESOP
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
Talk
Type Targeted Testing
ESOP
Eric Seidel, Niki VazouUC San Diego, Ranjit JhalaUniversity of California, San Diego