Fuzzing Deep Learning Compilers with HirGen
Deep Learning (DL) compilers are widely adopted to optimize advanced DL models for efficient deployment on diverse hardware.
Their quality has a profound effect on the quality of compiled
DL models. A recent bug study shows that the optimization of
high-level intermediate representations (IRs) is the most error-prone
compilation stage and bugs in this stage account for 44.92% of the
whole collected ones. However, existing testing techniques do not
consider the features related to high-level optimization (e.g., the
high-level IR), and are therefore weak in exposing bugs at this stage.
To bridge this gap, we propose HirGen, an automated testing technique that effectively exposes coding mistakes in the optimization
of high-level IRs. The design of HirGen includes 1) three coverage
criteria to generate diverse and valid computational graphs; 2) the
use of the high-level IR’s language features to generate diverse IRs;
3) three test oracles of which two are inspired by metamorphic
testing and differential testing. HirGen has successfully detected
21 bugs that occur at TVM, with 17 bugs confirmed and 12 fixed.
Further, we construct four baselines using state-of-the-art DL compiler fuzzers that can cover the high-level optimization stage. Our
experiment results show that HirGen can detect 10 crashes and
inconsistencies that cannot be detected by the baselines in 48 hours.
We also evaluate the usefulness of our proposed coverage criteria
and test oracles.
Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change
13:30 - 15:00
|Guiding Greybox Fuzzing with Mutation TestingACM SIGSOFT Distinguished Paper
Vasudev Vikram Carnegie Mellon University, Isabella Laybourn Carnegie Mellon University, Ao Li Carnegie Mellon University, Nicole Nair Swarthmore College, Kelton OBrien University of Minnesota, Rafaello Sanna University of Rochester, Rohan Padhye Carnegie Mellon UniversityDOI Pre-print Media Attached
|Rare Path Guided Fuzzing
Seemanta Saha University of California at Santa Barbara, Laboni Sarker University of California at Santa Barbara, Md Shafiuzzaman University of California at Santa Barbara, Chaofan Shou University of California at Santa Barbara, Albert Li University of California at Santa Barbara, Ganesh Sankaran University of California at Santa Barbara, Tevfik Bultan University of California at Santa BarbaraDOI
|Finding Short Slow Inputs Faster with Grammar-Based Search
|Fuzzing Embedded Systems using Debug Interfaces
Max Eisele Robert Bosch; Saarland University, Daniel Ebert Robert Bosch, Christopher Huth Robert Bosch, Andreas Zeller CISPA Helmholtz Center for Information SecurityDOI Pre-print
|GrayC: Greybox Fuzzing of Compilers and Analysers for CACM SIGSOFT Distinguished Paper
Karine Even-Mendoza King’s College London, Arindam Sharma Imperial College London, Alastair F. Donaldson Imperial College London, Cristian Cadar Imperial College LondonDOI
|Fuzzing Deep Learning Compilers with HirGen
Haoyang Ma Hong Kong University of Science and Technology, Qingchao Shen Tianjin University, Yongqiang Tian University of Waterloo, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and TechnologyDOI