Modern software packages have become increasingly complex with millions of lines of code
and references to many external libraries. Redundant operations are a common …

Today's rapidly growing document volumes pose pressing challenges to modern document
analytics, in both space usage and processing time. In this work, we propose the concept of …

Compilers are an indispensable component in the software stack. Besides generating
machine code, compilers perform multiple optimizations to improve code performance …

This paper presents GLORE, a novel approach to enabling the detection and removal of
large-scoped redundant computations in nested loops. GLORE works on LER-notation, a …

Approximate Nearest Neighbor Search (ANNS) is a critical problem in vector databases.
Cluster-based index is utilized to narrow the search scope of ANNS, thereby accelerating …

Software inefficiencies are inevitable in computer systems. At the code level, software
packages have become increasingly complex, this complexity often introduces inefficiencies …

Numerical optimization has been extensively used in many real-world applications related to
Scientific Computing, Artificial Intelligence and, more recently, Quantum Computing …

This paper describes our recent research progress on generalizing triangle inequality (TI) to
optimize Machine Learning algorithms that involve either vector dot products (eg, Neural …

Production software packages have become increasingly complex with millions of lines of
code, sophisticated control and data flow, and references to a hierarchy of external libraries …

あるため, 両方を呼び出す場合には, 両方をまとめて計算する効率的な融合関数によって代用できる.
本研究では, 作用を定義する関数から, SMT ソルバとデータフロー解析に基づいて …