paper-with-me

홈 › Papers

CryptOpt: Automatic Optimization of Straightline Code

2023-05-31 · Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom

Manual engineering of high-performance implementations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; however, they are limited by design in what they can do. To address this, we present CryptOpt, an automatic optimizer for long stretches of straightline code. Experimental results across eight hardware platforms show that CryptOpt achieves a speed-up factor of up to 2.56 over current off-the-shelf compilers.

📄 PDF Abstract BibTeX arXiv:2305.19586

Code (1)

0xade1a1de/cryptopt

Similar Papers 제목 키워드 기반

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)

2022-11-19 · Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly 외

Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have the patience to write directly in assembly…

BenchmarkingC++ code

StraightLine: An End-to-End Resource-Aware Scheduler for Machine Learning Application Requests

2024-07-25 · Cheng-Wei Ching, Boyuan Guan, Hailu Xu, Liting Hu

The life cycle of machine learning (ML) applications consists of two stages: model development and model deployment. However, traditional ML systems (e.g., training-specific or inference-specific systems) focus on one pa…

A Reinforcement Learning Environment for Automatic Code Optimization in the MLIR Compiler

2024-09-17 · Nazim Bendib, Iheb Nassim Aouadj, Riyadh Baghdadi

Code optimization is a crucial task aimed at enhancing code performance. However, this process is often tedious and complex, highlighting the necessity for automatic code optimization techniques. Reinforcement Learning (…

reinforcement-learningReinforcement LearningReinforcement Learning (RL)

Combining Neural Architecture Search and Automatic Code Optimization: A Survey

2024-08-07 · Inas Bachiri, Hadjer Benmeziane, Smail Niar, Riyadh Baghdadi 외

Deep Learning models have experienced exponential growth in complexity and resource demands in recent years. Accelerating these models for efficient execution on resource-constrained devices has become more crucial than …

Hardware Aware Neural Architecture SearchNeural Architecture SearchSurvey

Constrained Bayesian Optimization for Automatic Chemical Design

2017-09-16 · Ryan-Rhys Griffiths, José Miguel Hernández-Lobato

Automatic Chemical Design is a framework for generating novel molecules with optimized properties. The original scheme, featuring Bayesian optimization over the latent space of a variational autoencoder, suffers from the…

Bayesian Optimization