Amortized analysis of resource requirements with respect to the depth of data structures

This is a small collection of resources related to my thesis work on predicting stack space memory requirements. The details of this work can be found in chapters 6 and 7 of my thesis.

• An implementation of the analysis in Standard ML.
• The author's version of the paper that appeared in ESOP'09. It was published in LNCS volume 5502 by Springer.
• Slides from the ESOP talk.
• Slides and abstract from an earlier talk at the Workshop on Resource Analysis 2008 in Hatfield during September 2008.
• Slides from an earlier still but longer talk at the University of St Andrews in March 2008.