Nerva: Automated application synthesis for humanoid robot from user natural language description. - Hao Li 056; Yu-Ping Wang 001; Tai-Jiang Mu (Commun. Inf. Syst., 2017)

Synthesizing Robot Programs with Interactive Tutor Mode. - Hao Li 056; Yu-Ping Wang 001; Tai-Jiang Mu (Int. J. Autom. Comput., 2019)

SmartShell: Automated Shell Scripts Synthesis from Natural Language. - Hao Li 056; Yu-Ping Wang 001; Jie Yin; Gang Tan (Int. J. Softw. Eng. Knowl. Eng., 2019)

Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation. - Jie Yin; Gang Tan; Hao Li 056; Xiaolong Bai; Yu-Ping Wang 001; Shi-Min Hu 001 (Sci. Comput. Program., 2019)