Kaiwen Zhang

12 papers C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs.
Autom. Softw. Eng.
Yu Zhang, Kaiwen Zhang, Guanjun Liu, Yuandao Cai, Shengchao Qin
2025 J jnl
Concurrency Bug Detection via Static Analysis and Large Language Models.
Future Internet
Zuocheng Feng, Yiming Chen, Kaiwen Zhang, Xiaofeng Li, Guanjun Liu
2025 J jnl
Deep Learning Based Concurrency Bug Detection and Localization.
CoRR
Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang, Yiming Cheng, Yuandao Cai, Xiaofeng Li, Guanjun Liu
2024 — conf
An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs.
ICNSC
Xinbang Hu, Guanjun Liu, Xiaofeng Li, Kaiwen Zhang, Jian Guan, Bin Gu
2024 J jnl
Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets.
Int. J. Softw. Informatics
Kaiwen Zhang, Guanjun Liu, Yantao Sun, Xiaofeng Li, Jian Guan, Yi Xie, Bin Gu
2024 J jnl
Robust Multi-Agent Reinforcement Learning Method Based on Adversarial Domain Randomization for Real-World Dual-UAV Cooperation.
IEEE Trans. Intell. Veh.
Shutong Chen, Guanjun Liu, Ziyuan Zhou, Kaiwen Zhang, Jiacun Wang
2024 J jnl
Static Deadlock Detection for Rust Programs.
CoRR
Yu Zhang, Kaiwen Zhang, Guanjun Liu
2024 C conf
TRustPN: Transforming Rust Source Code to Petri Nets for Checking Deadlocks.
CoDIT
Kaiwen Zhang, Guanjun Liu
2023 J jnl
MARL Sim2real Transfer: Merging Physical Reality With Digital Virtuality in Metaverse.
IEEE Trans. Syst. Man Cybern. Syst.
Haoran Shi, Guanjun Liu, Kaiwen Zhang, Ziyuan Zhou, Jiacun Wang
2022 J jnl
Automatically Transform Rust Source to Petri Nets for Checking Deadlocks.
CoRR
Kaiwen Zhang, Guanjun Liu
2022 J jnl
Lightweight unmanned aerial vehicle video object detection based on spatial-temporal correlation.
Int. J. Commun. Syst.
Pei Zhou, Guanjun Liu, Jiacun Wang, Qianli Weng, Kaiwen Zhang, Ziyuan Zhou
2021 — conf
Goal-conditioned Behavioral Cloning with Prioritized Sampling.
ICNSC
Fei Ma, Guanjun Liu, Kaiwen Zhang