Li, X.; Liu, X.; Chen, L.; Prajapati, R.; Wu, D. ALPHAPROG: Reinforcement Generation of Valid Programs for Compiler Fuzzing. AAAI 2022, 36, 12559-12565.