Speaker: Jason Reich

Title: Is it a Supercompiler?

Abstract: 
Supercompilation is a compile-time, source-to-source optimising transformation. 
Among other benefits, it can remove intermediate data structures and specialisehigher order functions. 
Sounds like a useful technique but how can we be sure that our implementation is correct? 
What does it mean for our implementation to be correct? This talk will (briefly) outline supercompilation and discuss attempts to verify the semantic preservation and optimisation properties of an particular implementation.