English
Related papers

Related papers: COMET: A Domain-Specific Compilation of High-Perfo…

200 papers

In drug discovery, molecular docking aims at characterizing the binding of a drug-like molecule to a macromolecule. AutoDock-GPU, a state-of-the-art docking software, estimates the geometrical conformation of a docked ligand-protein complex…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-15 Gabin Schieffer , Ivy Peng

Quantum circuit simulation is a challenging computational problem crucial for quantum computing research and development. The predominant approaches in this area center on tensor networks, prized for their better concurrency and less…

Hardware accelerators, in particular accelerators for tensor processing, have many potential application domains. However, they currently lack the software infrastructure to support the majority of domains outside of deep learning.…

Hardware Architecture · Computer Science 2024-08-08 Charles Hong , Sahil Bhatia , Altan Haan , Shengjun Kris Dong , Dima Nikiforov , Alvin Cheung , Yakun Sophia Shao

Sparse tensor networks are commonly used to represent contractions over sparse tensors. Tensor contractions are higher-order analogs of matrix multiplication. Tensor networks arise commonly in many domains of scientific computing and data…

Programming Languages · Computer Science 2024-01-11 Saurabh Raje , Yufan Xu , Atanas Rountev , Edward F. Valeev , Saday Sadayappan

Tensor computations, with matrix multiplication being the primary operation, serve as the fundamental basis for data analysis, physics, machine learning, and deep learning. As the scale and complexity of data continue to grow rapidly, the…

Hardware Architecture · Computer Science 2024-10-24 Qizhe Wu , Yuchen Gui , Zhichen Zeng , Xiaotian Wang , Huawen Liang , Xi Jin

Tensor operations are surging as the computational building blocks for a variety of scientific simulations and the development of high-performance kernels for such operations is known to be a challenging task. While for operations on one-…

Mathematical Software · Computer Science 2014-10-02 Elmar Peise , Diego Fabregat-Traver , Paolo Bientinesi

We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and without the need for a trusted runtime or garbage collector. It…

Tensor permutation is a fundamental operation widely applied in AI, tensor networks, and related fields. However, it is extremely complex, and different shapes and permutation maps can make a huge difference. SIMD permutation began to be…

Data Structures and Algorithms · Computer Science 2025-06-05 Yaojian Chen , Tianyu Ma , An Yang , Lin Gan , Wenlai Zhao , Guangwen Yang

TENSO is a versatile and powerful open-source software package for numerically exact simulations of the dynamics of quantum systems immersed in structured thermal environments. It is based on a tree tensor network decomposition of the…

Because of the increasing demand for computation in DNN, researchers develope both hardware and software mechanisms to reduce the compute and memory burden. A widely adopted approach is to use mixed precision data types. However, it is hard…

Programming Languages · Computer Science 2021-03-30 Jian Weng , Animesh Jain , Jie Wang , Leyuan Wang , Yida Wang , Tony Nowatzki

The present level of development of molecular force field methods is assessed from the point of view of simulation-based engineering, outlining the immediate perspective for further development and highlighting the newly emerging discipline…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-05-22 Martin Horsch , Christoph Niethammer , Jadran Vrabec , Hans Hasse

Tensor contractions constitute a key computational ingredient of numerical multi-linear algebra. However, as the order and dimension of tensors grow, the time and space complexities of tensor-based computations grow quickly. Existing…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-08-15 Yang Shi , U. N. Niranjan , Animashree Anandkumar , Cris Cecka

The prevalent use of Transformer-like models, exemplified by ChatGPT in modern language processing applications, underscores the critical need for enabling private inference essential for many cloud-based services reliant on such models.…

Machine Learning · Computer Science 2024-09-10 Xiangrui Xu , Qiao Zhang , Rui Ning , Chunsheng Xin , Hongyi Wu

As customized accelerator design has become increasingly popular to keep up with the demand for high performance computing, it poses challenges for modern simulator design to adapt to such a large variety of accelerators. Existing…

Programming Languages · Computer Science 2022-02-03 Zhijing Li , Yuwei Ye , Stephen Neuendorffer , Adrian Sampso

Recently, there has been increasing interest in designing schemes for quantum computations that are robust against errors. Although considerable research has been devoted to developing quantum error correction schemes, much less attention…

Quantum Physics · Physics 2020-02-03 Yingkai Ouyang , Yi Shen , Lin Chen

We describe a set of lower-level abstractions to improve performance on modern large scale heterogeneous systems. These provide portable access to system- and hardware-dependent features, automatically apply dynamic optimizations at run…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-08-07 Erik Schnetter

Atomic scale simulations are a key element of modern science in that they allow to understand, and even predict, complex physical or chemical phenomena on the basis of the fundamental laws of nature. Among the different existing atomic…

Materials Science · Physics 2021-07-20 Alexandre Boulle , Alain Chartier , Aurélien Debelle , Xin Jin , Jean-Paul Crocombette

Commit messages explain code changes in a commit and facilitate collaboration among developers. Several commit message generation approaches have been proposed; however, they exhibit limited success in capturing the context of code changes.…

Software Engineering · Computer Science 2024-02-06 Abhinav Reddy Mandli , Saurabhsingh Rajput , Tushar Sharma

Processing cores and the accompanying main memory working in tandem enable the modern processors. Dissipating heat produced from computation, memory access remains a significant problem for processors. Therefore, processor thermal…

Hardware Architecture · Computer Science 2022-03-18 Lokesh Siddhu , Rajesh Kedia , Shailja Pandey , Martin Rapp , Anuj Pathania , Jörg Henkel , Preeti Ranjan Panda

Chemical component design is a computationally challenging procedure that often entails iterative numerical modeling and authentic experimental testing. We demonstrate a novel optimization method, Tensor train Optimization (TetraOpt), for…