Tensor Program Optimization with Probabilistic Programs

05/26/2022
by   Junru Shao, et al.
0

Automatic optimization for tensor programs becomes increasingly important as we deploy deep learning in various environments, and efficient optimization relies on a rich search space and effective search. Most existing efforts adopt a search space which lacks the ability to efficiently enable domain experts to grow the search space. This paper introduces MetaSchedule, a domain-specific probabilistic programming language abstraction to construct a rich search space of tensor programs. Our abstraction allows domain experts to analyze the program, and easily propose stochastic choices in a modular way to compose program transformation accordingly. We also build an end-to-end learning-driven framework to find an optimized program for a given search space. Experimental results show that MetaSchedule can cover the search space used in the state-of-the-art tensor program optimization frameworks in a modular way. Additionally, it empowers domain experts to conveniently grow the search space and modularly enhance the system, which brings 48 learning workloads.

READ FULL TEXT
research
06/11/2020

Ansor : Generating High-Performance Tensor Programs for Deep Learning

High-performance tensor programs are crucial to guarantee efficient exec...
research
07/09/2022

TensorIR: An Abstraction for Automatic Tensorized Program Optimization

Deploying deep learning models on various devices has become an importan...
research
02/10/2023

Shrinking the Inductive Programming Search Space with Instruction Subsets

Inductive programming frequently relies on some form of search in order ...
research
01/21/2021

PyGlove: Symbolic Programming for Automated Machine Learning

Neural networks are sensitive to hyper-parameter and architecture choice...
research
07/11/2012

Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space

The paper introduces mixed networks, a new framework for expressing and ...
research
02/27/2018

Estimating Total Search Space Size for Specific Piece Sets in Chess

Automatic chess problem or puzzle composition typically involves generat...
research
03/13/2023

Improved Tree Search for Automatic Program Synthesis

In the task of automatic program synthesis, one obtains pairs of matchin...

Please sign up or login with your details

Forgot password? Click here to reset