Ziqing Luo

According to our database, Ziqing Luo authored at least 12 papers between 2015 and 2024.

Collaborative distances:

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

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., January, 2024

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

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2020

NbO 2 Memristive Neurons for Burst-Based Perceptron.

Yeheng Bo, Peng Zhang, Ziqing Luo, Shuai Li, Juan Song, Xinjun Liu

Adv. Intell. Syst., 2020

2018

Towards Deductive Verification of Message-Passing Parallel Programs.

Ziqing Luo, Stephen F. Siegel

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Verifying Properties of Differentiable Programs.

Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland

Proceedings of the Static Analysis - 25th International Symposium, 2018

Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges.

Ziqing Luo, Stephen F. Siegel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

Towards Self-Verification in Finite Difference Code Generation.

Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

Verification of MPI programs using CIVL.

Ziqing Luo, Manchun Zheng, Stephen F. Siegel

Proceedings of the 24th European MPI Users' Group Meeting, 2017

2016

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

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

Proceedings of the International Conference for High Performance Computing, 2015

CIVL: Formal Verification of Parallel Programs.

Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015