Large Language Models for Safe Minimization. - Aashish Yadavally; Xiaokai Rong; Phat Nguyen; Tien N. Nguyen (ICSE, 2025)

Blended Analysis for Predictive Execution. - Yi Li 048; Hridya Dhulipala; Aashish Yadavally; Xiaokai Rong; Shaohua Wang 002; Tien N. Nguyen (Proc. ACM Softw. Eng., 2025)