π€ AI Summary
This work addresses the longstanding trade-off between performance and latency in large finite impulse response (FIR) filters commonly used in image, video, and audio processing. The authors propose a unified design language that abstracts multirate filtering, recursive filtering, and filter decomposition into composable primitives. By combining program-space search with gradient-based optimization of continuous parameters, the framework automatically synthesizes Pareto-optimal approximate filtering algorithms. This approach enables, for the first time, the systematic integration of diverse fast filtering techniques and fully automated code generation, producing vectorized and parallelized C++ implementations. Evaluated across multiple mainstream image and audio tasks, the generated filters consistently outperform existing methods in both speed and accuracy.
π Abstract
Processing images, video, and audio often requires running large finite impulse response (FIR) filters with strict performance and latency requirements. Prior methods for fast filter approximations are special cases or combinations of a few key techniques: multi-rate and recurrent filtering, and decomposing filters into sums or cascades. We unify these techniques as primitives within a single design language for fast 1D and 2D filters. Given a target filter to approximate, we automatically search this program space, fitting continuous parameters with gradient descent, to generate a Pareto frontier of algorithms that trade off performance with quality. Our system produces substantially higher-quality and faster filter approximations than have been previously described for several popular imaging and audio filters. Furthermore we demonstrate how to automatically lower programs in this design space to optimized, vectorized, parallel, C++ code which is fused for data locality.