Haining Feng

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 6

Top Topics

Controller Synthesis

Story Generation

Question Answering

Top Venues

Publications

Xiang Du, Liangze Yin, Haining Feng, Wei Dong
Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. APSEC (2021)
Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong
Security Controller Synthesis for ROS-based Robot. QRS Companion (2020)
Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. QRS Companion (2020)
Haining Feng
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program. ASE (2020)
Seraphina Goldfarb-Tarrant, Haining Feng, Nanyun Peng
Plan, Write, and Revise: an Interactive System for Open-Domain Story Generation. CoRR (2019)
Seraphina Goldfarb-Tarrant, Haining Feng, Nanyun Peng
Plan, Write, and Revise: an Interactive System for Open-Domain Story Generation. NAACL-HLT (Demonstrations) (2019)