Haining Feng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | APSEC | Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. | Xiang Du, Liangze Yin, Haining Feng, Wei Dong |
| 2020 | QRS | Security Controller Synthesis for ROS-based Robot. | Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong |
| 2020 | QRS | Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. | Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong |
| 2019 | NAACL | Plan, Write, and Revise: an Interactive System for Open-Domain Story Generation. | Seraphina Goldfarb-Tarrant, Haining Feng, Nanyun Peng |