Exploiting Algebra-CoalgebraDualityForProgramFusionExtensions
Stc
Date: 2011-03-24
Time: 11:00
Room:
BBL 201
Speaker: Facundo Domínguez
Title: Exploiting Algebra/Coalgebra Duality for Program Fusion Extensions
Abstract
In this talk I'm presenting a reformulation of algorithms for
optimizing functional programs through a fusion technique based on the
so-called Acid Rain laws. The reformulation sheds a new perspective
which simplifies significantly the extensions to cope with programs
involving mutually recursive definitions and recursion over multiple
arguments. The work is based on a recursion scheme known as
hylomorphism but other fusion techniques based on Acid Rain may
benefit from the results. In particular I will be discussing some
issues about Acid Rain laws which can only be appreciated once some of
the extensions are considered. Our algorithms are implemented as part
of a fusion tool called HFusion.
