Code-generation for Large-scale Applications

Efficient execution of large-scale application codes is a primary requirement in many cases. High efficiency can only be achieved by utilizing architecture-independent efficient algorithms and exploiting specific architecture-dependent characteristics of a given computer architecture. However, platform specific versions of source code must be avoided to limit development and maintenance complexity.

Usually, the problem can be formulated on an abstract level (mathematical equations, English). At that level, the problem is completely known, and there is no reference to the hardware on which the problem will be solved. Unfortunately, often the advantages of a high level of abstraction are overshadowed by a loss of performance compared to handwritten code. Therefore, a problem-specific code generator, called Ctadel, has been developed in order to exploit architecture-independent and dependent optimizations.

In this continuation project we want to extend Ctadel with more advanced numerical techniques like (semi-)Lagrangian and (semi-)implicit techniques, interfaces to libraries, and backend compiler optimizations.

Collaboration exists with the HIRLAM project-group and the Ctadel project. By the Netherlands Organization for Scientific Research (NWO) under Project No. 612-053-001.

P. van der Mark, L. Wolters and G. Cats, A Dynamic Application-Driven Data Communication Strategy. Proceedings of the 18th ACM International Conference on Supercomputing (ICS04), pp. 146-153. June 28 - Jul 1, 2004, Saint-Malo, France. ACM press.

P. van der Mark, L. Wolters and G. Cats, Semi-Lagrangian Formulations with Automatic Code Generation for Environmental Modeling. Proceedings of the 19th ACM Symposium on Applied Computing (SAC04), pp. 229-234. March 14-17,2004, Nicosia, Cyprus. ACM Press.

P. van der Mark, L. Wolters and G. Cats, Code Generation for Semi-Lagrangian Formulations. Proceedings of the Second International Symposium on Parallel and Distributed Computing (ISPDC03), pp. 266-273. October 13-14, 2003, Ljubljana, Slovenia. IEEE Computer Society Press.

P. van der Mark, L. Wolters and G. Cats, Automatic Code Generation for a Convection Scheme. Proceedings of the 18th ACM Symposium on Applied Computing (SAC03), pp. 1003-1008. March 9-12, 2003, Melbourne, Florida. ACM press.

P. van der Mark, L. Wolters and G. Cats, Automatic Code Generation for Large Scale Applications. Proceedings of the 10th International Workshop on Compilers for Parallel Computers (CPC03), pp. 157-164. January 8-10, 2003, Amsterdam, The Netherlands.

P. van der Mark, R. van Engelen, K. Gallivan and W. Dewar, A Case Study for Automatic Code Generation on a Coupled Ocean-Atmosphere Model. Proceedings of the 2002 International Conference on Computational Science (ICCS02), pp. 419-428. April 21-24 2002, Amsterdam, The Netherlands. Springer Verlag.

P. van der Mark, G. Cats and L. Wolters, Automatic Code Generation for a Turbulence Scheme. Proceedings of the 15th ACM International Conference on Supercomputing (ICS01), pp. 252-259. June 2001, Sorrento, Italy. ACM press.