Plan, Write, and Revise: an Interactive System for Open-Domain Story Generation. - Seraphina Goldfarb-Tarrant; Haining Feng; Nanyun Peng 001 (NAACL-HLT (Demonstrations), 2019)

A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program. - Haining Feng (ASE, 2020)

Security Controller Synthesis for ROS-based Robot. - Xudong Zhao 006; Shaoxian Shu; Yutian Lan; Haining Feng; Wei Dong 006 (QRS Companion, 2020)

Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. - Haining Feng; Liangze Yin; Wenfeng Lin; Xudong Zhao 006; Wei Dong 006 (QRS Companion, 2020)

Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. - Xiang Du; Liangze Yin; Haining Feng; Wei Dong 006 (APSEC, 2021)