Supercompilation by Evaluation

Invited Talk

Simon Peyton-Jones (Microsoft Research),
Max Bolingbroke (University of Cambridge)

 

Abstract

Full text pdf 93 KB

My student Max Bolingbroke and I have been studying supercompilation, with a view to making GHC into a supercompiler. In this talk I'll describe various approaches that we have explored, and focus on the one we are pursuing right now. A well-known practical challenge in supercompilation is over-specialisation and code explosion. I will present some ideas we have developed to tackle this problem.

Presentation pptx 830 KB