Leping Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | U2UData+: A Scalable Swarm UAVs Autonomous Flight Dataset for Embodied Long-horizon Tasks. | Tongtong Feng, Xin Wang, Feilin Han, Leping Zhang, Wenwu Zhu |
| 2026 | WSDM | Counteracting the Delayed Conversions in OCPC with Survival Analysis. | Leping Zhang, Chenxuan He, Xiao Zhang, Yichao Wang, Tengxiang Zhang, Zhenhua Dong, Jun Xu |
| 2024 | TACAS | A Comprehensive Specification and Verification of the L4 Microkernel API. | Leping Zhang, Yongwang Zhao, Jianxin Li |
| 2023 | APSEC | Formal Verification of Interrupt Isolation for the TrustZone-based TEE. | Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2019 | APSEC | Formal Modelling and Verification of Spinlocks at Instruction Level. | Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan |