Christoph Armin Herrmann

According to our database, Christoph Armin Herrmann authored at least 16 papers between 1996 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Counter Automata for Parameterised Timing Analysis of Box-Based Systems.

Christoph A. Herrmann, Kevin Hammond

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2008

Lightweight Invariants with Full Dependent Types.

Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

2007

Automatic Amortised Worst-Case Execution Time Analysis.

Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006

Combining partial evaluation and staged interpretation in the implementation of domain-specific languages.

Christoph Armin Herrmann, Tobias Langhammer

Sci. Comput. Program., 2006

In search of a program generator to implement generic transformations for high-performance computing.

Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua

Sci. Comput. Program., 2006

2005

Generating Message-passing Programs from Abstract Specifications by Partial Evaluation.

Christoph A. Herrmann

Parallel Process. Lett., 2005

2003

Transforming Rapid Prototypes to Efficient Parallel Programs.

Christoph A. Herrmann, Christian Lengauer

Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2002

Using Metaprogramming to Parallelize Functional Specifications.

Christoph A. Herrmann, Christian Lengauer

Parallel Process. Lett., 2002

2001

The skeleton based parallelization of divide and conquer recursions.

Christoph Armin Herrmann

PhD thesis, 2001

A Transformational Approach which Combines Size Inference and Program Optimization.

Christoph A. Herrmann, Christian Lengauer

Proceedings of the Semantics, 2001

2000

HDC: A Higher-Order Language for Divide-and-Conquer.

Christoph A. Herrmann, Christian Lengauer

Parallel Process. Lett., 2000

1999

Parallelization of Divide-and-Conquer by Translation to Nested Loops.

Christoph A. Herrmann, Christian Lengauer

J. Funct. Program., 1999

Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining.

Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1997

The Static Parallelization of Loops and Recursions.

Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann

J. Supercomput., 1997

Transformation of Divide & Conquer to Nested Parallel Loops.

Christoph A. Herrmann, Christian Lengauer

Proceedings of the Programming Languages: Implementations, 1997

1996

On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions.

Christoph Armin Herrmann, Christian Lengauer

Parallel Process. Lett., 1996