Shushu Wu

According to our database, Shushu Wu authored at least 4 papers between 2020 and 2025.

Collaborative distances:

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

2025

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool.

Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao

CoRR, May, 2025

Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic.

Shushu Wu, Xiwei Wu, Qinxiang Cao

Proc. ACM Program. Lang., 2025

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms.

Chengxi Yang, Shushu Wu, Qinxiang Cao

Proceedings of the Theoretical Aspects of Software Engineering, 2025

2020

Short Text Similarity Calculation Based on Jaccard and Semantic Mixture.

Shushu Wu, Fang Liu, Kai Zhang

Proceedings of the Bio-Inspired Computing: Theories and Applications, 2020