Abstract:Finite-precision arithmetic computations face an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined, among other factors, by different data types but also evaluation orders. To put it simply, the shorter a precision's bit-length, the larger the roundoff error will be, but the faster the program will run. Similarly, the fewer arithmetic operations the program performs, the faster it will run; however, the effect on the roundoff error is less clear-cut. Manually optimizing the efficiency of finite-precision programs while ensuring that results remain accurate enough is challenging. The unintuitive and discrete nature of finite-precision makes estimation of roundoff errors difficult; furthermore the space of possible data types and evaluation orders is prohibitively large. We present the first fully automated and sound technique and tool for optimizing the performance of floating-point and fixed-point arithmetic kernels. Our technique combines rewriting and mixed-precision tuning. Rewriting searches through different evaluation orders to find one which minimizes the roundoff error at no additional runtime cost. Mixed-precision tuning assigns different finite precisions to different variables and operations and thus provides finer-grained control than uniform precision. We show that when these two techniques are designed and applied together, they can provide higher performance improvements than each alone.

Data-driven fixed-point tuning for truncated realized variations

Efficient Integrated Volatility Estimation in the Presence of Infinite Variation Jumps via Debiased Truncated Realized Variations

Double Smoothed Volatility Estimation of Potentially Non‐stationary Jump‐diffusion Model of Shibor

Estimation of Tempered Stable Lévy Models of Infinite Variation

Unbiased truncated quadratic variation for volatility estimation in jump diffusion processes

Joint Calibration of Local Volatility Models with Stochastic Interest Rates using Semimartingale Optimal Transport

Asymptotic Properties for Multipower Variation of Semimartingales and Gaussian Integral Processes with Jumps

Analytically pricing volatility options and capped/floored volatility swaps with nonlinear payoffs in discrete observation case under the Merton jump-diffusion model driven by a nonhomogeneous Poisson process

Sound Mixed-Precision Optimization with Rewriting

Roughing It Up: Including Jump Components in the Measurement, Modeling, and Forecasting of Return Volatility

Estimation of the quadratic variation of log prices based on the Itô semi-martingale

Pricing Discretely Monitored Asian Options Under Regime-Switching and Stochastic Volatility Models with Jumps

A spectral estimation of tempered stable stochastic volatility models and option pricing

Estimation of Jump Tails

Testing for jumps in processes with integral fractional part and jump-robust inference on the Hurst exponent

Tuning-Free Maximum Likelihood Training of Latent Variable Models via Coin Betting

Can Uncertainty Quantification Enable Better Learning-based Index Tuning?

Tuning parameter selection in econometrics

Randomization of Short-Rate Models, Analytic Pricing and Flexibility in Controlling Implied Volatilities

Optimal choice among a class of nonparametric estimators of the jump rate for piecewise-deterministic Markov processes

Data-driven rational feedforward tuning: With application to an ultraprecision wafer stage