Zhilei Han
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Deadlock Verification via Ordering-Constrained Mutex Modeling. | Pei Wang, Zhilei Han, Zhihang Sun, Fei He |
| 2025 | ASPLOS | Robustness Verification for Checking Crash Consistency of Non-volatile Memory. | Zhilei Han, Fei He |
| 2023 | ICSE | Data-driven Recurrent Set Learning For Non-termination Analysis. | Zhilei Han, Fei He |