Ontario Research Centre for Computer Algebra Technical Reports
The Ontario Research Centre for Computer Algebra

The UWO ORCCA Reading Room

UWO ORCCA TR-07-04 Summary

Generation and Optimisation of Code using Coxeter Latice Paths
Thomas J. Ashby, Anthony D. Kennedy and Stephen M. Watt

Abstract: Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their communications can overlap processors in complex ways. Their correct and efficient implementation requires careful choreography of computation and communication, taking into account the symmetries of the problem and of the computer's communication network. This paper shows how these symmetries can be used to automate the construction of the code for optimized operator computation. This is done with considerable generality by making the symmetries both of the problem and the computer explicit using the language of finitely presented reflection (Coxeter) groups, and using coset enumeration to generate and optimize the required code.

If you have any questions or comments regarding this page please send mail to tech-reports@orcca.on.ca.



Events & Seminars


Research Activities


Reading Room

Contact Info