Visual understanding of 3-D environments in real time, at low power, is a huge
computational challenge. Often referred to as simultaneous localization and mapping …

Library migration is a challenging problem, where most existing approaches rely on prior
knowledge. This can be, for example, information derived from changelogs or statistical …

Multi-level intermediate representations (IR) show great promise for lowering the design
costs for domain-specific compilers by providing a reusable, extensible, and non-opini …

Well-crafted libraries deliver much higher performance than code generated by
sophisticated application programmers using advanced optimizing compilers. When a code …

Large language models (LLMs) have been massively applied to many tasks, often
surpassing state-of-the-art approaches. While their effectiveness in code generation has …

Dedicated tensor accelerators demonstrate the importance of linear algebra in modern
applications. Such accelerators have the potential for impressive performance gains, but …

This paper is concerned with synthesizing programs based on black-box oracles: we are
interested in the case where there exists an executable implementation of a component or …

MLIR is an emerging compiler infrastructure for modern hardware, but existing programs
cannot take advantage of MLIR's high-performance compilation if they are described in …

Sparse linear algebra is central to many scientific programs, yet compilers fail to optimize it
well. High-performance libraries are available, but adoption costs are significant. Moreover …

Porting specialized application components to new platforms is difficult. This is particularly
true if the components depend on proprietary libraries, or specific hardware. To tackle this …