Automatic Data Structure Repair usingSeparation Logic. - Guolong Zheng; Quang Loc Le; ThanhVu Nguyen; Quoc-Sang Phan (ACM SIGSOFT Softw. Eng. Notes, 2018)

SLING: using dynamic analysis to infer program invariants in separation logic. - Ton Chanh Le; Guolong Zheng; ThanhVu Nguyen (PLDI, 2019)

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. - Guolong Zheng; Hamid Bagheri; Gregg Rothermel; Jianghao Wang (FASE, 2020)

Debugging Declarative Models in Alloy. - Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen (ICSME, 2020)

Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2021)

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE (Companion Volume), 2021)

FLACK: Counterexample-Guided Fault Localization for Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE, 2021)

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE (Companion Volume), 2021)

BeAFix: An Automated Repair Tool for Faulty Alloy Models. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2021)

FLACK: Localizing Faults in Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ASE, 2021)

ATR: template-based repair for Alloy specifications. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo F. Frias; Hamid Bagheri (ISSTA, 2022)

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2022)

Capture and Prediction of Rainfall-Induced Landslide Warning Signals Using an Attention-Based Temporal Convolutional Neural Network and Entropy Weight Methods. - Di Zhang; Kai Wei; Yi Yao; Jiacheng Yang; Guolong Zheng; Qing Li 030 (Sensors, 2022)

Unlabeled Action Quality Assessment Based on Multi-dimensional Adaptive Constrained Dynamic Time Warping. - Renguang Chen; Guolong Zheng; Xu Yang 002; Zhide Chen; Jiwu Shu; Wencheng Yang; Kexin Zhu; Chen Feng (CoRR, 2024)

Gradient-Guided Conditional Diffusion Models for Private Image Reconstruction: Analyzing Adversarial Impacts of Differential Privacy and Denoising. - Tao Huang; Jiayang Meng; Hong Chen; Guolong Zheng; Xu Yang 002; Xun Yi; Hua Wang (CoRR, 2024)

Enhancing DP-SGD through Non-monotonous Adaptive Scaling Gradient Weight. - Tao Huang; Qingyu Huang; Xin Shi; Jiayang Meng; Guolong Zheng; Xu Yang 002; Xun Yi (CoRR, 2024)

SSDFusion: A scene-semantic decomposition approach for visible and infrared image fusion. - Rui Ming; Yixian Xiao; Xinyu Liu; Guolong Zheng; Guobao Xiao (Pattern Recognit., 2025)

Towards auditing gradient privacy risks in image reconstruction attacks on deep learning models. - Tao Huang; Xin Shi; Qingyu Huang; Ziyang Chen; Liang Jiang; Chenhuang Wu; Guolong Zheng; Xu Yang 002; Wencheng Yang (Discov. Comput., 2025)