Dr. Dietmar Kreye 
Diplom-Informatiker


[-] Research
[-] Teaching
[=] Publications
[-] Bookshelf
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

Publications


english A Compiler Backend for Generic Programming with Arrays.
D. KreyeExternal Link.
PhD Thesis, Institute of Computer Science and Applied Mathematics, University of Kiel, Germany, 2003. © ShakerExternal Link, 2004, ISBN 3-8322-2538-2.
My PhD thesis contains an in-depth description of a new compiler backend for array programming languages like SACExternal Link that allows to generate code for array operations at various levels of knowledge about the structural properties of the arrays involved. [ps]Download Link [pdf]Download Link
Slides of the talk: [ps]Download Link [pdf]Download Link
english A Compilation Scheme for a Hierarchy of Array Types.
D. KreyeExternal Link.
In T. Arts, M. Mohnen (Eds.): Implementation of Functional Languages, 11th International Workshop (IFL 2001), Stockholm, Sweden, Selected Papers. Vol 2312 of: LNCS, pp. 18-35. © SpringerExternal Link, 2002.
This paper presents a new compilation scheme for compiling arrays with different shape information available: exact shapes, unknown extents, and unknown dimensionality. In order to preserve potential runtime benefits whenever some (partial) shape information can be statically inferred, a hierarchy of array representations as well as a sophisticated dynamic dispatch mechanism is proposed. [ps]Download Link [pdf]Download Link
Slides of the talk: [ps]Download Link [pdf]Download Link
english On Code Generation for Multi-Generator With-Loops in SAC.
C. GrelckExternal Link, D. KreyeExternal Link, S.-B. ScholzExternal Link.
In P. Koopman, C. Clack (Eds.): Implementation of Functional Languages, 11th International Workshop (IFL '99), Lochem, The Netherlands, Selected Papers. Vol 1868 of: LNCS, pp. 77-94. © SpringerExternal Link, 2000.
This paper presents the essentials of my Diploma thesis (see below). Besides an informal presentation of the compilation steps involved, the design choices made are substantiated by means of a few performance measurements. [ps]Download Link [pdf]Download Link
Slides of the talk: [ps]Download Link [pdf]Download Link
german Zur Generierung von effizient ausführbarem Code aus SAC-spezifischen Schleifenkonstrukten.
D. KreyeExternal Link.
Diploma Thesis, Institute of Computer Science and Applied Mathematics, University of Kiel, Germany, 1998.
My Diploma thesis is about a compiler for the programming language SACExternal Link. It contains a detailed description of the compilation scheme used for compiling multi-generator with-loops into efficiently executable C code. A multi-generator with-loop is an intermediate, more general form of a with-loop that results from applying with-loop-folding. [ps]Download Link [pdf]Download Link
german Qualitätskontrolle mittels digitaler Bildverarbeitung.
D. KreyeExternal Link.
Report on my industrial training at IBM Storage Systems, Mainz, Germany, 1998.
This report is about a tool for quality control during production of read-write heads for hard disks. [ps]Download Link [pdf]Download Link

Copyright Notice:
The documents above are provided as a means of timely dissemination of information and are intended for personal use only. All other uses of the materials, such as reposting or reprinting, require the explicit permission of the copyright holder. Copyrights are maintained by the authors or the publishers.


Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Jul 22, 2004

Valid HTML 4.01!External Link    Valid CSS!External Link