SMT-based Fuzzing Testing of an ML Compiler Front-end
May 2024 - August 2024
Annapurna Labs, Amazon Web Services
- Generating fuzzing testing suite for HLO IR by generating model inputs for Neuron (Machine Learning) Compiler
- Using SMT-solving as an engine for generating a fuzzing tool, guided by documented constraints as specification
- Improving test coverage and allowing a programmer to better patch a bug by covering for multiple scenarios
- Providing a framework for extending the tool for other IRs