Zhineng Zhong

According to our database, Zhineng Zhong authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2025

Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles.

Zhineng Zhong, Ziqi Zhang, Hanqin Guan, Ding Li

Proc. ACM Program. Lang., 2025

DPUaudit: DPU-assisted Pull-based Architecture for Near-Zero Cost System Auditing.

Peng Jiang, Hanlin Jiang, Ruizhe Huang, Hanwen Lei, Zhineng Zhong, Shaokun Zhang, Yuxin Ren, Ning Jia, Xinwei Hu, Yao Guo, Xiangqun Chen, Ding Li

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2025

2024

A novel reinforcement learning based Heap-based optimizer.

Xuesen Ma, Zhineng Zhong, Yangyu Li, Dacheng Li, Yan Qiao

Knowl. Based Syst., 2024

2023

SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution.

Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, Xiangqun Chen

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications.

Hanwen Lei, Ziqi Zhang, Shaokun Zhang, Peng Jiang, Zhineng Zhong, Ningyu He, Ding Li, Yao Guo, Xiangqun Chen

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023