paper-with-me

Papers

Hidet: Task-Mapping Programming Paradigm for Deep Learning Tensor Programs

2022-10-18 · Yaoyao Ding, Cody Hao Yu, Bojian Zheng, Yizhi Liu, Yida Wang, Gennady Pekhimenko

As deep learning models nowadays are widely adopted by both cloud services and edge devices, reducing the latency of deep learning model inferences becomes crucial to provide efficient model serving. However, it is challenging to develop efficient tensor programs for deep learning operators due to the high complexity of modern accelerators and the rapidly growing number of operators. Deep learning compilers, such as Apache TVM, adopt declarative scheduling primitives to lower the bar of developing tensor programs. However, we show that this approach is insufficient to cover state-of-the-art tensor program optimizations. In this paper, we propose to embed the scheduling process into tensor programs and use dedicated mappings, called task mappings, to define the computation assignment and ordering. This new approach greatly enriches the expressible optimizations by allowing developers to manipulate tensor programs at a much finer granularity. We call the proposed method the task-mapping programming paradigm. In addition, we propose a new post-scheduling fusion optimization that allows developers to focus on scheduling every single operator and automates the fusion after scheduling. It greatly reduces the engineering efforts for operator fusion. Our proposed paradigm also constructs an efficient hardware-centric schedule space, which is agnostic to the program input size and greatly reduces the tuning time. With the proposed paradigm, we implement a deep learning compiler Hidet. Extensive experiments on modern convolution and transformer models show that Hidet outperforms state-of-the-art DNN inference framework, ONNX Runtime, and compiler, TVM equipped with scheduler AutoTVM and Ansor, by up to 1.48x (1.22x on average). It also reduces the tuning time by 20x and 11x compared with AutoTVM and Ansor, respectively. We open-sourced hidet at https://www.github.com/hidet-org/hidet.

📄 PDF Abstract BibTeX arXiv:2210.09603

Code (2)

hidet-org/hidet 공식 구현 pytorch
yaoyaoding/hidet-artifacts 공식 구현 pytorch

Tasks

Deep LearningScheduling

Methods 이 논문이 사용한 방법론

Convolution A convolution is a type of matrix operation, consisting of a kernel, a small matrix of weights, that slides over input data performing element-wise multiplication with the…

Similar Papers 제목 키워드 기반

Hexcute: A Tile-based Programming Language with Automatic Layout and Task-Mapping Synthesis

2025-04-22 · Xiao Zhang, Yaoyao Ding, Yang Hu, Gennady Pekhimenko

Deep learning (DL) workloads mainly run on accelerators like GPUs. Recent DL quantization techniques demand a new matrix multiplication operator with mixed input data types, further complicating GPU optimization. Prior h…

GPUQuantization

Differentiable Programming of Isometric Tensor Networks

2021-10-08 · Chenhua Geng, Hong-Ye Hu, Yijian Zou

Differentiable programming is a new programming paradigm which enables large scale optimization through automatic calculation of gradients also known as auto-differentiation. This concept emerges from deep learning, and …

Tensor Networks

ExAIS: Executable AI Semantics

2022-02-20 · Richard Schumi, Jun Sun

Neural networks can be regarded as a new programming paradigm, i.e., instead of building ever-more complex programs through (often informal) logical reasoning in the programmers' mind, complex 'AI' systems are built by o…

Logical Reasoningvalid

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies

2024-04-14 · Luca Buoncompagni, Fulvio Mastrogiovanni

The paper tackles the issue of mapping logic axioms formalised in the Ontology Web Language (OWL) within the Object-Oriented Programming (OOP) paradigm. The issues of mapping OWL axioms hierarchies and OOP objects hierar…

veScale: Consistent and Efficient Tensor Programming with Eager-Mode SPMD

2025-09-05 · Youjie Li, Cheng Wan, Zhiqi Lin, Hongyu Zhu 외 arxiv

Large Language Models (LLMs) have scaled rapidly in size and complexity, requiring increasingly intricate parallelism for distributed training, such as 3D parallelism. This sophistication motivates a shift toward simpler…