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.

Adult-onset hearing loss is very common, but we know little about the underlying molecular pathogenesis impeding the development of therapies. We took a genetic approach to identify new molecules involved in hearing loss by screening a large cohort of newly generated mouse mutants using a sensitive electrophysiological test, the auditory brainstem response (ABR). We review here the findings from this screen. Thirty-eight unexpected genes associated with raised thresholds were detected from our unbiased sample of 1,211 genes tested, suggesting extreme genetic heterogeneity. A wide range of auditory pathophysiologies was found, and some mutant lines showed normal development followed by deterioration of responses, revealing new molecular pathways involved in progressive hearing loss. Several of the genes were associated with the range of hearing thresholds in the human population and one, SPNS2 , was involved in childhood deafness. The new pathways required for maintenance of hearing discovered by this screen present new therapeutic opportunities.

As both electronic structure methods and the computers on which they are run become increasingly complex, the task of producing robust, reliable, high-performance implementations of methods at a rapid pace becomes increasingly daunting. In this paper we present an overview of the Tensor Contraction Engine (TCE), a unique effort to address issues of both productivity and performance through automatic code generation. The TCE is designed to take equations for many-body methods in a convenient high-level form and acts like an optimizing compiler, producing an implementation tuned to the target computer system and even to the specific chemical problem of interest. We provide examples to illustrate the TCE approach, including the ability to target different parallel programming models, and the effects of particular optimizations. * This paper is dedicated to Prof. Rodney J. Bartlett on the occasion of his 60 th birthday.

This paper addresses the compile-time optimization of a form of nested-loop computation that is motivated by a computational physics application. The computations involve multi-dimensional surface and volume integrals where the integrand is a product of a number of array terms. Besides the issue of optimal distribution of the arrays among the processors, there is also scope for reordering of the operations using the commutativity and associativity properties of addition and multiplication, and the application of the distributive law to significantly reduce the number of operations executed. A formalization of the operation minimization problem and proof of its NP-completeness is provided. A pruning search strategy for determination of an optimal form is developed. An analysis of the communication requirements and a polynomial-time algorithm for determination of optimal distribution of the arrays are also provided.

This paper discusses an approach to the synthesis of high-performance parallel programs for a class of computations encountered in quantum chemistry and physics. These computations are expressible as a set of tensor contractions and arise in electronic structure modeling. An overview is provided of the synthesis system, that transforms a high-level specification of the computation into high-performance parallel code, tailored to the characteristics of the target architecture. An example from computational chemistry is used to illustrate how different code structures are generated under different assumptions of available memory on the target computer.