Jifeng Hao

According to our database, Jifeng Hao authored at least 4 papers between 2022 and 2026.

Collaborative distances:

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

2026

Multi-model-based transferable and imperceptible 3D adversarial attack.

Qi Lv, Zhiqiang Tian, Zhiyi Huang, Jifeng Hao, Zhe Fu, Qindong Sun

Neurocomputing, 2026

2025

Checking Linearizability of Multi-core Task Management and Scheduling System.

Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv

Proceedings of the Engineering of Complex Computer Systems - 29th International Conference, 2025

2023

VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.

Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2022

Compositional Verification of Interacting Systems Using Event Monads.

Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022