Talks

Harpy - Dynamische Codegenerierung mit Haskell

This is joint work with Dirk Kleeblatt. This talk was presented on 1st June 2007 at my research group.

This talk is available electronically:

A Generic Model of Functional Programming With Dynamic Optimization

This talk was presented on 20th April 2006 at the Seventh Symposium on Trends in Functional Programming (TFP 2006).

This talk is available electronically:

Closure Implementation with Run-time Code Generation

This talk was presented on 17th January 2006 at my research group.

This talk corresponds to a research report.

This talk is available electronically:

Dynamische Analyse und Transformation Funktionaler Programme

This talk was presented on 14th December 2004 at my research group.

This talk is available electronically:

Turtle: A Constraint Imperative Programming Language

This talk was held at the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence in Cambridge, UK, on December 16, 2003.

The talk corresponds to Petra Hofstedt's and my publication in the SGAI-AI-2003 proceedings.

This talk is available electronically:

Implementing Constraint Imperative Languages with Higher-order Functions

This talk was prepared by Petra Hofstedt and me, and held by Petra on the 29th of September 2003 at the Second International Workshop on Multiparadigm Constraint Programming Languages, MultiCPL'03, held in conjunction with the Ninth International Conference on Principles and Practice of Constraint Programming, CP2003, Kinsale, Ireland, September 2003. Unfortunately, I could not attend the workshop.

The talk corresponds to my publication in the MultiCPL'03 proceedings.

This talk is available electronically:

Multiparadigmen-Programmiersprachen

This talk is on Multiparadigm Programming Languages. It was presented on 22nd July 2003 at my research group.

The talk presented some work-in-progress, which finally resulted in a research report.

This talk is available electronically:

Constraint Imperative Programming with Turtle

This talk is on constraint imperative programming with Turtle. It was held on 16th July 2003 in a guest lecture of Einführung in die Constraint Programmierung (Petra Hofstedt).

The talk is based on my Diploma Thesis.

This talk is available electronically:

The Constraint Imperative Programming Language Turtle

At the 20th Workshop of the GI working group 2.1.4, (programming languages and computing concepts) from 7th to 9th May 2003, I held a talk on The Constraint Imperative Programming Language Turtle. This talk presents the constraint imperative programming language Turtle, which I developed for my diploma thesis.

The talk is based on my Diploma Thesis.

This talk is available electronically:

Heterogenous Element Processor (HEP)

This talk was held in the seminar Processor Architectures -- Selected Processors (summer semester 2001) and describes the Heterogenous Element Processor (HEP).

This talk and a 12-page abstract is evailable electronically:

Gorn: Gorn On Random Nodes

This talk was held by two other students and me at a university project on Concurrent Programming in Erlang (summer semester 2001) and describes the Gorn system, a distributed communication system written in Erlang. Gorn features mail, talk and chat communication and comes with three distributed multiplayer games: variants of Tetris, Pong and Tron.

The slides were presented with MagicPoint, so you will need to install this program for viewing them. The project report is also available electronically:

Der Atanasoff-Berry Computer

This talk was held at a seminar on History of Computer Development (winter semester 2000/2001) and describes the Atanasoff-Berry Computer.

This talk and a 10-page abstract is available electronically:

WUJA

This talk was held by two other students and me at a university project on Document Transformation (summer semester 2000) and describes WUJA, a system for tree transformation.

The slides and the project report are available electronically: