English
Related papers

Related papers: CryptOpt: Automatic Optimization of Straightline C…

200 papers

A compiler processes the code written in a high level language and produces machine executable code. The compiler writers often face the challenge of keeping the compilation times reasonable. That is because aggressive optimization passes…

Programming Languages · Computer Science 2019-05-30 Sanket Tavarageri

While polyhedral compilers have shown success in implementing advanced code transformations, they still face challenges in selecting the ones that lead to the most profitable speedups. This has motivated the use of machine learning based…

Developing an application with high performance through the code optimization places a greater responsibility on the programmers. While most of the existing compilers attempt to automatically optimize the program code, manual techniques…

Programming Languages · Computer Science 2012-03-06 Mohammed Fadle Abdulla

As quantum computers continue to improve and support larger, more complex computations, smart control hardware and compilers are needed to efficiently leverage the capabilities of these systems. This paper introduces a novel approach to…

Quantum Physics · Physics 2025-11-19 Folkert de Ronde , Alexander Knapen , Stephan Wong , Sebastian Feld

Recent years have witnessed the booming of various differentiable optimization algorithms. These algorithms exhibit different execution patterns, and their execution needs massive computational resources that go beyond a single CPU and GPU.…

Mathematical Software · Computer Science 2022-11-15 Jie Ren , Xidong Feng , Bo Liu , Xuehai Pan , Yao Fu , Luo Mai , Yaodong Yang

Trajectory optimization is a powerful tool for robot motion planning and control. State-of-the-art general-purpose nonlinear programming solvers are versatile, handle constraints effectively and provide a high numerical robustness, but they…

Optimization and Control · Mathematics 2023-07-31 Lander Vanroye , Ajay Sathya , Joris De Schutter , Wilm Decré

Given the limitations of current hardware, the theoretical gains promised by quantum computing remain unrealized across practical applications. But the gap between theory and hardware is closing, assisted by developments in quantum…

Quantum Physics · Physics 2023-10-30 Elena R. Henderson , Harsha Nagarajan , Carleton Coffrin

Quantum computers promise exponential speedups for problems in cryptography, chemistry, and optimization. Realizing this promise requires fault tolerance: physical qubits are noisy, so logical qubits must be encoded redundantly across many…

Programming Languages · Computer Science 2026-05-15 Aws Albarghouthi

Metaheuristics are prominent gradient-free optimizers for solving hard problems that do not meet the rigorous mathematical assumptions of analytical solvers. The canonical manual optimizer design could be laborious, untraceable and…

Neural and Evolutionary Computing · Computer Science 2023-11-15 Qi Zhao , Bai Yan , Taiwei Hu , Xianglong Chen , Qiqi Duan , Jian Yang , Yuhui Shi

A superoptimizing compiler--one that performs a meaningful search of the program space as part of the optimization process--can find optimization opportunities that are missed by even the best existing optimizing compilers. We created…

Programming Languages · Computer Science 2024-09-04 Zhengyang Liu , Stefan Mada , John Regehr

In this paper, we present a work in progress about a deep learning based approach for automatic code optimization in polyhedral compilers. The proposed technique explores combinations of affine and non-affine loop transformations to find…

Optimization techniques play an important role in several scientific and real-world applications, thus becoming of great interest for the community. As a consequence, a number of open-source libraries are available in the literature, which…

Neural and Evolutionary Computing · Computer Science 2017-04-19 Joao Paulo Papa , Gustavo Henrique Rosa , Douglas Rodrigues , Xin-She Yang

Optimization on manifolds is a class of methods for optimization of an objective function, subject to constraints which are smooth, in the sense that the set of points which satisfy the constraints admits the structure of a differentiable…

Mathematical Software · Computer Science 2020-09-03 James Townsend , Niklas Koep , Sebastian Weichwald

NonOpt, a C++ software package for minimizing locally Lipschitz objective functions, is presented. The software is intended primarily for minimizing objective functions that are nonconvex and/or nonsmooth. The package has implementations of…

Optimization and Control · Mathematics 2025-04-01 Frank E. Curtis , Lara Zebiane

FPGAs are well-suited for dataflow architectures that process data in a streaming or pipelined manner, thus satisfying the high computational and communication demands of emerging applications. However, manually implementing an efficient…

Hardware Architecture · Computer Science 2026-04-15 Weichuang Zhang , Yiquan Wang , Xinzhou Zhang , Chi Zhang , Yu Feng , Xiaofeng Hou , Chao Li , Jieru Zhao , Minyi Guo

In recent years, the quantum computing community has seen an explosion of novel methods to implement non-trivial quantum computations on near-term hardware. An important direction of research has been to decompose an arbitrary entangled…

Quantum Physics · Physics 2021-11-24 Harsha Nagarajan , Owen Lockwood , Carleton Coffrin

Enabling compilers to automatically optimize code has been a longstanding goal for the compiler community. Efficiently solving this problem requires using precise cost models. These models predict whether applying a sequence of code…

Just-in-time compilation provides significant performance improvements for programs written in dynamic languages. These benefits come from the ability of the compiler to speculate about likely cases and generate optimized code for these.…

Programming Languages · Computer Science 2022-04-06 Olivier Flückiger , Jan Ječmen , Sebastián Krynski , Jan Vitek

Recent advances in computing hardware and modeling software have given rise to new applications for numerical optimization. These new applications occasionally uncover bottlenecks in existing optimization algorithms and necessitate further…

Mathematical Software · Computer Science 2024-10-18 Anugrah Jo Joshy , John T. Hwang

High Level Synthesis (HLS) tools, like the Intel FPGA SDK for OpenCL, improve design productivity and enable efficient design space exploration guided by simple program directives (pragmas), but may sometimes miss important optimizations…

Hardware Architecture · Computer Science 2022-01-12 Adel Ejjeh , Vikram Adve , Rob Rutenbar