Abstract
This paper provides an overview of a program synthesis system for a class of quantum chemistry computations. These computations are expressible as a set of tensor contractions and arise in electronic structure modeling. The input to the system is a a high-level specification of the computation, from which the system can synthesize high-performance parallel code tailored to the characteristics of the target architecture. Several components of the synthesis system are described, focusing on performance optimization issues that they address.
Original language | English |
---|---|
Pages (from-to) | 276-291 |
Number of pages | 16 |
Journal | Proceedings of the IEEE |
Volume | 93 |
Issue number | 2 |
DOIs | |
State | Published - Feb 2005 |
Funding
Manuscript received November 17, 2003; revised October 15, 2004. This work was supported in part by the National Science Foundation under Awards CHE-0121676, CHE-0121706, CCR-0073800, and EIA-9986052 and in part by the U.S. Department of Energy under Award DE-AC05-00OR22725.
Keywords
- Communication minimization
- Compiler optimizations
- Data locality optimization
- Domain-specific languages
- High-level programming languages
- Memory-constrained optimization
- Tensor contraction expressions