HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation.
Haoyang MaQingchao ShenYongqiang TianJunjie ChenShing-Chi CheungPublished in: CoRR (2022)
Keyphrases
- high level
- programming language
- low level
- optimization algorithm
- mathematical programming
- source code
- description logics
- generation process
- graph theory
- hardware and software
- directed graph
- optimization process
- optimization method
- graph representation
- global optimization
- software systems
- graph theoretic
- graph model
- general purpose
- instruction scheduling
- graph structure
- structured data
- random walk
- optimization problems
- query processing