• Publications
  • Influence
Synthesis of High-Performance Parallel Programs for a Class of ab Initio Quantum Chemistry Models
TLDR
This paper provides an overview of a program synthesis system for a class of quantum chemistry computations. Expand
Automatic code generation for many-body electronic structure methods: the tensor contraction engine
TLDR
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. Expand
Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver
TLDR
We address the problem of efficient out-of-core code generation for a special class of imperfectly nested loops encoding tensor contractions. Expand
Global communication optimization for tensor contraction expressions under memory constraints
TLDR
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. Expand
Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms
TLDR
This paper describes an approach to synthesis of efficient out-of-core code for a class of imperfectly nested loops that represent tensor contraction computations. Expand
Memory-Constrained Data Locality Optimization for Tensor Contractions
TLDR
We develop an optimization framework to search among a space of fusion and tiling choices to minimize the data movement overhead in the context of this class of computations. Expand
Efficient Synthesis of Out-of-Core Algorithms Using a Nonlinear Optimization Solver
TLDR
We address the problem of efficient out-of-core code generation for a special class of imperfectly nested loops encoding tensor contractions. Expand