282 citations · 2.2k across the 40 of their papers we have counts for
44 papers
GRChombo: An adaptable numerical relativity code for fundamental physics
Tomas Andrade, Llibert Areste Salo, Josu C. Aurrekoetxea +29
GRChombo is an open-source code for performing Numerical Relativity time evolutions, built on top of the publicly available Chombo software for the solution of PDEs. Whilst GRChomb…
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version)
Xingfu Wu, Michael Kruse, Prasanna Balaprakash +4
In this paper, we develop a ytopt autotuning framework that leverages Bayesian optimization to explore the parameter space search and compare four different supervised learning met…
Report of the Workshop on Program Synthesis for Scientific Computing
Hal Finkel, Ignacio Laguna
Program synthesis is an active research field in academia, national labs, and industry. Yet, work directly applicable to scientific computing, while having some impressive successe…
Really Embedding Domain-Specific Languages into C++
Hal Finkel, Alexander McCaskey, Tobi Popoola +2
Domain-specific languages (DSLs) are both pervasive and powerful, but remain difficult to integrate into large projects. As a result, while DSLs can bring distinct advantages in pe…
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization
Xingfu Wu, Michael Kruse, Prasanna Balaprakash +4
An autotuning is an approach that explores a search space of possible implementations/configurations of a kernel or an application by selecting and evaluating a subset of implement…
Autotuning Search Space for Loop Transformations
Michael Kruse, Hal Finkel, Xingfu Wu
One of the challenges for optimizing compilers is to predict whether applying an optimization will improve its execution speed. Programmers may override the compiler's profitabilit…
Extending C++ for Heterogeneous Quantum-Classical Computing
Thien Nguyen, Anthony Santana, Tyler Kharazi +3
We present qcor - a language extension to C++ and compiler implementation that enables heterogeneous quantum-classical programming, compilation, and execution in a single-source co…
The Last Journey. I. An Extreme-Scale Simulation on the Mira Supercomputer
Katrin Heitmann, Nicholas Frontiere, Esteban Rangel +10
The Last Journey is a large-volume, gravity-only, cosmological N-body simulation evolving more than 1.24 trillion particles in a periodic box with a side-length of 5.025Gpc. It was…
The Mira-Titan Universe. III. Emulation of the Halo Mass Function
Sebastian Bocquet, Katrin Heitmann, Salman Habib +5
We construct an emulator for the halo mass function over group and cluster mass scales for a range of cosmologies, including the effects of dynamical dark energy and massive neutri…
Full-State Quantum Circuit Simulation by Using Data Compression
Xin-Chuan Wu, Sheng Di, Emma Maitreyee Dasgupta +4
Quantum circuit simulations are critical for evaluating quantum algorithms and machines. However, the number of state amplitudes required for full simulation increases exponentiall…
Design and Use of Loop-Transformation Pragmas
Michael Kruse, Hal Finkel
Adding a pragma directive into the source code is arguably easier than rewriting it, for instance for loop unrolling. Moreover, if the application is maintained for multiple platfo…
CosmoDC2: A Synthetic Sky Catalog for Dark Energy Science with LSST
Danila Korytov, Andrew Hearin, Eve Kovacs +27
This paper introduces cosmoDC2, a large synthetic galaxy catalog designed to support precision dark energy science with the Large Synoptic Survey Telescope (LSST). CosmoDC2 is the…
The Outer Rim Simulation: A Path to Many-Core Supercomputers
Katrin Heitmann, Hal Finkel, Adrian Pope +10
We describe the Outer Rim cosmological simulation, one of the largest high-resolution N-body simulations performed to date, aimed at promoting science to be carried out with large-…
ClangJIT: Enhancing C++ with Just-in-Time Compilation
Hal Finkel, David Poliakoff, David F. Richards
The C++ programming language is not only a keystone of the high-performance-computing ecosystem but has proven to be a successful base for portable parallel-programming frameworks.…
HACC Cosmological Simulations: First Data Release
Katrin Heitmann, Thomas D. Uram, Hal Finkel +10
We describe the first major public data release from cosmological simulations carried out with Argonne's HACC code. This initial release covers a range of datasets from large gravi…
Memory-Efficient Quantum Circuit Simulation by Using Lossy Data Compression
Xin-Chuan Wu, Sheng Di, Franck Cappello +3
In order to evaluate, validate, and refine the design of new quantum algorithms or quantum computers, researchers and developers need methods to assess their correctness and fideli…
Amplitude-Aware Lossy Compression for Quantum Circuit Simulation
Xin-Chuan Wu, Sheng Di, Franck Cappello +3
Classical simulation of quantum circuits is crucial for evaluating and validating the design of new quantum algorithms. However, the number of quantum state amplitudes increases ex…
The Borg Cube Simulation: Cosmological Hydrodynamics with CRK-SPH
J. D. Emberson, Nicholas Frontiere, Salman Habib +4
A challenging requirement posed by next-generation observations is a firm theoretical grasp of the impact of baryons on structure formation. Cosmological hydrodynamic simulations m…
Loop Optimization Framework
Michael Kruse, Hal Finkel
The LLVM compiler framework supports a selection of loop transformations such as vectorization, distribution and unrolling. Each transformation is carried-out by specialized passes…
User-Directed Loop-Transformations in Clang
Michael Kruse, Hal Finkel
Directives for the compiler such as pragmas can help programmers to separate an algorithm's semantics from its optimization. This keeps the code understandable and easier to optimi…
The importance of secondary halos for strong lensing in massive galaxy clusters across redshift
Nan Li, Michael D. Gladders, Katrin Heitmann +6
Cosmological cluster-scale strong gravitational lensing probes the mass distribution of the dense cores of massive dark matter halos and the structures along the line of sight from…
A Proposal for Loop-Transformation Pragmas
Michael Kruse, Hal Finkel
Pragmas for loop transformations, such as unrolling, are implemented in most mainstream compilers. They are used by application programmers because of their ease of use compared to…
Halo Profiles and the Concentration-Mass Relation for a ΛCDM Universe
Hillary L. Child, Salman Habib, Katrin Heitmann +4
Profiles of dark matter-dominated halos at the group and cluster scales play an important role in modern cosmology. Using results from two very large cosmological -body simulati…
Quantum Sensing for High Energy Physics
Zeeshan Ahmed, Yuri Alexeev, Giorgio Apollinari +113
Report of the first workshop to identify approaches and techniques in the domain of quantum sensing that can be utilized by future High Energy Physics applications to further the s…