Jifeng Hao

According to our database, Jifeng Hao authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

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