Jifeng Hao

dblp:325/7728 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
4since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Multi-model-based transferable and imperceptible 3D adversarial attack
Jifeng Hao, Qindong Sun
Neurocomputing4
2025 Checking Linearizability of Multi-core Task Management and Scheduling System
Qiaowen Jia, Liangjie Lv, Bohua Zhan, Peng Wu 0002, Jifeng Hao, Chao Wang 0069
ICECCS6
2023 VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects
Qiaowen Jia, Peng Wu 0002, Bohua Zhan, Jifeng Hao, Chao Wang 0069
TASE5
2022 Compositional Verification of Interacting Systems Using Event Monads
Bohua Zhan, Gehang Zhao, Jifeng Hao, Bican Xia
ITP5