Jinhai Gong

According to our database, Jinhai Gong authored at least 1 paper in 2021.

Collaborative distances:

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

2021

SecVerifier: A Practical Memory-Security Verifier.

Lu Zhao, Lingyun Xu, Guojing Luo, Xiang Long, Jinhai Gong, Xiaobo Sang

Proceedings of the 21st IEEE International Conference on Software Quality, 2021