CIVL: Formal Verification of Parallel Programs. - Manchun Zheng; Michael S. Rogers; Ziqing Luo; Matthew B. Dwyer; Stephen F. Siegel (ASE, 2015)

CIVL: the concurrency intermediate verification language. - Stephen F. Siegel; Manchun Zheng; Ziqing Luo; Timothy K. Zirkel; Andre V. Marianiello; John G. Edenhofner; Matthew B. Dwyer; Michael S. Rogers (SC, 2015)

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). - Manchun Zheng; John G. Edenhofner; Ziqing Luo; Mitchell J. Gerrard; Michael S. Rogers; Matthew B. Dwyer; Stephen F. Siegel (TACAS, 2016)

Verification of MPI programs using CIVL. - Ziqing Luo; Manchun Zheng; Stephen F. Siegel (EuroMPI/USA, 2017)

Towards Self-Verification in Finite Difference Code Generation. - Jan Hückelheim; Ziqing Luo; Fabio Luporini; Navjot Kukreja; Michael Lange 001; Gerard Gorman; Stephen F. Siegel; Matthew B. Dwyer; Paul D. Hovland (CORRECTNESS@SC, 2017)

Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. - Ziqing Luo; Stephen F. Siegel (ISoLA (2), 2018)

Verifying Properties of Differentiable Programs. - Jan Hückelheim; Ziqing Luo; Sri Hari Krishna Narayanan; Stephen F. Siegel; Paul D. Hovland (SAS, 2018)

Towards Deductive Verification of Message-Passing Parallel Programs. - Ziqing Luo; Stephen F. Siegel (CORRECTNESS@SC, 2018)

NbO 2 Memristive Neurons for Burst-Based Perceptron. - Yeheng Bo; Peng Zhang; Ziqing Luo; Shuai Li; Juan Song; Xinjun Liu (Adv. Intell. Syst., 2020)

Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (CAV (2), 2023)

AD-RoadNet: An Auxiliary-Decoding Road Extraction Network Improving Connectivity While Preserving Multiscale Road Details. - Ziqing Luo; Kailei Zhou; Yumin Tan; Xiaolu Wang; Rui Zhu; Liqiang Zhang 001 (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

Collective Contracts for Message-Passing Parallel Programs. - Ziqing Luo; Stephen F. Siegel (CAV (2), 2024)

Using Large Language Models for Humanitarian Frontline Negotiation: Opportunities and Considerations. - Zilin Ma; Susannah Su; Nathan Zhao; Linn Bieske; Blake Bullwinkel; Yanyi Zhang; Sophia Yang; Ziqing Luo; Siyao Li; Gekai Liao; Boxiang Wang; Jinglun Gao; et al. (CoRR, 2024)

WenSiM: A Relative Accuracy Assessment Method for Land Cover Products Based on Optimal Transportation Theory. - Rui Zhu; Yumin Tan; Ziqing Luo; Yanzhe Shi; Jiale Wang; Guifei Jing; Xiaolu Wang (Remote. Sens., 2024)

Automatic Generation of Critical Audit Matters (CAMs) Using LSTM-MacBert-Based Dual-Stream Transfer Learning. - Xiaojia Wang; Ziqing Luo; Ying Chen (IEEE Trans. Comput. Soc. Syst., 2024)