Haining Feng

According to our database, Haining Feng authored at least 5 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities.

Xiang Du, Liangze Yin, Haining Feng, Wei Dong

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs.

Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Security Controller Synthesis for ROS-based Robot.

Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program.

Haining Feng

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Plan, Write, and Revise: an Interactive System for Open-Domain Story Generation.

Seraphina Goldfarb-Tarrant, Haining Feng, Nanyun Peng

Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2019