Tags:Amortised Program Analysis, Martin Hofmann, Memorial talk and Type Systems
Abstract:
In this talk I will reminiscence about how I met Martin, how we wrote our first paper together and how Martin allowed me to present this paper at a conference.
We did not meet during his first time at the Math Department at TU Darmstadt. Instead, my work for a Computational Geometry group brought me in contact with Functional Programming, but the group abandoned FP due to memory management problems. At that time, Martin offered the problem of bounding memory usage of functional programs for a diploma thesis, which I gladly took after the encountered memory problems.
I will go through several slides of the original talk, which I held under his supervision at POPL, January 16 2003 at New Orleans, USA.
Static Prediction of Heap Space Usage for First-Order Functional Programs -- A Retrospective on my First Paper with Martin Hofmann