Publications

	A Compiler Backend for Generic Programming with Arrays. D. Kreye. PhD Thesis, Institute of Computer Science and Applied Mathematics, University of Kiel, Germany, 2003. © Shaker, 2004, ISBN 3-8322-2538-2. My PhD thesis contains an in-depth description of a new compiler backend for array programming languages like SAC that allows to generate code for array operations at various levels of knowledge about the structural properties of the arrays involved. [ps] [pdf] Slides of the talk: [ps] [pdf]
	A Compilation Scheme for a Hierarchy of Array Types. D. Kreye. 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. © Springer, 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] [pdf] Slides of the talk: [ps] [pdf]
	On Code Generation for Multi-Generator With-Loops in SAC. C. Grelck, D. Kreye, S.-B. Scholz. 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. © Springer, 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] [pdf] Slides of the talk: [ps] [pdf]
	Zur Generierung von effizient ausführbarem Code aus SAC-spezifischen Schleifenkonstrukten. D. Kreye. 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 SAC. 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] [pdf]
	Qualitätskontrolle mittels digitaler Bildverarbeitung. D. Kreye. 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] [pdf]

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.