Search Results for author: Hal Finkel

Found 8 papers, 4 papers with code

Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version)

1 code implementation27 Apr 2021 Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul Hovland, Valerie Taylor, Mary Hall

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 methods within Bayesian optimization and evaluate their effectiveness.

Bayesian Optimization

Report of the Workshop on Program Synthesis for Scientific Computing

no code implementations2 Feb 2021 Hal Finkel, Ignacio Laguna

Program synthesis is an active research field in academia, national labs, and industry.

Program Synthesis

Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization

no code implementations15 Oct 2020 Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul Hovland, Valerie Taylor, Mary Hall

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 implementations/configurations on a target platform and/or use models to identify a high performance implementation/configuration.

Bayesian Optimization

Autotuning Search Space for Loop Transformations

no code implementations13 Oct 2020 Michael Kruse, Hal Finkel, Xingfu Wu

In this paper we propose a loop transformation search space that takes the form of a tree, in contrast to previous approaches that usually use vector spaces to represent loop optimization configurations.

The Last Journey. I. An Extreme-Scale Simulation on the Mira Supercomputer

no code implementations2 Jun 2020 Katrin Heitmann, Nicholas Frontiere, Esteban Rangel, Patricia Larsen, Adrian Pope, Imran Sultan, Thomas Uram, Salman Habib, Hal Finkel, Danila Korytov, Eve Kovacs, Silvio Rizzi, Joe Insley

A range of analysis tools have been run in situ to enable a diverse set of science projects, and at the same time, to keep the resulting data amount manageable.

Cosmology and Nongalactic Astrophysics

Design and Use of Loop-Transformation Pragmas

1 code implementation6 Oct 2019 Michael Kruse, Hal Finkel

Adding a pragma directive into the source code is arguably easier than rewriting it, for instance for loop unrolling.

Rolling Shutter Correction

The Mira-Titan Universe: Precision Predictions for Dark Energy Surveys

1 code implementation11 Aug 2015 Katrin Heitmann, Derek Bingham, Earl Lawrence, Steven Bergner, Salman Habib, David Higdon, Adrian Pope, Rahul Biswas, Hal Finkel, Nicholas Frontiere, Suman Bhattacharya

The new sampling method allows us to build precision emulators from just 26 cosmological models and to increase the emulator accuracy by adding new sets of simulations in a prescribed way.

Cosmology and Nongalactic Astrophysics

Gravitational Waves from Oscillon Preheating

1 code implementation22 Apr 2013 Shuang-Yong Zhou, Edmund J. Copeland, Richard Easther, Hal Finkel, Zong-Gang Mou, Paul M. Saffin

However, a significant stochastic gravitational wave background may be generated during preheating itself (i. e, when oscillons are forming), and in this case the characteristic size of the oscillons is imprinted on the gravitational wave power spectrum, which has multiple, distinct peaks.

Cosmology and Nongalactic Astrophysics General Relativity and Quantum Cosmology High Energy Physics - Phenomenology High Energy Physics - Theory

Cannot find the paper you are looking for? You can Submit a new open access paper.