Seminars at the Faculty of Informatics

Informatics Seminar on Wednesday, June 10th, 13.30 - Christoph Reichenbach

The Faculty of Informatics is pleased to announce a seminar given by Christoph Reichenbach
 
TITLE: Algorithmic Optimisation via Program Metamorphosis
SPEAKER: Christoph Reichenbach, University of Colorado at Boulder
DATE: Wednesday, June 10th, 2009
PLACE: USI Università della Svizzera italiana, room SI-008, Informatics building (Via G. Buffi 13)
TIME: 13.30
 
ABSTRACT:
Algorithmic optimisation is the process of speeding up a program by replacing algorithms, datatypes, and data representations by more efficient ones, even if this results in slight changes of behaviour.  Due to the possibility of changing behaviour, existing tools (such as compilers and refactoring engines) are insufficient for exploiting the full breadth of algorithmic optimisation opportunities.  In this talk we first introduce program metamorphosis, a generalisation of standard refactoring methodologies, and then show how program metamorphosis can guide software developers through algorithmic optimisation.  Our initial results show that this approach can permit significant speedup while ensuring correctness by tracking all assumptions and behavioural change introduced during the metamorphosis process.
 
BIO:
Christoph Reichenbach is a PhD student at the University of Colorado at Boulder, currently working on programmer productivity tools.  His research interests include programming language design, formal logic, and natural language processing.  He expects to graduate at the end of Summer 2009 on the topic of Program Metamorphosis.
 
HOST: Prof. Matthias Hauswirth

URL 1: http://www.inf.unisi.ch