Kaiwen Zhang

According to our database, Kaiwen Zhang authored at least 12 papers between 2021 and 2026.

Collaborative distances:

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

2026

Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs.

Yu Zhang, Kaiwen Zhang, Guanjun Liu, Yuandao Cai, Shengchao Qin

Autom. Softw. Eng., December, 2026

2025

Deep Learning Based Concurrency Bug Detection and Localization.

Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang, Yiming Cheng, Yuandao Cai, Xiaofeng Li, Guanjun Liu

CoRR, August, 2025

Concurrency Bug Detection via Static Analysis and Large Language Models.

Zuocheng Feng, Yiming Chen, Kaiwen Zhang, Xiaofeng Li, Guanjun Liu

Future Internet, 2025

2024

Robust Multi-Agent Reinforcement Learning Method Based on Adversarial Domain Randomization for Real-World Dual-UAV Cooperation.

Shutong Chen, Guanjun Liu, Ziyuan Zhou, Kaiwen Zhang, Jiacun Wang

IEEE Trans. Intell. Veh., January, 2024

Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets.

Kaiwen Zhang, Guanjun Liu, Yantao Sun, Xiaofeng Li, Jian Guan, Yi Xie, Bin Gu

Int. J. Softw. Informatics, 2024

Static Deadlock Detection for Rust Programs.

Yu Zhang, Kaiwen Zhang, Guanjun Liu

CoRR, 2024

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs.

Xinbang Hu, Guanjun Liu, Xiaofeng Li, Kaiwen Zhang, Jian Guan, Bin Gu

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2024

TRustPN: Transforming Rust Source Code to Petri Nets for Checking Deadlocks.

Kaiwen Zhang, Guanjun Liu

Proceedings of the 10th International Conference on Control, 2024

2023

MARL Sim2real Transfer: Merging Physical Reality With Digital Virtuality in Metaverse.

Haoran Shi, Guanjun Liu, Kaiwen Zhang, Ziyuan Zhou, Jiacun Wang

IEEE Trans. Syst. Man Cybern. Syst., April, 2023

2022

Lightweight unmanned aerial vehicle video object detection based on spatial-temporal correlation.

Pei Zhou, Guanjun Liu, Jiacun Wang, Qianli Weng, Kaiwen Zhang, Ziyuan Zhou

Int. J. Commun. Syst., 2022

Automatically Transform Rust Source to Petri Nets for Checking Deadlocks.

Kaiwen Zhang, Guanjun Liu

CoRR, 2022

2021

Goal-conditioned Behavioral Cloning with Prioritized Sampling.

Fei Ma, Guanjun Liu, Kaiwen Zhang

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021