Dr. Christoph Armin Herrmann

Publications

Theses

• Ph.D. Thesis: ``The Skeleton-Based Parallelization of Divide-and-Conquer Recursions'' (Christoph A. Herrmann), Department of Informatics and Mathematics, University of Passau, appeared as a book: ISBN 3-89722-556-5, Logos-Verlag Berlin, 2000.
• Diploma Thesis: ``Simulation von Signalverzögerungen und Zeitbedingungen funktionaler Elemente auf MuSiCII" (Simulation of signal delays and timing constraints of functional elements on MuSICII) (Christoph A. Herrmann), Department of Informatics and Mathematics, University of Passau, March 1993.

Book Chapter

• ``Transforming Rapid Prototypes to Efficient Parallel Programs'' (Christoph A. Herrmann and Christian Lengauer), Chap. 3 in Patterns and Skeletons for Parallel and Distributed Computing , Eds. Fethi Rabhi and Sergei Gorlatch, ISBN 1-85233-506-8, Springer-Verlag, 2002.

Journal Articles

• "Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-Specific Languages'' (Christoph A. Herrmann and Tobias Langhammer), Science of Computer Programming, 62(1), 2006, 47-65.
• ``In Search for a Program Generator to Implement Generic Transformations for High-performance Computing'' (Albert Cohen, Sebastien Donadio, Maria-Jesus Garzaran, Christoph A. Herrmann, Oleg Kiselyov and David Padua, Science of Computer Programming, 62, 2006, 25-46.
• ``Generating Message-passing Programs from Abstract Specifications by Partial Evaluation'' (Christoph A. Herrmann), Parallel Processing Letters, 15(3), 2005, 305-320.
• ``Using Metaprogramming to Parallelize Functional Specifications'' (Christoph A. Herrmann and Christian Lengauer), Parallel Processing Letters, 12(2), 2002, 193-210.
• ``HDC: A Higher-Order Language for Divide-and-Conquer'' (Christoph A. Herrmann and Christian Lengauer), Parallel Processing Letters, 10(2-3), 2000, 239-250.
• ``Parallelization of Divide-and-Conquer by Translation to Nested Loops'' (Christoph A. Herrmann and Christian Lengauer), J. Functional Programming, 9(3), 1999, 279-310.
• ``The Static Parallelization of Loops and Recursions'' (Christian Lengauer, Sergei Gorlatch and Christoph A. Herrmann), J. Supercomputing, 11(4), 1997, 333-353.
• ``On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions'' (Christoph A. Herrmann and Christian Lengauer), Parallel Processing Letters, 6(4), 1996, 525-537.

Reviewed Conference and Workshop Papers

• ``Towards a high-productivity and high-performance marshaling library for compound data'' (Albert Cohen and Christoph A. Herrmann), Proc. 2nd MetaOCaml Workshop, 2005, Tallinn, Estonia.
• ``Functional Metaprogramming in the Construction of Parallel Programs'' (Christoph A. Herrmann), Proc. 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Technical report of the University of Münster, Germany.
• ``Using Metaprogramming to Parallelize Functional Specifications'' (Christoph A. Herrmann and Christian Lengauer), Proc. 3rd International Workshop on Constructive Methods for Parallel Programming (CMPP 2002), Technical reports of Department IV - Electronics and Informatics, No. 2002/07, Technical University Berlin.
• ``A Transformational Approach which Combines Size Inference and Program Optimization'' (Christoph A. Herrmann and Christian Lengauer), Semantics, Application and Implementation of Program Generation (SAIG'01), Lecture Notes in Computer Science 2196, Springer-Verlag, 2001, 199-218.
• ``Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining'' (Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer and Christian Schaller), Euro-Par: Parallel Processing, Lecture Notes in Computer Science 1685, Springer-Verlag, 1999, 930-934.
• ``Transformation of Divide & Conquer to Nested Parallel Loops'' (Christoph A. Herrmann and Christian Lengauer), Programming Languages: Implementations, Logics, and Programs (PLILP'97), Lecture Notes in Computer Science 1292, Springer-Verlag, 1997, 95-109.
• ``Notes on the Space-Time Mapping of Divide-and-Conquer Recursions'' (Christoph A. Herrmann and Christian Lengauer), Proc. GI/ITG FG PARS '95, PARS Mitteilungen Nr.14, Gesellschaft für Informatik e.V., 1995, 132-139.
• ``Compiled-Code-Based Simulation with Timing Verification'' (Winfried Hahn, Andreas Hagerer and Christoph A. Herrmann), Proc. EURO-DAC, 1994, 362-367.
• ``Precise Delay Models for Compiler-Driven Logic Simulation on an Update Dataflow Simulation Engine'' (Christoph A. Herrmann and Andreas Hagerer), Proc. European Simulation Multiconference, Society for Computer Simulation International, 1994, 1022-1027.

Other Publications

• ``Type-Sensitive Size Parameterization of Circuit Designs by Metaprogramming'' (Christoph A. Herrmann), Technical Report MIP-0601, Department of Informatics and Mathematics, University of Passau, February 2006.
• "Automatic Staging for Image Processing" (Christoph A. Herrmann and Tobias Langhammer), Technical Report MIP-0410, Department of Informatics and Mathematics, University of Passau, 2004.
• ``The HDC Compiler Project'' (Christoph A. Herrmann and Christian Lengauer), Proc. Compilers for Parallel Computers (CPC 2000), LIP, ENS Lyon, 2000, 239-254.
• ``A Compiler for HDC'' (Christoph A. Herrmann, Christian Lengauer, Robert Günz, Jan Laitenberger and Christian Schaller, Technical Report MIP-9907,Department of Informatics and Mathematics, University of Passau, May 1999.
• ``Size Inference of Nested Lists in Functional Programs'' (Christoph A. Herrmann and Christian Lengauer), Implementation of Functional Languages (IFL'98), University College London, 1998, 347-364.
• ``Parallelization of Divide-and-Conquer by Translation to Nested Loops'' (Christoph A. Herrmann and Christian Lengauer), Technical Report MIP-9705, Department of Informatics and Mathematics, University of Passau, March 1997.