CTADEL

CTADEL: Code-generation Tool for Applications based on Differential Equations using high-level Language specifications. After having implemented and evaluated several parallel versions of a forecast routine of an operational numerical weather forecast system, the idea emerged to automatically generate efficient versions of this routine from a high-level description consisting of the partial differential equations that govern the atmosphere. This was a challenging idea to be applied in numerical weather forecasting, because it was not clear whether it would be possible to generate codes that are comparable in efficiency to the “best” hand-written codes. Furthermore, the development of a code generation system for this task requires a combination of skills in the diverse areas of artificial intelligence, computer algebra systems, parallel programming, compilers, numerical mathematics, and computational physics. The first prototype version of the CTADEL system “Code-generation Tool for Applications based on Differential Equations using high-level Language specifications” demonstrated an improved performance of the generated codes compared to the hand-written codes. This inspired me to fully redesign the system in order to create a system for solving a wider scope of problems.

This software is also peer reviewed by journal TOMS.


References in zbMATH (referenced in 12 articles , 1 standard article )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Luporini, Fabio; Louboutin, Mathias; Lange, Michael; Kukreja, Navjot; Witte, Philipp; Hückelheim, Jan; Yount, Charles; Kelly, Paul H. J.; Herrmann, Felix J.; Gorman, Gerard J.: Architecture and performance of Devito, a system for automated stencil computation (2020)
  2. van Engelen, Robert: Automatically generating high-performance parallel code for atmospheric simulation models: challenges and solutions for auto-programming tools (2009)
  3. Dall’Osso, Aldo: Computer algebra systems as mathematical optimizing compilers (2006)
  4. van Engelen, Robert; Whalley, David; Yuan, Xin: Automatic validation of code-improving transformations on low-level program representations (2004)
  5. van der Mark, P.; van Engelen, R.; Gallivan, K.; Dewar, W.: A case study for automatic code generation on a coupled ocean-atmosphere model (2002)
  6. Korelc, Joze: Hybrid system for multi-language and multi-environment generation of numerical codes (2001)
  7. van Engelen, Robert A.: Efficient symbolic analysis for optimizing compilers (2001)
  8. van Engelen, Robert A.: ATMOL: A domain-specific language for atmospheric modeling (2001)
  9. Houstis, Elias N. (ed.); Rice, John R. (ed.); Gallopoulos, Efstratios (ed.); Bramley, Randall (ed.): Enabling technologies for computational science. Frameworks, middleware and environments (2000)
  10. Houstis, Elias N.; Rice, John R.: Future problem solving environments for computational science (2000)
  11. van Engelen, Robert; Wolters, Lex; Cats, Gerard: The CTADEL application driver (2000)
  12. Van Engelen, Robert Alexander: CTADEL: A generator of efficient numerical codes (1998)